Documentation

Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components. Important components of the tool collection are the ATerm exchange format and the syntax definition formalism SDF. Together these ingredients provide a very powerful toolbox for constructing program transformation systems.

However, they are tools that need to be applied in construction, not a ready made environment that magically solves your particular transformation problem. The system is not restricted to a single trick, nor is there a single way to solve a problem using these tools. To learn to use these tools you'll need to invest some effort in learning the concepts and architecture of Stratego/XT.

Note: This documentation here is kept in sync with the latest integration build. If you are looking for documentation for an older, stable release of Stratego, consult the corresponding release page of your version (bottom of that page).

• Stratego/XT Manual
  The Stratego/XT Manual is a series of three books:

  • Stratego/XT Tutorial
    Practical introduction to the Stratego language and XT tools.
  • Stratego/XT Examples
    Introduction to Stratego/XT by example.
  • Stratego/XT Reference Manual
    Detailed description of the Stratego language and XT tools.

• API and Source Documentation
  

  • libstratego-lib
    Main Stratego Library providing generic traversals, I/O, and basic strategies for lists, hashtables, handling command-line options.
  • libstratego-sglr
    Stratego SGLR Library for parsing.
  • libstratego-gpp
    Stratego GPP Library for pretty-printing, based on the Box language for formatting text.
  • libstratego-rtg
    Stratego RTG Library for format checking, based on regular tree grammars.
  • libstratego-xtc
    Stratego XTC Library for finding and invoking external programs and resources.

  Extensions

  • libdryad
    Dryad library for Java program transformation
  • libphp-front
    PHP-front library for PHP program transformation
  • more ...

  Search engine

  • XDoc Search
    All API documentation listed above can be searched with XDoc Search

• Syntax Definitions
  

  • AspectJ
  • Java
  • Jimple
  • PHP4
  • PHP5
• Publications
  Research papers on the main principles, including examples.
• Program Transformation Course
  Course about program transformation with Stratego at Universiteit Utrecht

Some documentation is not up to date or has been subsumed within the previously mentioned documents. See obsolete documentation.