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. |
|||||||||||||