search

metaborg / nabl

Spoofax' Name Binding Language
Apache License 2.0
7 stars 12 forks source link

Navigation in Test Results #85

Open AZWN opened 2 years ago

AZWN commented 2 years ago

Short description Navigation in test results/scope graph files.

Problem description. Test result files can grow pretty large, especially when real-world programs/specifications are involved. This makes them less easy to understand.

Describe the solution you'd like A quick way to improve comprehension is being able to navigate scope references to their definitions. By integrating scope graph syntax to the language, and analyzing it, this can be implemented using standard reference resolution.

Describe alternatives you've considered Filtering a scope-graph, but that is hardly possible in an interactive manner when only a textual editor is available.

Additional context This has been implemented by @MeAmAnUsername (https://github.com/MeAmAnUsername/statixtest). This could serve as a basis to implement

MeAmAnUsername commented 2 years ago

Some context: I have implemented this feature outside this repository. The ability to just CTRL+click on a scope and immediately view its relations and edges is extremely convenient and far nicer than it sounds on paper.