Java Borg

Stratego -- Strategies for Program Transformation
JavaBorg is an instance of MetaBorg. Applications of JavaBorg are collected in the JavaBorg package.

Installation

JavaBorg can be obtained directly from the Subversion repository, or by installing an (unstable) release. You can also browse the code online if you just want to have a look at the implementation. You need to install 5 packages:

You have to install these packages in this order. First install the ATerm library and the SDF2 Bundle.

Next, install StrategoXT. Do not install the latest release (StrategoXT 0.12). This version is not recent enough. Currently, you need:

Next, install java-front. Again, the latest release (java-front 0.5) is not recent enough. You must install:

Finally, you can now install JavaBorg:

Configuration

If you install all package in the same prefix, then no configuration is required. This is highly recommended, since there is a lot of configuration. If you really want to control this, then the installation instructions describe the flags. If you really want to control the configuration, then these are the possible flags:

Configuration of strategoxt:

  • --with-xt=<dir> or when using different prefixes for SDF and ATerm:
    • --with-sdf=<dir>
    • --with-aterm=<dir>

Configuration of java-front:

  • --with-xt=<dir> or when using different prefixes for StrategoXT, SDF and ATerm:
    • --with-strategoxt=<dir>
    • --with-sdf=<dir>
    • --with-aterm=<dir>

Configuration of java-borg:

  • --with-xt=<dir> or when using different prefixes for StrategoXT, SDF and ATerm:
    • --with-strategoxt=<dir>
    • --with-sdf=<dir>
    • --with-aterm=<dir>
  • --with-java-front=<dir>
  • Optional for running some of the examples:
    • --with-aterm-java for the Java ATerm library, which is available at from the CWI package base.

Releases

JavaBorg distributions are created continuously by our Nix-based release management system. RPM and tarball distributions are available at:

Subversion

JavaBorg Subversion repository:

More JavaBorg

Java-Swul was one of the languages collected in the JavaBorg package. Currently it is a separate package.

Authors

JavaBorg is being developed by