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