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:

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

RPM

The release page of the latest JavaBorg lists all the RPMs you need to install.

Source Tarball

You have to install these packages in this order.

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.

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