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 |