| File | utilities.str |
| Author | unknown |
| Since | unknown |
Module containing utility strategies for the analysis.
| General | |
| Lines of code | 58 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 4 (0% documented) |
| Rule number | 6 (16% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| all-casings | n/a | utilities.str |
| get-upper-and-lowercase | n/a | utilities.str |
| get-upper-and-lowercase | n/a | utilities.str |
| ZipAndAssignLists | n/a | utilities.str |
Rule summary |
||
| ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | Takes two lists, the first should contain either: - None - Some(List(_)) - Some(Variable(_)) The second should contain values | utilities.str |
| ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | n/a | utilities.str |
| ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | n/a | utilities.str |
| ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | n/a | utilities.str |
| ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | n/a | utilities.str |
| ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | n/a | utilities.str |
Rule details |
|||||||||
| ATerm | ZipAndAssignLists(Strategy valid-get, Strategy valid-put) | ||||||||
Takes two lists, the first should contain either:- None - Some(List(_))- Some(Variable(_))The second should contain values.It takes the first elements of these lists and tries toassign the value to the variable, ignores it in case of aNone(), or performs a list-assign if there is a list. |
|||||||||