Idea: Use Eclipse Sprotty

[Nezteb]

Resources:

• https://www.typefox.io/blog/using-sprotty-in-vs-code-extensions
• https://github.com/eclipse-sprotty/sprotty-vscode
• https://github.com/eclipse-sprotty/sprotty-server

One neat benefit is that this could hook into any language's LSP implementation for some nice interactivity. 🤔

[Pjaerr]

🙌 Thanks for raising.

After seeing that Grok has been abandoned I think it would be great to work on this extension again but from the ground up. I've had a quick look at Sprotty and it definitely looks promising and will potentially makes things a lot easier.

I will get back to you this weekend about working on this if you're interested.

[Nezteb]

Absolutely!

Some other random tools I found for comparison/motivation: (not using Sprotty, but still)

• https://consensys.net/diligence/blog/2019/10/solidity-visual-auditor-extension-for-vs-code/#call-graphs
  • https://github.com/ConsenSys/vscode-solidity-auditor
    • Graphs via graphviz: https://github.com/ConsenSys/surya/blob/master/src/graph.js
      • Their graphs are much more complicated than the type I think this extension would need, so a lot of that can probably be pared down.
    • Depends on: https://github.com/tintinweb/vscode-interactive-graphviz
      • There would be no need to reinvent the wheel for rendering graphviz.
    • As part of their extension pack they list: https://github.com/tintinweb/vscode-inline-bookmarks
      • Not really related to graphing per-se, but it does give a neat way to tag code for later indexing/searching/navigating.