StrategoXT 0.9.4

StrategoXT 0.9.4 -- released January 22, 2004

Download

See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs.

Source tar.gz

Source RPM

Redhat Linux RPM

Redhat 8.0:

Redhat 9.0:

SuSE Linux RPM

SuSE 8.2:

License

StrategoXT is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

Summary of Changes

  • External definitions for separate compilation
  • Parsing programs with concrete syntax
  • Improvements in the run-time system
  • Injections in signatures
  • Extend dynamic rules
  • Drastic reduction of resources in run-time system
  • Upgrading pretty-print tables
  • Lots of improvements and fixes

Separate Compilation

The Stratego compiler is a whole program compiler. This entails that all imported modules are included into a single program, which is then compiled. The advantage is that the compiler has complete knowledge of all definitions in the program. The disadvantage is that compilation of library modules is repeated for each program, which makes compilation slow. To improve on this situation this release introduces an extension of Stratego with external definitions, which enables separate compilation. The separate compilation scheme is not per module; rather a module and all modules that it imports can be made available as a library. It is up to the programmer to determine the boundary between library and application. The feature is available in this release, but is still experimental.

External Definitions

External definitions are definitions of the form 'external f(as1|as2)' or 'external f(as1|as2) = s' and indicate a strategy that is implemented externally. It can be compiled with the normal calling convention for strategies and will be renamed in the same way to f_n_m with n the number of strategy parameters and m the number of term parameters. The second form allows the specification of a strategy body for the definition. This can be used by the compiler to inline some applications of the strategy operator, but no implementation is generated for such definitions. External definitions cannot be extended.

External definitions generalize 'prim'itive strategies and can be used to implement separate compilation. That is, to implement an external definition f(as1|as2), the program should be linked with an object file which provides a function f_n_m with n = |as1| and m = |as2|. Such an object file can be produced from a program written directly in C, or can be generated from a Stratego program.

Library Generation

The Stratego Compiler strc can be used now to generate a library from a module file.str with the command

  strc -i mod.str -c -o libmod.c --library 

This produces three files:

  • libmod.c
  • libmod.str
  • libmod.rtree

The first is the C implementation of the closure of mod.str. It provides C functions for all user-defined strategies, and static C functions for strategies generated at compile-time. The last two are the concrete syntax and abstract syntax files for a Stratego module with external definitions for all strategies defined in mod.str and imported modules. It is now possible to import libmod in another Stratego program, instead of mod. Note that libmod.str is produced mainly for documentation, libmod.rtree should be used to import. This is done automatically by the compiler as long as the file is present.

Note that no modules from the 'library' should be imported in the program via another path. This will lead to doubly defined strategies; it is not allowed to extend external definitions.

The C program libmod.c can be compiled to an object file libmod.o and to a library liblibmod.a. This should be done in a makefile; strc does not deal with C compilation of libraries. Also strc does not find imported object libraries; these should be declared explicitly to the C compiler (for instance using the LDADD flag in a makefile). Static linking of the libraries thus produced may actually lead to larger executables since no unused-function-removal is performed on the library (for obvious reasons). Shared libraries are the solution here to save diskspace. This can be achieved by proper use of libtool in the buildenvironment; again strc does not provide support for this.

(Remark: the C compilation facility in strc is mainly intended for use by novices; any serious application of strc should be embedded in a proper build environment where C compilation is better left to that environment.)

The current version of strc does not produce implementations of definitions for inlining in the importing program. This is catered for in the implementation, though. Some more experience is needed with this feature before making it available.

Currently, no overlays are exported to the library module.

(Eelco Visser)

Other Language Extensions / Changes

Injections

An injection is a constructor declaration without constructor name. This can be useful for introducing shorter sort names. For example,

  signature
    constructors
      FunDec : Id * FunArgs * Type * Exp -> Dec
             : String -> Id
             : List(FunArg) -> FunArgs

