| File | hash-table.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
Possible extensions of the Stratego Library Hashtable strategies.
| General | |
| Lines of code | 16 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 2 (50% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| hashtable-get(Strategy ifnot, ATerm key) | n/a | hash-table.str |
| hashtable-push-existing(ATerm key, ATerm value) | Avoid the choice operator in hashtable push if we know that we key exists | hash-table.str |
Strategy details |
|||||||||
| ATerm | hashtable-push-existing(ATerm key, ATerm value) | ||||||||
Avoid the choice operator in hashtable push if we know that we key exists.Also, fails if the key does not exist. |
|||||||||