File | constructor.str |
Author | unknown |
Since | unknown |
Implosion of productions that result in constructor applications.
An application of a context-free production is transformedinto an actual application of a constructor name to the listof children. The Stratego primitive \verb|mkterm| takes a pairof a string \verb|c| and a list of terms \verb|ts| and turnsit into the term \verb|c(ts)|. The constructor \verb|c| isderived from the production. If it has a \verb|cons(c)|attribute that attribute is taken. Otherwise the productionshould be some derived production for regular expressions.
General | |
Lines of code | 245 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (0% documented) |
Overlay number | 0 |
Strategy number | 24 (4% documented) |
Rule number | 36 (11% documented) |
DynamicRule number | 1 (0% documented) |
Constructor summary |
||
ast(ATerm ) | n/a | constructor.str |
Strategy summary |
||
Cns | n/a | constructor.str |
implode-constant-literal(ATerm constant) | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-conc | n/a | constructor.str |
is-ins | n/a | constructor.str |
is-ins | n/a | constructor.str |
is-ins | n/a | constructor.str |
is-ins | n/a | constructor.str |
is-nil | n/a | constructor.str |
is-nil | n/a | constructor.str |
is-nil | n/a | constructor.str |
is-nil | n/a | constructor.str |
is-none | n/a | constructor.str |
is-none | n/a | constructor.str |
is-some | n/a | constructor.str |
is-some | n/a | constructor.str |
ReplCons(Strategy impl) | n/a | constructor.str |
Rule summary |
||
CnsGeneric | n/a | constructor.str |
CnsNil | n/a | constructor.str |
Constr0 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr1 | n/a | constructor.str |
Constr23 | n/a | constructor.str |
ConstrNil | n/a | constructor.str |
ConstrNil | n/a | constructor.str |
ConstrNil | n/a | constructor.str |
ConstrNil | n/a | constructor.str |
get-ast-pattern | n/a | constructor.str |
get-cons | n/a | constructor.str |
ReplAstPattern(Strategy impl) | Handles the experimental ast annotations | constructor.str |
ReplConsConc(Strategy impl) | n/a | constructor.str |
ReplConsConc(Strategy impl) | Note: the separator of this concatenation operator is made into an element of the list | constructor.str |
ReplConsIns(Strategy impl) | n/a | constructor.str |
ReplConsIns(Strategy impl) | n/a | constructor.str |
ReplConsIns(Strategy impl) | n/a | constructor.str |
ReplConsNil(Strategy impl) | n/a | constructor.str |
ReplConsNone(Strategy impl) | n/a | constructor.str |
ReplConsSome(Strategy impl) | n/a | constructor.str |
ReplNamedCons(Strategy impl) | n/a | constructor.str |
Strategy details |
|||||||||||
ATerm | is-conc | ||||||||||
No information available.
|
|||||||||||
Rule details |
|||||||||||
ATerm | Constr0 | ||||||||||
No information available.
|
|||||||||||
ATerm | get-ast-pattern | ||||||||||
No information available.
|
|||||||||||
ATerm | ReplAstPattern(Strategy impl) | ||||||||||
Handles the experimental ast annotations. |
|||||||||||
ATerm | ReplConsConc(Strategy impl) | ||||||||||
Note: the separator of this concatenation operator ismade into an element of the list. Does this make sense? |
|||||||||||