vdm-vscode icon indicating copy to clipboard operation
vdm-vscode copied to clipboard

Presentation hints for debug variables

Open jonaskrask opened this issue 4 years ago • 0 comments

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"

jonaskrask avatar Jan 10 '22 08:01 jonaskrask