Create an API for storing and retrieving elements of a Stratego program, that is, strategy definitions, constructor declarations, and overlay declarations. By providing direct access to these elements (via dynamic rules) various operations can be speeded up. The API should support changing the definitions as well. Thus, transformations can be applied to the definitions stored instead of on the top-level source tree. This will probably be sufficient information to implement all transformations in the compiler on a per definition basis.

(I’m not a big fan of the term ‘source model’, but I seem to have been assimilated in using it.)

Submitted on 24 August 2006 at 23:44

STR-627, visser:
the source model will probably be refined in the future, but the current design seems to be adequate; therefore the issue can be closed.