| General | |
| Lines of code | 544 |
| Stratego | |
| Module number | 5 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 65 (7% documented) |
| Rule number | 7 (0% documented) |
| DynamicRule number | 0 |
Modules |
||
| environment | Traversals that carry an environment | environment.str |
| fixpoint | A collection of strategies that keeps traversing a term until no more applications of some strategy to the nodes can be found | fixpoint.str |
| list | This module defines a collection of generic one-pass traversals over lists | list.str |
| list-environment | Traversals that carry an environment | list-environment.str |
| simple | This module contains generic one-pass traversals over terms | simple.str |