vdm-vscode
vdm-vscode copied to clipboard
Presentation hints for debug variables
From mail: "... there are several "presentation hints" that I wasn't aware of, which we can use to modify the display of variables. There appear to be settings which allow you to give the purpose of a scope (eg. "arguments") as well as the visibility of variables within ("public", "private" etc) and the format of data ("raw string" etc). I don't know what effect this will have on the Client - they may well have none - but it might be worth experimenting with these options at some point, in case it improves the debugger."
Note: Full correspondence between Nick and Jonas, subject: "VDM Debug look for VDM-RT"