| File | switch-options.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
| General | |
| Lines of code | 48 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 5 (20% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| construct-long-switch | n/a | switch-options.str |
| eval-config-switch | n/a | switch-options.str |
| if-switch(Strategy switch, Strategy s) | Applies s if the given switch is on | switch-options.str |
| norm-switch-arg | n/a | switch-options.str |
| SwitchOption(ATerm switch, ATerm default, ATerm description) | n/a | switch-options.str |
Strategy details |
|||||||||||||
| ATerm | if-switch(Strategy switch, Strategy s) | ||||||||||||
Applies s if the given switch is on. |
|||||||||||||