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