| File | scoped-finite-map.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 96 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 1 (0% documented) |
| Overlay number | 0 |
| Strategy number | 13 (0% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| Scopes(ATerm ) | n/a | scoped-finite-map.str |
Strategy summary |
||
| assert(Strategy ns) | n/a | scoped-finite-map.str |
| begin-scope(Strategy ns) | n/a | scoped-finite-map.str |
| end-scope(Strategy ns) | n/a | scoped-finite-map.str |
| exit-name-space(Strategy ns) | n/a | scoped-finite-map.str |
| extend-assert(Strategy ns) | n/a | scoped-finite-map.str |
| extend-assert-undefined(Strategy ns) | n/a | scoped-finite-map.str |
| extend-override-key(Strategy ns) | n/a | scoped-finite-map.str |
| extend-override-key-undefined(Strategy ns) | n/a | scoped-finite-map.str |
| extend-rewrite(Strategy ns) | n/a | scoped-finite-map.str |
| init-name-space(Strategy ns) | n/a | scoped-finite-map.str |
| override-key(Strategy ns) | n/a | scoped-finite-map.str |
| rewrite(Strategy ns) | n/a | scoped-finite-map.str |
| scope(Strategy ns, Strategy s) | n/a | scoped-finite-map.str |