[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.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 18.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 18.
(Undocumented.)
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.)
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.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 79.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 80.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 84.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 89.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 90.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Productions.sv line 94.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 4.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 5.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 7.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 21.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 23.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 25.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 40.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 47.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 56.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Lists.sv line 61.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Children.sv line 1.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Children.sv line 5.
(Undocumented.)
Contained in grammar [silver:compiler:extension:convenience]
. Defined at silver/compiler/extension/convenience/Children.sv line 24.
(Undocumented.)