| File | signature.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 92 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 27 (25% documented) |
| Overlay number | 0 |
| Strategy number | 0 |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| Annotated(ATerm , ATerm ) | n/a | signature.str |
| Appl(ATerm , ATerm ) | n/a | signature.str |
| Chars(ATerm ) | n/a | signature.str |
| ConcTerm(ATerm ) | [xs*, xs*] | signature.str |
| ConsTerm(ATerm ) | [x | xs] | signature.str |
| EscapeSeq(ATerm ) | n/a | signature.str |
| Generated(ATerm ) | n/a | signature.str |
| Int(ATerm ) | n/a | signature.str |
| IntTerm(ATerm ) | Integer terminal | signature.str |
| Labelled(ATerm , ATerm ) | n/a | signature.str |
| NilTerm(ATerm ) | [] | signature.str |
| NoneTerm(ATerm ) | n/a | signature.str |
| Nonterm(ATerm ) | n/a | signature.str |
| Plain(ATerm ) | n/a | signature.str |
| ProdRule(ATerm , ATerm ) | n/a | signature.str |
| ProdRules(ATerm ) | n/a | signature.str |
| Quoted(ATerm ) | n/a | signature.str |
| Ref(ATerm ) | n/a | signature.str |
| RTG(ATerm , ATerm ) | n/a | signature.str |
| Set(ATerm ) | n/a | signature.str |
| SomeTerm(ATerm ) | n/a | signature.str |
| Start(ATerm ) | n/a | signature.str |
| String(ATerm ) | n/a | signature.str |
| StringTerm(ATerm ) | String terminal | signature.str |
| Term(ATerm ) | n/a | signature.str |
| Term(ATerm ) | User-defined terminal | signature.str |
| TupleTerm(ATerm ) | Tuple of n elements | signature.str |
Constructor details |
|||||||||
| ConcTerm(ATerm ) | |||||||||
[xs*, xs*]. A conc terminal application must always have 2 arguments. both must a list. |
|||||||||
| ConsTerm(ATerm ) | |||||||||
[x | xs]. A cons terminal application must always have 2 arguments, of which the 2nd must a list. |
|||||||||
| IntTerm(ATerm ) | |||||||||
Integer terminal. Cannot have arguments. |
|||||||||
| NilTerm(ATerm ) | |||||||||
[]. A nil terminal application is not allowedto have any arguments. |
|||||||||
| StringTerm(ATerm ) | |||||||||
String terminal Cannot have arguments. |
|||||||||
| Term(ATerm ) | |||||||||
User-defined terminal. |
|||||||||
| TupleTerm(ATerm ) | |||||||||
Tuple of n elements. The number of argumentsof a tuple terminal application must always be n. |
|||||||||