Is there some documentation somewhere (or concrete examples) of a more elaborate launch.json?
What I am looking for is a more controlled launch. Namely, when handling more involved specifications with many modules, its useful to only launch a specific subset of them.
For example, in the VDM_Toolkit/vdm2isa I used to be able to use the cwd parameter to do that but I noticed that the launch.json configuration language has changed (e.g. no more cwd allowed to slice into a subset of a project).
Looking at src/handlers/AddRunConfigurationHandler.ts::VdmLaunchConfiguration I can imagine what the launch language looks like.
Could you provide various concrete examples of how to do that more controllled launch on the launch.json ?
PS:
Sure, I can always "zoom in" to the subdirectory and launch from there, but that is tedious and doesn't scale well when you have multiple things about, hence the motivation to control it from the top-level on the subset of the modules of interest only.
Is there some documentation somewhere (or concrete examples) of a more elaborate launch.json?
What I am looking for is a more controlled launch. Namely, when handling more involved specifications with many modules, its useful to only launch a specific subset of them.
For example, in the VDM_Toolkit/vdm2isa I used to be able to use the
cwdparameter to do that but I noticed that thelaunch.jsonconfiguration language has changed (e.g. no morecwdallowed to slice into a subset of a project).Looking at
src/handlers/AddRunConfigurationHandler.ts::VdmLaunchConfigurationI can imagine what the launch language looks like.Could you provide various concrete examples of how to do that more controllled launch on the
launch.json?PS:
Sure, I can always "zoom in" to the subdirectory and launch from there, but that is tedious and doesn't scale well when you have multiple things about, hence the motivation to control it from the top-level on the subset of the modules of interest only.