Home

Download

Support

Developers

Page

Web

Wiki

Download Stratego/XT Extensions

Stratego -- Strategies for Program Transformation

Editor Plugins for Stratego

Spoofax Stratego Editor Plug-In for Eclipse

The Spoofax Stratego Editor plug-in provides syntax-highlighting and module outline for Stratego and SDF in Eclipse. It is easy install, since it is deployed as an ordinary Eclipse plug-in.

Spoofax is available from:

If you use Nix, then you can install the latest unstable Spoofax pre-configured in the Eclipse SDK from from the release manager:

Stratego Emacs Mode

The Stratego Emacs Mode provides basic syntax-highlighting for Stratego in Emacs. For installation instructions, see Stratego Emacs Mode.

Available at:

Stratego for NEdit, Vim, Ultraedit

Available at:

Stratego/XT

Stratego/XT Utilities

A bundle of additional utils for Stratego/XT developers (currently, mostly Dot related)

Releases:

XDoc

XDoc is a documentation generator for Stratego.

Stratego Shell

The Stratego Shell implements a Stratego interpreter and an interactive shell for Stratego programming. The interpreter and shell are very useful for learning Stratego and for implementing small tests.

Releases:

AspectStratego

XT Applet

XT Applet is a small package configured with automake that you can use to get started with writing Stratego/XT applications. This package illustrates some of the essentials of a transformation system in Stratego/XT.

Releases:

C and C++

Transformers

The Transformers Project is developing a program transformation framework for C and C++, based on Stratego/XT. The latest release provides an ambiguous C and C++ syntax definition and separate disambiguation tools for C (complete) and C++ (partial).

CX

CX is an aterm bridge for CIL, an existing C front-end implement in OCaml. The Stratego/XT-based package CX uses this bridge to read C code.

Release:

Java

Java-front

Java-front adds support for Java program transformation to Stratego/XT. It provides a handcrafted SDF syntax definition and pretty-printer for Java (J2SE 5.0).

Releases:

AspectJ-front

AspectJ-front defines the syntax of AspectJ by extending the Java syntax definition of Java-front.

Jimple-front

Jimple-front defines the syntax of Jimple, the typed 3-address representation of Java bytecode of the Soot Java optimization framework. This representation is suitable for program optimization and analysis.

Dryad

Dryad is a set tools for semantic analysis of Java. It also provides support for working with Java bytecode in Stratego.

Java-borg

Java-borg is a collection of examples for embeddings domain-specific languages in Java.

Java-Swul

Java-Swul is an embedding of a domain-specific language in Java of the SWING userinterface API.

PHP

PHP-front

PHP-front provides a syntax definition, parser, pretty-printer, reflection library, and common strategies for PHP.

PHP-sat

PHP-sat is a static analysis tool for PHP, based on PHP-front and Stratego/XT.

SQL

SQL-front provides a syntax definition for SQL92.

Bibtex

BibTeX Tools is a toolset for processing BibTeX files.

Prolog

Prolog-tools is a toolset for transforming Prolog programs.

Tiger

Tiger is an implementation of a Tiger compiler, a Tiger interpreter, many Tiger source to source optimizations, etc. in Stratego.

Octave

CategoryInstallation