Introduction The ATerm (Annotated Term) Format is a format for exchanging structured data between tools. The ATerm format is a generic internal and external representation ...

Name box2asfix Synopsis box2asfix i box-term o asfix-tree w width t asfix-tree Description The utility box2asfix produces an AsFix parse-tree in which the layout ...

Description An abstract composition definition is a definition of a composition that is independent of the type of components. It describes the components in the ...

Summary addPosInfo adds position information to an AsFix2ME parse tree. Example The following syntax definition defines a tiny language of assignments and expressions ...

Description AsFix (ASF+SDF fixed format) is a format for representing parse trees in the ATerm format. Currently two versions of AsFix are in used: AsFix2ME and AsFix2 ...

AsFix2ME is a more compact variant of AsFix2. See the AsFix topic for a general overview of AsFix. This topic describes the difference between AsFix2 and AsFix2ME ...

Description An asfix to asfix tool that reserves comments that were of the input source code by putting them in annotations of the AST. It is difficult to decide ...

Name asfix2abox Synopsis asfix2abox c i asfix-tree o box-term p table1 p table2 ... Description The asfix2abox utility is a generic formatter that maps a parse-tree ...

asfix-tools is a collection of tools for the AsFix (ASF Fixed) format. The AsFix format is a format for representing a parse tree. Sdf.SGLR outputs its result in the ...

asfix-yield is an asfix-tool that transforms parse trees in the AsFix format to the flat text the parse tree represents.

Introduction The GPP package is a tool suite for generic pretty-printing. GPP supports pretty-printing of parse-trees in the AsFix format with comment preservation ...

Task Given a grammar and a parse tree obtained by parsing a term over this grammar, construct a subgrammar that still parses the same term. Description Given a grammar ...

Task How to obtain abstract syntax trees Description Given a concrete term over some language L, an abstract syntax tree for that term is obtained by: 1. generating ...

Task How to pretty-print a grammar. Description A grammar can be pretty-printed (to plain text, html, or latex) using the GPP package in the following way: 1. Parse ...

Task How to use pretty-printed documents in LaTeX. Description The back-end abox2latex produces LaTeX code according to the formatting defined in a Box term. In order ...

implodePT is part of the pt-support package. It implodes an AsFix2ME parse tree to an abstract syntax tree. See AsFix for an example and more information on the AsFix ...

Global architecture of JJForester: : http://www.cwi.nl/~jvisser/jjforester/jjf-arch.jpg Ellipses are tools. Shaded boxes are generated code. JJForester takes a grammar ...

Downloading JJForester via the Online Package Base The JJForester software package is available from the Online Package Base at: http://www.program-transformation ...

Description The tool koala-graph generates a graphical representation of a Koala specification as a Dot graph. The generated output is an abstract syntax tree of ...

Description The Koala compiler toolkit forms a generic framework for component composition. The framework works as follows: 1 Components and compositions are expressed ...

Description The tool koala-wire connects requires interfaces to provides interfaces whenever possible. Example For instance, all components in the composition showed ...

Description The tool pack-koala packs the Koala component and interface definitions and produces a parse tree for the complete Koala specification. Example ATTACHURL ...

Tools STARTINCLUDE ambtracker display the productions in a parse tree causing ambiguities implodePT implodes an AsFix2ME parse tree to an abstact syntax tree unparsePT ...

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

unparsePT is a tool that transforms parse trees in the AsFix2ME format to the flat text the parse tree represents. Main.MartinBravenboer 22 Apr 2004

Name visamb display the ambiguities in a parse tree represented in AsFix2 Synopsis Description The SDF2 implementation caters for arbitrary context-free grammars ...

Home XT Tools Reference Docs GPP ATerm SDF AsFix Languages Stratego SDF ATerm Software Stratego/XT SDF2 Bundle KoalaCompiler AutoBuild DailyBuildSystem

News about XT Version 1.0 Released: Jun 14, 2002 Bundles the most recent versions of XT's sub-component's. See the file XT 1 0 for the complete list of packages bundled ...

Statistics for TWiki.Tools Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

XT 1.0 Download version 1.0 of XT: http://www.stratego-language.org/ftp/XT-1.0.src.tar.gz XT 1.0 is a collection of the following packages: aterm-1.6.7 from http ...