| General | |
| Lines of code | 444 |
| Stratego | |
| Module number | 7 (57% documented) |
| Constructor number | 2 (0% documented) |
| Overlay number | 0 |
| Strategy number | 28 (14% documented) |
| Rule number | 19 (5% documented) |
| DynamicRule number | 4 (0% documented) |
Modules |
||
| free-variables | n/a | free-variables.str |
| memo | The memo operator makes a strategy into a memoizing strategy that looks up the term to be transformed in a memo table and only computes the transformation if the term is not found | memo.str |
| option | n/a | option.str |
| parenthesize | This module defines a generic strategy for placing parentheses in abstract syntax trees based on priority and associativity declarations | parenthesize.str |
| rename | Renaming of bound variables is determined by the shape of variables and binding constructs | rename.str |
| substitution | n/a | substitution.str |
| unification | Syntactic unification, no variable bindings are taken into account | unification.str |