constructor

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.




Statistics


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
File constructor.str
Author unknown
Since unknown
 

No information available.


todo Not sure what this case is for.

 

Rule details


ATerm Constr0
File constructor.str
Author unknown
Since unknown
 

No information available.


todo Optimize the oncetd

 
ATerm get-ast-pattern
File constructor.str
Author unknown
Since unknown
 

No information available.


todo Cache the parsed placeholders.

 
ATerm ReplAstPattern(Strategy impl)
File constructor.str
Author unknown
Since unknown
 

Handles the experimental ast annotations.



 
ATerm ReplConsConc(Strategy impl)
File constructor.str
Author unknown
Since unknown
 

Note: the separator of this concatenation operator ismade into an element of the list. Does this make sense?