| File | nested.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 76 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 3 (0% documented) |
| Overlay number | 0 |
| Strategy number | 5 (0% documented) |
| Rule number | 6 (0% documented) |
| DynamicRule number | 0 |
Constructor summary |
||
| NestedTable(ATerm ) | n/a | nested.str |
| NewTable(ATerm ) | n/a | nested.str |
| Tables(ATerm ) | n/a | nested.str |
Strategy summary |
||
| nestedtable-get(ATerm keys) | n/a | nested.str |
| nestedtable-get(Strategy forward, ATerm keys) | n/a | nested.str |
| nestedtable-put(ATerm keys, ATerm value) | n/a | nested.str |
| nestedtable-put(Strategy forward, ATerm keys, ATerm value) | n/a | nested.str |
| nestedtable-put(Strategy forward, Strategy changed, ATerm keys, ATerm value) | n/a | nested.str |
Rule summary |
||
| nestedtable-get-aux(Strategy forward, ATerm tbl) | n/a | nested.str |
| nestedtable-get-aux(Strategy forward, ATerm tbl) | n/a | nested.str |
| nestedtable-get-aux(Strategy forward, ATerm tbl1) | n/a | nested.str |
| nestedtable-put-aux(Strategy forward, Strategy changed, ATerm tbl, ATerm value) | n/a | nested.str |
| nestedtable-put-aux(Strategy forward, Strategy changed, ATerm tbl, ATerm value) | n/a | nested.str |
| nestedtable-put-aux(Strategy forward, Strategy changed, ATerm tbl1, ATerm value) | n/a | nested.str |