You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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.
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
The text was updated successfully, but these errors were encountered: