using:sany

This is an old revision of the document!

Exploring the semantic graph

the ExplorerVisitor received an extension to export the semantic graph into dot notation, which can be rendered with GraphViz: <html> 

</html>java -cp tla2tools.jartla2sany.SANY -d ATLA+Spec.tla dot<html>

</html> It optionally includes line numbers if the system property <html> 

</html>tla2sany.explorer.DotExplorerVisitor.includeLineNumbers=true<html>

</html> is set.

  • using/sany.1727539119.txt.gz
  • Last modified: 2024/09/28 15:58
  • by 127.0.0.1