Injections are accepted syntactically, but since no typechecking is done (yet), they make no difference for compilation at the moment. However, the quality of (generated) signatures becomes much better by this feature.

(Martin Bravenboer)

Extend Rules

First implementation of 'extend rules' variant of dynamic rules. Defining a dynamic rule as

  extend rules(
    A : lhs -> rhs where s
  )

creates a dynamic rule A, which as usual returns the rhs of the rule last created. In addition, a rule bagof-A is generated, which rewrites lhs to all rhss in the current scope, i.e., produces a list of all 'values' of lhs.

(Eelco Visser and Arthur van Dam)

Concrete-Syntax

Parsing Programs with Concrete-Syntax

Stratego supports definition of rewrite rules and strategies with concrete syntax of the object language. This feature is also useful for other languages. In the paper 'Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax' it is shown how concrete syntax can be added to Prolog. (Implementation in prolog-tools package.)

Concrete-syntax is a new package in the StrategoXT bundle. Its purpose is to provide generic utilities for handling programs with concrete syntax for arbitrary meta-languages. So far it provides just the program parse-cs, which is an implementation of the generic architecture for parsing with concrete syntax outlined in the GPCE'02 paper 'Meta-Programming with Concrete Object Syntax'.

The program is parameterized with meta-data indicating components for various aspects such as parsing, exploding, desugaring, and pretty-printing. The meta data can be specified in a .meta file specific for a program to be parsed, or it can be associated with an extension and registered in an XTC repository.

For example, the following is the content of pl.meta, the meta-data for Prolog programs with embedded syntax. The assumption (in this example) is that syntax embeddings use a standard (ToTerm?) convention for indicating the boundary between meta- and object-syntax.

  Meta([
    Syntax("Prolog"),
    ParseTable("Prolog.tbl"),
    Explode("prolog-explode"),
    PrettyPrintTable("Prolog-pretty.pp.af")
  ])

This information can be overridden in a file specific .meta file with the same extension. For example, the following indicates an embedding of ABIR in Prolog and a specific desugaring tool for this format:

  Meta([
    Syntax("PrologABIR"),
    PostExplodeDesugar("abir-in-prolog-implode")
  ])

It overrides the syntax component, and adds a desugaring component.

In order to define such meta-data for a whole class of programs, it can be defined in a meta file associated with a new extension. For example, the following is the contents plabir.meta, which defines all meta-data for preprocessing Prolog with embedded ABIR in files with extension .plabir.

  Meta([
    Syntax("PrologABIR"),
    Explode("prolog-explode"),
    PostExplodeDesugar("abir-in-prolog-implode"),
    PrettyPrintTable("Prolog-pretty.pp.af")
  ])

(Eelco Visser)

Transforming AsFix

Parse trees produced by sglr are in the AsFix format which contains all details concerning layout and the structure of lexical syntax. For some applications it is useful to apply transformations to this AsFix format, rather than the imploded abstract syntax. While generic AsFix transformations can be written quite compactly using abstract syntax (constructors app, prod, sort, etc), transformations which are specific for the object language become gruesome. The --asfix switch of the implode-asfix algorithm now indicates that AsFix trees which occur within the concrete syntax quotes should not be imploded. Thus, it becomes possible to write transformations on AsFix using concrete syntax. (Valentin David)

Run-Time System

Don't Reconstruct Identical Term on Traversal

Changed one-step traversal functions such that a new term is only built if there was an actual change to at least one of the sub-terms, thus avoiding unnecessary term construction. (Based on an idea by Eelco Dolstra.) A one off test on one program suggests that it makes no difference at all. But we should wait for results with more programs.

(Eelco Visser)

Jumpbuffer

Improved setjmp() choice operator implementation. Instead of allocating a gigantic fixed-length array of jmp_buf buffers in the data segment, we now dynamically allocate the array on the heap. The array starts at size 1 and is doubled on demand, for O(1) amortised time complexity.

This should fix the problems with very large statically allocated data observed on some platforms (cygwin, SuSE? 8.1). The new implementation should also be slightly more efficient due to inlining.

