[silver:compiler:extension:treegen]

Contents of [silver:compiler:extension:treegen]:

Defined in this grammar:

terminal GenArbTerminal_t

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/TerminalGen.sv line 8.

(Undocumented.)


concrete production genArbTerminalNoLocExpr   (top::Expr ::= 'genArbTerminal' '(' te::TypeExpr ',' '_' ')' )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/TerminalGen.sv line 15.

(Undocumented.)


concrete production genArbTerminalExpr   (top::Expr ::= 'genArbTerminal' '(' te::TypeExpr ',' loc::Expr ')' )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/TerminalGen.sv line 46.

(Undocumented.)


terminal Generator_t

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 17.

(Undocumented.)


concrete production generatorDcl   (top::AGDcl ::= 'generator' n::Name '::' t::TypeExpr '{' grammars::GeneratorComponents '}' )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 21.

(Undocumented.)


nonterminal GeneratorComponents

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 87.

(Undocumented.)


nonterminal GeneratorComponent

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 88.

(Undocumented.)


concrete production nilGeneratorComponent   (top::GeneratorComponents ::= )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 92.

(Undocumented.)


concrete production consGeneratorComponent   (top::GeneratorComponents ::= c1::GeneratorComponent c2::GeneratorComponents )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 98.

(Undocumented.)


concrete production generatorComponent   (top::GeneratorComponent ::= m::ModuleName ';' )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 104.

(Undocumented.)


function genForType   (Expr ::= env::Env specEnv::Env depth::Expr t::Type )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 111.

(Undocumented.)


function isTypeGeneratable   (Boolean ::= env::Env specEnv::Env t::Type )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 143.

(Undocumented.)


function isProdGeneratable   (Boolean ::= env::Env specEnv::Env p::ValueDclInfo )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 157.

(Undocumented.)


function nonterminalArity   (Integer ::= t::Type )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 167.

(Undocumented.)


function prodDclInfoNumChildLte   (Boolean ::= l::ValueDclInfo r::ValueDclInfo )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 172.

(Undocumented.)


function prodDclInfoNumChildEq   (Boolean ::= l::ValueDclInfo r::ValueDclInfo )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 177.

(Undocumented.)


function prodDclInfoNumChildNonzero   (Boolean ::= v::ValueDclInfo )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 182.

(Undocumented.)


fun takeWhile2   ([a] ::= f::(Boolean ::= a a) l::[a] )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 189.

(Undocumented.)


function genNtLocalDecl   (ProductionStmt ::= env::Env specEnv::Env nt::String )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 196.

(Undocumented.)


function genTermLocalDecl   (ProductionStmt ::= env::Env specEnv::Env dominatingTerminals::EnvTree<Decorated SyntaxDcl> t::String )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 234.

(Undocumented.)


function generateExprChain   (Expr ::= env::Env specEnv::Env nt::String index::Integer lst::[ValueDclInfo] )

Contained in grammar [silver:compiler:extension:treegen]. Defined at silver/compiler/extension/treegen/Arbitrary.sv line 286.

(Undocumented.)