Stratego Misc

Stratego -- Strategies for Program Transformation

Introduction

stratego-misc is a small, but versatile package of Stratego modules, implementing strategies and tools that are not (yet) in the SSL.

It might be handy for others as well, so here it is, online.

Contained modules

Currently, stratego-misc consists of the following modules:
  • term-color: Produce color output in your terminal, directly from Stratego! Very cool indeed, handy as well. Distinguish the various parts in the usually huge Term-dumps, while debugging, by colorizing them.
  • output-control: Improved control over (debug-) output. More intuitive verbosity levels and nested, tree-like debug-output.
  • dynamic-rules-tools: A first approach towards generalizing the various strategies that operate on dynamic rules and the tables behind them. Also a (debugging-) pretty printer for dynamic rules.

Module term-color

Produce color output in your terminal, directly from Stratego! Very cool indeed, handy as well. Distinguish the various parts in the usually huge Term-dumps, while debugging, by colorizing them.

Sample output (in a regular terminal):
Screenshot of term-color output

Module output-control

Improved control over (debug-) output. More intuitive verbosity levels and nested, tree-like debug-output.

Sample output when using so-called output-nests (in a regular terminal):
Screenshot of output-control output

Module dynamic-rules-tools

A first approach towards generalizing the various strategies that operate on dynamic rules and the tables behind them. Also a (debugging-) pretty printer for dynamic rules.

Note: Module is currently in a intermediate state, not really suitable for extensive use yet.

Documentation

Generated documentation by xdoc can be found at http://catamaran.labs.cs.uu.nl/docs/stratego-misc/api/

Download and Installation

Interested in using stratego-misc yourself? You can download the latest working distribution (tar.bz2) here: stratego-misc-head.tar.gz

Unpack the tarball and configure the package with the usual --with-stratego-xt, --with-sdf and --with-aterm. See the INSTALL file for detailed instructions.

-- ArthurVanDam - 02 Feb 2004