The Tiger in Stratego is divided into several packages, in order to make it easier to distribute only parts of the compiler and to add new components. Languages Front ...

Extend TigerLanguage with a do-while construct. This requires updating the following components from the TigerFront package: TigerSyntax TigerAbstractSyntax TigerDesugar ...

The diagram below depicts the data flow in the front-end of the TigerCompiler. It is an extract from the complete CompilerArchitecture. The components of the front ...

The TigerCompiler consists of four CompilerPackages. Download each of these packages. Installing Tools.XT To use the TigerCompiler packages you need an installation ...

TAS-Format checks TigerAbstractSyntax trees for well-formedness. It is a component of the TigerCompiler in the TigerFront package. TAS-Format.cr The module below defines ...

TAS-Format is a component of the TigerCompiler in the TigerFront package. It checks typed TigerAbstractSyntax trees for well-formedness. TASTC-Format.cr The module ...

The signature of abstract syntax of Tiger is derived automatically from the definition of the TigerSyntax. The signature is part of the TigerFront package. Tiger INCLUDE ...

Tiger-Desugar is a component of the TigerCompiler in the TigerFront package. The component desugars TigerAbstractSyntax trees by representing binary operators generacilly ...

TigerEnsugar is a component of the TigerCompiler in the TigerFront package. See TigerDesugar for a description. CompilerComponent

Tiger-Eval is a component of the TigerCompiler in the TigerFront package. It defines an interpreter for Tiger programs in TigerAbstractSyntax format. Tiger-Eval.cr ...

The TigerFront package provides the front-end of the TigerCompiler consisting of the following components: TigerSyntax TigerAbstractSyntax TigerDesugar TigerEnsugar ...

Make rules for the components in the TigerFront package. make-rules.tiger-front INCLUDE{"http://www.stratego-language.org/tiger-front/make-rules.tiger-front"} Main ...

The Tools.PrettyPrintTable below defines rules for pretty-printing TigerAbstractSyntax trees to text. The tables are part of the TigerFront package. Tiger-pretty.pp ...

Tiger-Rename is a component of the TigerCompiler in the TigerFront package. It renames bound variables to a unique name such that no two variables declared in different ...

The syntax definition of Tiger in the syntax definition formalism Tools.SDF. The syntax definition is part of the TigerFront package. A parse table is generated from ...

Tiger-Typecheck checks TigerAbstractSyntax trees for well-typedness and annotates variables with their types. It is a component of the TigerCompiler in the TigerFront ...

This glossary gives an overview of the most important pages in this web Web WebIndex contains the complete list of pages in this web. WebChanges shows which pages ...

2002-09-15 New organization of the TigerCompiler and specification of many components using concrete Tiger syntax, which makes specifications much more readable. ...

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