[under construction --
EelcoVisser - 16 May 2003]
A full fledged Stratego application does more than transform an ATerm into another ATerm. To transform programs it is necessary to parse the input program, turn the
parse tree into a an
abstract syntax tree, apply several transformations, and
pretty print? the output program. These separate operations should also be glued together into a complete transformation system. The
StrategoXT
tools support the creation and composition of components for all aspects of transformation systems. Since the tool set is very flexible and programmable, there are many possibilities for using it.
This page provides a guideline for setting up a typical
Stratego application. The application is developed as a package under the control of
AutoMake? and
AutoConf? using the
AutoXT abstractions developed for
StrategoXT.
As an example we examine the
prolog-tools package, which provides
basic support for transforming Prolog programs.
Structure of the Package
A source-to-source transformation system consists of a parser, several transformation components,
and a pretty-printer. These components are specified in subdirectories of the package. The
following directories are standard in a package providing support for one or more languages:
- syn -- syntax definitions
- sig -- signatures describing abstract syntax trees
- pp -- pretty-print tables
- xtc -- tool compositions
- tests -- unit and integration tests
In addition a package can contain several directories for transformation componens.
Configuration
It is customary to develop Stratego packages using the
AutoMake? and
AutoConf? in order to make packages easiliy portable to many (Unix compatible) platforms. If you are not familiar with
these tools please check out their documentation.
Configure.in
From the
configure.in
file, the build-time
configure
script is generated. It takes
configuration parameters such as external packages and substitutes them in makefiles and
other source files. The
USE_XT_PACKAGES
macro can be used in order to get parameterization of the
StrategoXT packages.
https://svn.strategoxt.org/repos/StrategoXT/trunk/prolog-tools/configure.in
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.configure.in]] does not exist yet
---------------------------------
bootstrap
In order to generate the
configure
script and instantiate the makefile templates several
tools from the autoX family should be applied. The
bootstrap
script calls these tools in
the right order. One unusual tool is
autoxt, which installs
AutoMake? macros supporting
the use of
StrategoXT tools. The
bootstrap
script assumes that
autoxt
can be found in the
path.
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.bootstrap]] does not exist yet
---------------------------------
Makefile.am
Each directory in the package should have a
Makefile
. These
Makefiles
are generated by
automake and autoconf from a declarative
Makefile.am
. The top-level Makefile just declares
its subdirectory such that navigation code can be generated. The
Makefile.xt
is installed
by
autoxt
and contains standard make rules for applying
StrategoXT tools. It should be
included in each makefile in the package.
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.Makefile.am]] does not exist yet
---------------------------------
The
AC_CONFIG_FILES
macro defines all files that should be created by
configure
.
Other Required Files
Automake/conf require the following files to exist in the package:
- README -- name and purpose of the package
- AUTHORS
- ChangeLog -- fine grained log of changes
- NEWS -- course grained description of changes
Configuring the Package
Once the basic configuration is set up you can configure the package with the following sequence
of commands:
> ./bootstrap
> ./configure --prefix=/installation/directory --with-xt=/usr
Assuming that the
StrategoXT, ATerm, and
SDF distributions have been installed in
/usr
. Now it should be possible to
make
and
install
the components in the package using the commands:
> make
> make install
Exported components are installed in subdirectories of the
/installation/directory
.
Syntax Definition (syn)
The syntax definition of the language under consideration (Prolog in this case) is defined
in directory
syn/
. The directory contains the following files:
The
Makefile.am
defines which parse tables to make (
.tbl
extension):
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.syn.Makefile.am]] does not exist yet
---------------------------------
Signature (sig)
The
algebraic signature defines the
abstract syntax of a language. The signature
of Prolog abstract syntax is defined in the
Prolog.str
:
The signature can be derived automatically from a syntax definition using the tool
sdf-to-sig
. The make rules
in
Makefile.xt
invoke this tool based on the dependency of
.str
files on
.def
files. The
Prolog.def
file is made available via a symbolic link to the
../syn/
directory.
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.sig.Makefile.am]] does not exist yet
---------------------------------
Pretty-Printer (pp)
A pretty-printer renders an abstract syntax tree as text. The
GPP package in
StrategoXT provides tools for rendering ASTs as ascii text, html, and latex. The translation works by first translating an AST to a Box term, which declares formatting independently of the target device
and the source language. A Box can be formatted in different ways. The translation from AST to Box can be done in two ways.
GPP supports
pp-tables which define a mapping from AST constructors to Box terms. The
pp-gen? tool generates a default pp-table from a syntax definition. Alternatively one can program the translation from AST to Box in a Stratego program. Although the latter is more work, it may be necessary when more sophisticated formatting is required. The Prolog package uses both methods.
- Prolog.pp -- default pretty-print table for Prolog
- Prolog2abox.str -- Stratego transformation from Prolog abstract syntax to Box
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.pp.Makefile.am]] does not exist yet
---------------------------------
Tool Composition (xtc)
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.xtc.Makefile.am]] does not exist yet
---------------------------------
Tests (tests)
---------------------------------
__Note:__ Included topic [[https:..svn.strategoxt.org.repos.StrategoXT.trunk.prolog-tools.tests.Makefile.am]] does not exist yet
---------------------------------