| General | |
| Lines of code | 210 |
| SDF | |
| Module number | 2 (100% documented) |
| Production number | 0 |
| Stratego | |
| Module number | 2 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 19 (21% documented) |
| Rule number | 11 (36% documented) |
| DynamicRule number | 2 (0% documented) |
Modules |
||
| Bridge | Access to Java bytecode by conversion to ATerms | Bridge.str |
| util | Utils for Java Bytecode | util.str |