ATerm Tools

XT -- A Bundle of Program Transformation Tools
ATermTools is a collection of generic tools for ATerms?.

Tools

  • term-to-dot? -- transforms an ATerm to a graph in the DotLanguage
  • pp-aterm -- pretty prints an ATerm to text with whitespace to show the tree structure of the ATerm.

Tools.ATermTools moved from Stratego.ATermTools on 13 Feb 2004 - 09:02 by MartinBravenboer - put it back