Tool Reference

autoxt

• autoxt -- installs makerules and autoconf macros for using XT tools

strc

• strc^?

stratego-front

• parse-stratego -- parses a Stratego module
• pp-stratego -- pretty-prints a Stratego module
• meta-explode -- explodes concrete object syntax fragments to Stratego

sdf-front

• pack-sdf -- packs a set of SDF2 modules into a single definition
• pp-sdf -- pretty prints Stratego.SDF2 in abstract syntax to concrete syntax
• parse-sdf-module and parse-sdf-definition -- parse an Stratego.SDF2 definition or module to abstract syntax
• sdf-desugar and sdf-ensugar -- remove or add trivial syntactic sugar

sdf-tools

• parse-unit -- unit testing of SDF2 syntax definitions
• gen-renamed-sdf-module -- generates an SDF module that renames all sorts in an SDF syntax definition
• sdf2ast-conflicts -- generates a list of illegal patterns in a AST
• sdf2parenthesize -- generates a tool that adds all required parentheses to an AST

asfix-tools

• implode-asfix -- implodes a parse tree in AsFix2 format to an abstract syntax tree
• asfix-yield -- unparses an AsFix2 parse tree to flat text.
• visamb -- display the ambiguities in a parse tree represented in AsFix2
• asfix-anno-comments -- put comments in annotations of a parse tree

pt-support

• ambtracker -- display the productions in a parse tree causing ambiguities
• implodePT -- implodes an AsFix2ME parse tree to an abstact syntax tree
• unparsePT -- yields an AsFix2ME parse tree to a string
• addPosInfo -- adds position information to an AsFix2ME parse tree

pgen

• sdf2table -- generates an sglr parse table from an sdf2 syntax definition

gpp

• abox2html
• abox2latex
• abox2text

• asfix2abox
• ast2abox

• ppgen
• pptable-diff

aterm-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.

xml-front

• aterm2xml -- convert an ATerm to an XML document.
• xml2aterm -- convert an XML document to an ATerm.

• parse-xml-doc^? -- parses an XML document to xml-doc
• pp-xml-doc^? -- pretty-prints xml-doc to an XML document
• parse-xml-info -- parses an XML document to xml-info
• pp-xml-info -- pretty-prints xml-info to an XML document
• data2xml-doc^? -- transforms an ATerm to a comparable XML document represented in xml-doc.
• xml-info2data^? -- transforms xml-info to a somewhat comparable ATerm