Add support for SteppingGranularity in the UI

[davidanthoff]

Having #90793 is fantastic (and we just shipped a version of the Julia extension that supports this feature).

So now I'm of course wondering whether we could also have built-in support for SteppingGranularity from the DAP in the UI? :)

[Trass3r]

The question is how the UI should decide which one to choose.

[yannickowow]

As far as I can tell, Eclipse implements this by using a toggle button (Instruction Stepping Mode).
But since DAP has three types (type SteppingGranularity = 'statement' | 'line' | 'instruction';), it might be something like a button with a circular behaviour, with three dedicated icons and tooltips which will toggle behaviour for step buttons.

[Trass3r]

It all depends on what you're looking at. In VS you can switch between disassembly and source code view while debugging.
Instruction stepping while looking at the plain source code doesn't make much sense to me. Though in vscode I could imagine the source lines just nicely expanding into a mixed source/disassembly view on demand.
Switching between line and statement stepping should be a setting I think. Maybe language dependent, in C# statement level is the default iirc.

[lemmy]

I'm working on a debugger for a state-based formalism (TLA+). While our default is ordinary statement/expressions-level stepping, I'd like to add state-level stepping (a state can span hundreds of statements). Are there plans to add UI in VSCode s.t. users can select the stepping granularity?

By the way, my current workaround is to dynamically change the debugger's capability to step back; when the "Step Back" and "Reverse" buttons are gone, the debugger has state-level stepping granularity.

[Martoon-00]

I would find an option for switching to line stepping useful.

Also, letting the user switch to smaller granularities than statement, e.g. add expression granularity (when we visit each sub-expression step-by-step) would be nice in general, I believe. The order of expressions evaluation is not always apparent in languages and which expressions get evaluated may be helpful.