| General | |
| Lines of code | 292 |
| Stratego | |
| Module number | 3 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 33 (24% documented) |
| Rule number | 6 (16% documented) |
| DynamicRule number | 0 |
Modules |
||
| special | Module with rules to handle the special construct for the constant propogation | special.str |
| utilities | Module containing utility strategies for the analysis | utilities.str |
| wrappers | Module for the so called 'wrapper' constructs | wrappers.str |