(Eelco Dolstra)

Stratego Standard Library

Posix Error Codes

The SSL has been extended with the module posix-error. This module provides strategies to report errors that have occurred in POSIX system functions. These strategies can be used to improve the error reporting of for example IO related strategies. The posix-module provides access to the errno variable and makes the strerror and perror POSIX functions available to Stratego programs. The perror strategy takes a String and produces an error message on the standard error output describing the last error encountered during a call to a system function.

The strategy chdir is for example implemented as:

  ?pathname; prim("SSL_chdir", pathname) => 0
  <+ < conc-strings
       ; perror
       ; fail
     > ("SSL/chdir: Cannot change current working directory to ", <id>)

chdir output the following message if the pathname does not exist:

  SSL/chdir: Cannot change current working directory to /tddmp: No
  such file or directory

(Martin Bravenboer)

String Manipulation

The new module string-misc implements miscellaneous strategies on strings. The module provides strategies for indenting, applying an s to all lines, trim trailing characters, and some more.

(Arthur van Dam)

Misc

  • set-random-seed, next-random, get-random-max: generate random numbers.

  • execv: execute a file without searching the PATH like execvp does.

  • chdir, getcwd: Change or get the working directory.

  • rename-file: in cause of external devices the file is now copied.

  • split-last: Splits a list into a tuple of its init list and last element

  • abspath, is-abspath, is-relpath, base-filename: posix compatible strategies for the manipulation of pathnames.

XTC

XTC is now using mkstemp for the creation of temporary. This means that that temporary files of XTC are from now created in the default directory for temporary files (usually /tmp).

(Martin Bravenboer)

Utilities

Pretty-Printing: Difference of Pretty-Print Tables

The pretty-print tables generated by ppgen have to be edited manually to achieve 'pretty' formatting of trees. However, when the syntax definition is updated, the edited pretty-print table should be updated as well. The new tool pptable-diff computes the differences between two pretty-print tables and prunes and patches an old table to bring it up to date with a new table. Thus, the pretty-print rules for the parts of the language that were not changed are reused.

(Merijn de Jonge)

Pack-stratego

Added --slack flag to pack-stratego. Using this will let pack-stratego continue even if a module isn't found, producing only a warning. Pack-stratego has been extended to accept absolute pathnames as input.

(Rob Vermaas)

Pack-sdf

Pack-sdf supports multiple output formats using the -of (or --output-format) flag. By default pack-sdf from now returns an SDF definition in concrete syntax (-of txt). Other supported output formats are asfix and ast. Pack-sdf from this release fails if a module is not found.

Configuration

The package name 'strategoxt' is now also reflected in the location of the XTC repository, which is in $prefix/share/strategoxt/XTC.

(Eelco Visser)

The following changes were prompted by Automake that now does check that the names of macros being defined are properly quoted. While I was at it, I have updated a couple of stylistic issues:

  • properly quote where expected
  • don't shell-quote where not needed
  • use the weak versioning conventions (#serial)

This is the resulting autoxt.m4, still valid for both Autoconf 2.1x and 2.5x, thanks!

(Valentin David)

Download and Installation

The release page contains the source distributions, binary RPMs, and detailed instructions on how to install the distributions:

Bugs and Known Problems

NOT all the bugs and known problems for StrategoXT distributions have been solved in this release. See the stratego-bugs list for reports about (open) bugs:

For a more detailed overview of problems and missing features please visit:

Please report any problems with installation or bugs in the implementation to the stratego-bugs@cs.uu.nl mailing list. Please check the archive of the list to see if a report about the problem was already submitted.

Contributions

Developments, beta tests, and bug fixes were carried out by

  • Martin Bravenboer
  • Arthur van Dam
  • Valentin David
  • Eelco Dolstra
  • Armijn Hemel
  • Rob Vermaas
  • Eelco Visser

Special thanks to the students of the Program Transformation course.