using:sany

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
using:sany [2024/09/28 23:28] fponziusing:sany [2024/09/28 23:28] (current) fponzi
Line 1: Line 1:
 ===== Exploring the semantic graph ===== ===== Exploring the semantic graph =====
  
-the ExplorerVisitor received an extension to export the semantic graph into dot notation, which can be rendered with GraphViz: <code>java -cp tla2tools.jartla2sany.SANY -d ATLA+Spec.tla dot</code> It optionally includes line numbers if the system property <code></html>tla2sany.explorer.DotExplorerVisitor.includeLineNumbers=true</code> is set.+the ExplorerVisitor received an extension to export the semantic graph into dot notation, which can be rendered with GraphViz: <code>java -cp tla2tools.jartla2sany.SANY -d ATLA+Spec.tla dot</code> It optionally includes line numbers if the system property <code>tla2sany.explorer.DotExplorerVisitor.includeLineNumbers=true</code> is set.
  
  • using/sany.1727566085.txt.gz
  • Last modified: 2024/09/28 23:28
  • by fponzi