Remote Control - overturetool/vdm-vscode GitHub Wiki

In some situations, it may be valuable to establish a front end (for example a GUI or a test harness) for calling a VDM model. This feature corresponds roughly to the CORBA based API from VDMTools. Remote control should be understood as a delegation of control of the interpreter, which means that the remote controller is in charge of the execution or debug session and is responsible for taking action and executing parts of the VDM model when needed. When finished, it should return and the session will stop. When a Remote controller is used, the VS Code debugger continues working normally, so for example breakpoints can be used in debug mode. Moreover, all dialects (VDM-SL, VDM++ and VDM-RT) support Remote Control.

A new configuration with the use of a remote controller can be started by right-clicking in the editor and selecting VDM > Add VDM Run Configuration then select VDM Debug: Remote Control (VDM-SL/++/RT). A launch configuration will be created with the remoteControl option. And you simply have to write the full package/class name of the Remote Control, e.g. com.foo.bar.GUI.

See here for a guide on how to use VDM values in Java.