XT Applet

XT Applet is a small package configured with automake that you can use to get started with writing Stratego/XT applications. The src/ subdirectory contains a sample SDF2 definition and a tiny Stratego transformation. The Makefile.am contains generic make rules for applying these. The packages also illustrates the use of AutoXT and XTC.

The latest distribution is available at:

• http://catamaran.labs.cs.uu.nl/dist/stratego/xt-applet-unstable-latest/

Currently, this distribution is created for Stratego/XT 0.13

Older releases:

• http://www.stratego-language.org/ftp/xt-applet-0.3.tar.gz

Short Introduction

Trafo is an ATerm to ATerm utility. You can just pass an expression in plain concrete syntax to it. It has to be parsed first:

$ sglri -i test1.exp -p Exp.tbl | ./Trafo
Plus(Id("abc"),Bracket(Plus(Id("hij"),Mul(Bracket(Plus(Id("jkl"),Id("ghi"))),Id("def")))))

exp-transform is the right tool to pass expressions in concrete syntax to. It implements the complete pipeline from expression to expression. Note: exp-transform only works after installation. You can choose: install the package, or specify the build time XTC repository:

XTC_REPOSITORY=../XTC ./exp-transform -i test1.exp

or just (after installation)

$ ${xt-applet-prefix}/bin/exp-transform -i test1.exp