[silver:compiler:extension:convenience]

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

Defined in this grammar:

concrete production shortLocalDecl   (top::ProductionStmt ::= lk::'local' a::Name ht::'::' te::TypeExpr eq::'=' v::Expr sm::';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/ShortLocalProdAttrDeclDef.sv line 3.

(Undocumented.)


concrete production shortLocalDeclwKwds   (top::ProductionStmt ::= lk::'local' ak::'attribute' a::Name ht::'::' te::TypeExpr eq::'=' v::Expr sm::';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/ShortLocalProdAttrDeclDef.sv line 13.

(Undocumented.)


concrete production shortProductionDecl   (top::ProductionStmt ::= pk::'production' a::Name ht::'::' te::TypeExpr eq::'=' v::Expr sm::';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/ShortLocalProdAttrDeclDef.sv line 23.

(Undocumented.)


concrete production shortProductionDeclwKwds   (top::ProductionStmt ::= pk::'production' ak::'attribute' a::Name ht::'::' te::TypeExpr eq::'=' v::Expr sm::';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/ShortLocalProdAttrDeclDef.sv line 33.

(Undocumented.)


concrete production shortForwardProductionDecl   (top::ProductionStmt ::= fk::'forward' a::Name eq::'=' v::Expr sm::';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/ShortLocalProdAttrDeclDef.sv line 43.

(Undocumented.)


concrete production shortForwardProductionDeclwKwds   (top::ProductionStmt ::= fk::'forward' pk::'production' ak::'attribute' a::Name eq::'=' v::Expr sm::';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/ShortLocalProdAttrDeclDef.sv line 53.

(Undocumented.)


concrete production multipleAttributionDclsManyMany   (top::AGDcl ::= 'attribute' a::QNames2 'occurs' 'on' nts::QNames2 ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 11.

(Undocumented.)


concrete production multipleAttributionDclsSingleMany   (top::AGDcl ::= 'attribute' a::QName tl::BracketedOptTypeExprs 'occurs' 'on' nts::QNames2 ';' )

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

(Undocumented.)


concrete production multipleAttributionDclsManySingle   (top::AGDcl ::= 'attribute' a::QNames2 'occurs' 'on' nts::QNameWithTL ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 23.

(Undocumented.)


concrete production multipleAnnotationDclsManyMany   (top::AGDcl ::= 'annotation' a::QNames2 'occurs' 'on' nts::QNames2 ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 31.

(Undocumented.)


concrete production multipleAnnotationDclsSingleMany   (top::AGDcl ::= 'annotation' a::QName tl::BracketedOptTypeExprs 'occurs' 'on' nts::QNames2 ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 37.

(Undocumented.)


concrete production multipleAnnotationDclsManySingle   (top::AGDcl ::= 'annotation' a::QNames2 'occurs' 'on' nts::QNameWithTL ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 43.

(Undocumented.)


concrete production nonterminalWithDcl   (top::AGDcl ::= quals::NTDeclQualifiers 'nonterminal' id::Name tl::BracketedOptTypeExprs nm::NonterminalModifiers 'with' attrs::QNames ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 51.

(Undocumented.)


concrete production attributeDclInhMultiple   (top::AGDcl ::= 'inherited' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'occurs' 'on' qs::QNames ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 63.

(Undocumented.)


concrete production attributeDclSynMultiple   (top::AGDcl ::= 'synthesized' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'occurs' 'on' qs::QNames ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 72.

(Undocumented.)


concrete production attributeDclTransMultiple   (top::AGDcl ::= 'translation' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'occurs' 'on' qs::QNames ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 81.

(Undocumented.)


concrete production collectionAttributeDclInhMultiple   (top::AGDcl ::= 'inherited' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator 'occurs' 'on' qs::QNames ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 90.

(Undocumented.)


concrete production collectionAttributeDclSynMultiple   (top::AGDcl ::= 'synthesized' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator 'occurs' 'on' qs::QNames ';' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Convenience.sv line 99.

(Undocumented.)


concrete production productionDclImplicitAbs   (top::AGDcl ::= 'production' id::Name ns::ProductionSignature body::ProductionBody )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 6.

(Undocumented.)


nonterminal ProductionDclStmts

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 13.

(Undocumented.)


nonterminal ProductionDclStmt

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 14.

(Undocumented.)


synthesized attribute proddcls :: AGDcl

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

(Undocumented.)


inherited attribute lhsdcl :: ProductionLHS

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 18.

(Undocumented.)


terminal Productions_kwd

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 18.

(Undocumented.)


terminal ProdVBar

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 20.

(Undocumented.)


concrete production productionDclC   (top::AGDcl ::= 'concrete' 'productions' lhs::ProductionLHS stmts::ProductionDclStmts )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 23.

(Undocumented.)


concrete production productionDclStmtsOne   (top::ProductionDclStmts ::= s::ProductionDclStmt )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 34.

(Undocumented.)


concrete production productionDclStmtsCons   (top::ProductionDclStmts ::= s::ProductionDclStmt ss::ProductionDclStmts )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 40.

(Undocumented.)


concrete production productionDclStmt   (top::ProductionDclStmt ::= optn::OptionalName v::ProdVBar rhs::ProductionRHS mods::ProductionModifiers body::ProductionBody opta::OptionalAction )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 47.

(Undocumented.)


nonterminal OptionalName

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 79.

(Undocumented.)


concrete production noOptionalName   (optn::OptionalName ::= )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 80.

(Undocumented.)


concrete production anOptionalName   (optn::OptionalName ::= '(' id::Name ')' )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 84.

(Undocumented.)


nonterminal OptionalAction

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 89.

(Undocumented.)


concrete production noOptionalAction   (opta::OptionalAction ::= )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 90.

(Undocumented.)


concrete production anOptionalAction   (opta::OptionalAction ::= 'action' acode::ActionCode_c )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Productions.sv line 94.

(Undocumented.)


nonterminal QNameWithTL

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 3.

(Undocumented.)


synthesized attribute qnwtQN :: QName

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 4.

(Undocumented.)


synthesized attribute qnwtTL :: BracketedOptTypeExprs

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 5.

(Undocumented.)


concrete production qNameWithTL   (top::QNameWithTL ::= qn::QName tl::BracketedOptTypeExprs )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 7.

(Undocumented.)


nonterminal QNames2

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 20.

(Undocumented.)


nonterminal QNames

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

(Undocumented.)


synthesized attribute qnames :: [QNameWithTL]

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 23.

(Undocumented.)


concrete production qNames2Two   (top::QNames2 ::= id1::QNameWithTL ',' id2::QNameWithTL )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 25.

(Undocumented.)


concrete production qNames2Cons   (top::QNames2 ::= id1::QNameWithTL ',' id2::QNames2 )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 32.

(Undocumented.)


concrete production qNamesSingle   (top::QNames ::= id::QNameWithTL )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 40.

(Undocumented.)


concrete production qNamesCons   (top::QNames ::= id1::QNameWithTL ',' id2::QNames )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 47.

(Undocumented.)


fun makeOccursDcls   (AGDcl ::= ats::[QNameWithTL] nts::[QNameWithTL] )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 56.

(Undocumented.)


function makeOccursDclsHelp   (AGDcl ::= at::QNameWithTL nts::[QNameWithTL] )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Lists.sv line 61.

(Undocumented.)


terminal Children_kwd

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Children.sv line 1.

(Undocumented.)


concrete production childrenRef   (top::Expr ::= '$' e::Int_t )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Children.sv line 5.

(Undocumented.)


fun findChild   (Maybe<String> ::= i::Integer s::[String] )

Contained in grammar [silver:compiler:extension:convenience]. Defined at silver/compiler/extension/convenience/Children.sv line 24.

(Undocumented.)