| File | markers.str |
| Author | unknown |
| Since | unknown |
Standard transition markers to indicate quotations andanti-quotations.
| General | |
| Lines of code | 53 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 12 (0% documented) |
| Overlay number | 0 |
| Strategy number | 5 (0% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| FromApp(ATerm ) | n/a | markers.str |
| FromMetaExpr(ATerm ) | n/a | markers.str |
| FromMetaListExpr(ATerm ) | n/a | markers.str |
| FromStrategy(ATerm ) | n/a | markers.str |
| FromTerm(ATerm ) | n/a | markers.str |
| meta-listvar(ATerm ) | n/a | markers.str |
| meta-var(ATerm ) | n/a | markers.str |
| ToBuild(ATerm ) | n/a | markers.str |
| ToMetaExpr(ATerm ) | n/a | markers.str |
| ToMetaListExpr(ATerm ) | n/a | markers.str |
| ToStrategy(ATerm ) | n/a | markers.str |
| ToTerm(ATerm ) | n/a | markers.str |
Strategy summary |
||
| strsglr-antiquote-cong(Strategy s) | n/a | markers.str |
| strsglr-is-antiquote-cons | n/a | markers.str |
| strsglr-is-quote-cons | n/a | markers.str |
| strsglr-metavar-cong(Strategy s) | n/a | markers.str |
| strsglr-quote-cong(Strategy s) | n/a | markers.str |