Minnesota Extensible Language Tools Group

[silver:compiler:definition:core]

Contents of [silver:compiler:definition:core]:

Defined in this grammar:

nonterminal QName

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 6.

(Undocumented.)

nonterminal QNameType

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 10.

(Undocumented.)

synthesized attribute dcls<a> :: [a]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 17.

(Undocumented.)

synthesized attribute qNameType :: QNameType

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 19.

(Undocumented.)

synthesized attribute nameLoc :: Location

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 20.

(Undocumented.)

function qName   (QName ::= s::String )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 22.

(Undocumented.)

concrete production qNameId   (top::QName ::= id::Name )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 29.

(Undocumented.)

concrete production qNameCons   (top::QName ::= id::Name ':' qn::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 42.

(Undocumented.)

abstract production qNameError   (top::QName ::= msg::[Message] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 57.

(Undocumented.)

data nonterminal QNameLookup<a>

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 70.

(Undocumented.)

synthesized attribute lookupValue :: QNameLookup<ValueDclInfo>

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 72.

(Undocumented.)

synthesized attribute lookupType :: QNameLookup<TypeDclInfo>

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 73.

(Undocumented.)

synthesized attribute lookupAttribute :: QNameLookup<AttributeDclInfo>

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 74.

(Undocumented.)

abstract production customLookup   (attribute fullName {} occurs on a, attribute typeScheme {} occurs on a, annotation sourceLocation occurs on a => top::QNameLookup<a> ::= kindOfLookup::String dcls::[a] name::String )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 78.

(Undocumented.)

abstract production errorLookup   (top::QNameLookup<a> ::= msg::[Message] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 103.

(Undocumented.)

fun printPossibilities   (attribute fullName {} occurs on a, annotation sourceLocation occurs on a => String ::= lst::[a] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 114.

(Undocumented.)

function dclinfo2possibility   (attribute fullName {} occurs on a, annotation sourceLocation occurs on a => String ::= dcl::a )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 119.

(Undocumented.)

concrete production qNameTypeId   (top::QNameType ::= id::IdUpper_t )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 132.

(Undocumented.)

concrete production qNameTypeCons   (top::QNameType ::= id::Name ':' qn::QNameType )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 142.

(Undocumented.)

nonterminal QNameAttrOccur

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 157.

(Undocumented.)

inherited attribute attrFor :: Type

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 165.

(Undocumented.)

synthesized attribute attrDcl :: AttributeDclInfo

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 166.

(Undocumented.)

synthesized attribute found :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 171.

(Undocumented.)

synthesized attribute attrFound :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 176.

(Undocumented.)

concrete production qNameAttrOccur   (top::QNameAttrOccur ::= at::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 183.

(Undocumented.)

fun zipFilterDcls   ([AttributeDclInfo] ::= at::[AttributeDclInfo] occ::[[OccursDclInfo]] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/QName.sv line 253.

(Undocumented.)

concrete production instanceDcl   (top::AGDcl ::= 'instance' cl::ConstraintList '=>' id::QNameType ty::TypeExpr '{' body::InstanceBody '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 5.

(Undocumented.)

concrete production instanceDclNoCL   (top::AGDcl ::= 'instance' id::QNameType ty::TypeExpr '{' body::InstanceBody '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 76.

(Undocumented.)

inherited attribute className :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 86.

(Undocumented.)

inherited attribute instanceType :: Type

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 87.

(Undocumented.)

inherited attribute expectedClassMembers :: [Pair<String Boolean>]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 88.

(Undocumented.)

nonterminal InstanceBody

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 90.

(Undocumented.)

nonterminal InstanceBodyItem

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 92.

(Undocumented.)

concrete production consInstanceBody   (top::InstanceBody ::= h::InstanceBodyItem t::InstanceBody )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 100.

(Undocumented.)

concrete production nilInstanceBody   (top::InstanceBody ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 111.

(Undocumented.)

concrete production instanceBodyItem   (top::InstanceBodyItem ::= id::QName '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/InstanceDcl.sv line 124.

(Undocumented.)

concrete production attributeDclInh   (top::AGDcl ::= 'inherited' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AttributeDcl.sv line 3.

(Undocumented.)

concrete production attributeDclSyn   (top::AGDcl ::= 'synthesized' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AttributeDcl.sv line 25.

(Undocumented.)

concrete production attributeDclTrans   (top::AGDcl ::= 'translation' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AttributeDcl.sv line 47.

(Undocumented.)

nonterminal Expr

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 6.

(Undocumented.)

nonterminal Exprs

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 8.

(Undocumented.)

nonterminal ExprInhs

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 11.

(Undocumented.)

nonterminal ExprInh

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 13.

(Undocumented.)

nonterminal ExprLHSExpr

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 15.

(Undocumented.)

inherited attribute decoratingnt :: Type

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 41.

(Undocumented.)

synthesized attribute suppliedInhs :: [String]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 45.

(Undocumented.)

inherited attribute allSuppliedInhs :: [String]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 46.

(Undocumented.)

monoid attribute exprs :: [Decorated Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 50.

(Undocumented.)

monoid attribute rawExprs :: [Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 54.

(Undocumented.)

monoid attribute freeVars :: ts:Set<String>

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 58.

(Undocumented.)

inherited attribute isRoot :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 62.

(Undocumented.)

inherited attribute originRules :: [Decorated Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 64.

(Undocumented.)

abstract production errorExpr   (top::Expr ::= e::[Message] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 69.

(Undocumented.)

concrete production nestedExpr   (top::Expr ::= '(' e::Expr ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 77.

(Undocumented.)

concrete production baseExpr   (top::Expr ::= q::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 85.

(Undocumented.)

abstract production errorReference   (top::Expr ::= msg::[Message] q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 101.

(Undocumented.)

abstract production childReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 113.

(Undocumented.)

abstract production lhsReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 125.

(Undocumented.)

abstract production localReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 136.

(Undocumented.)

abstract production forwardReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 148.

(Undocumented.)

abstract production productionReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 162.

(Undocumented.)

abstract production functionReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 181.

(Undocumented.)

abstract production classMemberReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 200.

(Undocumented.)

abstract production globalValueReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 232.

(Undocumented.)

concrete production concreteForwardExpr   (top::Expr ::= q::'forward' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 254.

(Undocumented.)

concrete production application   (top::Expr ::= e::Expr '(' es::AppExprs ',' anns::AnnoAppExprs ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 264.

(Undocumented.)

concrete production applicationAnno   (top::Expr ::= e::Expr '(' anns::AnnoAppExprs ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 301.

(Undocumented.)

concrete production applicationExpr   (top::Expr ::= e::Expr '(' es::AppExprs ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 306.

(Undocumented.)

concrete production applicationEmpty   (top::Expr ::= e::Expr '(' ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 311.

(Undocumented.)

abstract production errorApplication   (top::Expr ::= e::Decorated! Expr es::Decorated! AppExprs anns::Decorated! AnnoAppExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 317.

(Undocumented.)

abstract production functionApplication   (top::Expr ::= e::Decorated! Expr es::Decorated! AppExprs anns::Decorated! AnnoAppExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 335.

(Undocumented.)

abstract production functionInvocation   (top::Expr ::= e::Decorated! Expr es::Decorated! AppExprs anns::Decorated! AnnoAppExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 348.

(Undocumented.)

abstract production partialApplication   (top::Expr ::= e::Decorated! Expr es::Decorated! AppExprs anns::Decorated! AnnoAppExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 359.

(Undocumented.)

concrete production noteAttachment   (top::Expr ::= 'attachNote' note::Expr 'on' e::Expr 'end' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 373.

(Undocumented.)

concrete production forwardAccess   (top::Expr ::= e::Expr '.' 'forward' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 388.

(Undocumented.)

concrete production access   (top::Expr ::= e::Expr '.' q::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 397.

(Undocumented.)

abstract production errorAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 417.

(Undocumented.)

abstract production terminalAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 433.

(Undocumented.)

abstract production undecoratedAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 458.

(Undocumented.)

abstract production dataAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 473.

(Undocumented.)

abstract production accessBouncer   (top::Expr ::= target::(Expr ::= Decorated! Expr Decorated! QNameAttrOccur) e::Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 491.

(Undocumented.)

function accessBounceDecorate   (Expr ::= target::(Expr ::= Decorated! Expr Decorated! QNameAttrOccur) e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 502.

(Undocumented.)

function accessBounceUndecorate   (Expr ::= target::(Expr ::= Decorated! Expr Decorated! QNameAttrOccur) e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 508.

(Undocumented.)

abstract production decoratedAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 520.

(Undocumented.)

abstract production synDecoratedAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 535.

(Undocumented.)

abstract production inhDecoratedAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 544.

(Undocumented.)

abstract production transDecoratedAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 553.

(Undocumented.)

abstract production annoAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 562.

(Undocumented.)

abstract production synDataAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 574.

(Undocumented.)

abstract production inhUndecoratedAccessErrorHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 583.

(Undocumented.)

abstract production transUndecoratedAccessErrorHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 594.

(Undocumented.)

abstract production unknownDclAccessHandler   (top::Expr ::= e::Decorated! Expr q::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 605.

(Undocumented.)

concrete production decorateExprWithEmpty   (top::Expr ::= 'decorate' e::Expr 'with' '{' '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 615.

(Undocumented.)

concrete production decorateExprWith   (top::Expr ::= 'decorate' e::Expr 'with' '{' inh::ExprInhs '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 623.

(Undocumented.)

concrete production decorationSiteExpr   (top::Expr ::= '@' e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 639.

(Undocumented.)

abstract production exprInhsEmpty   (top::ExprInhs ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 648.

(Undocumented.)

concrete production exprInhsOne   (top::ExprInhs ::= lhs::ExprInh )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 656.

(Undocumented.)

concrete production exprInhsCons   (top::ExprInhs ::= lhs::ExprInh inh::ExprInhs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 664.

(Undocumented.)

concrete production exprInh   (top::ExprInh ::= lhs::ExprLHSExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 672.

(Undocumented.)

concrete production exprLhsExpr   (top::ExprLHSExpr ::= q::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 683.

(Undocumented.)

concrete production trueConst   (top::Expr ::= 'true' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 695.

(Undocumented.)

concrete production falseConst   (top::Expr ::= 'false' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 703.

(Undocumented.)

concrete production and   (top::Expr ::= e1::Expr '&&' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 711.

(Undocumented.)

concrete production or   (top::Expr ::= e1::Expr '||' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 719.

(Undocumented.)

concrete production notOp   (top::Expr ::= '!' e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 727.

(Undocumented.)

concrete production gtOp   (top::Expr ::= e1::Expr op::'>' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 735.

(Undocumented.)

concrete production ltOp   (top::Expr ::= e1::Expr op::'<' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 743.

(Undocumented.)

concrete production gteOp   (top::Expr ::= e1::Expr op::'>=' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 751.

(Undocumented.)

concrete production lteOp   (top::Expr ::= e1::Expr op::'<=' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 759.

(Undocumented.)

concrete production eqOp   (top::Expr ::= e1::Expr op::'==' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 767.

(Undocumented.)

concrete production neqOp   (top::Expr ::= e1::Expr op::'!=' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 775.

(Undocumented.)

concrete production ifThenElse   (top::Expr ::= 'if' e1::Expr 'then' e2::Expr 'else' e3::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 783.

(Undocumented.)

concrete production intConst   (top::Expr ::= i::Int_t )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 796.

(Undocumented.)

concrete production floatConst   (top::Expr ::= f::Float_t )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 804.

(Undocumented.)

concrete production plus   (top::Expr ::= e1::Expr '+' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 812.

(Undocumented.)

concrete production minus   (top::Expr ::= e1::Expr '-' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 820.

(Undocumented.)

concrete production multiply   (top::Expr ::= e1::Expr '*' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 828.

(Undocumented.)

concrete production divide   (top::Expr ::= e1::Expr '/' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 836.

(Undocumented.)

concrete production modulus   (top::Expr ::= e1::Expr '%' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 844.

(Undocumented.)

concrete production neg   (top::Expr ::= '-' e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 858.

(Undocumented.)

concrete production stringConst   (top::Expr ::= s::String_t )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 867.

(Undocumented.)

concrete production plusPlus   (top::Expr ::= e1::Expr op::'++' e2::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 875.

(Undocumented.)

concrete production terminalConstructor   (top::Expr ::= 'terminal' '(' t::TypeExpr ',' es::Expr ',' el::Expr ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 883.

(Undocumented.)

concrete production terminalFunction   (top::Expr ::= 'terminal' '(' t::TypeExpr ',' e::Expr ')' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 894.

(Undocumented.)

abstract production exprsEmpty   (top::Exprs ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 909.

(Undocumented.)

concrete production exprsSingle   (top::Exprs ::= e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 917.

(Undocumented.)

concrete production exprsCons   (top::Exprs ::= e1::Expr ',' e2::Exprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 927.

(Undocumented.)

nonterminal AppExprs

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 943.

(Undocumented.)

nonterminal AppExpr

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 952.

(Undocumented.)

synthesized attribute isPartial :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 959.

(Undocumented.)

synthesized attribute missingTypereps :: [Type]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 960.

(Undocumented.)

synthesized attribute appExprIndicies :: [Integer]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 961.

(Undocumented.)

synthesized attribute appExprSize :: Integer

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 962.

(Undocumented.)

inherited attribute appExprIndex :: Integer

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 963.

(Undocumented.)

inherited attribute appExprTypereps :: [Type]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 964.

(Undocumented.)

inherited attribute appExprTyperep :: Type

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 965.

(Undocumented.)

inherited attribute appExprApplied :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 966.

(Undocumented.)

concrete production missingAppExpr   (top::AppExpr ::= '_' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 969.

(Undocumented.)

concrete production presentAppExpr   (top::AppExpr ::= e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 981.

(Undocumented.)

concrete production snocAppExprs   (top::AppExprs ::= es::AppExprs ',' e::AppExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 996.

(Undocumented.)

concrete production oneAppExprs   (top::AppExprs ::= e::AppExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1017.

(Undocumented.)

abstract production emptyAppExprs   (top::AppExprs ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1035.

(Undocumented.)

nonterminal AnnoAppExprs

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1053.

(Undocumented.)

nonterminal AnnoExpr

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1058.

(Undocumented.)

inherited attribute remainingFuncAnnotations :: [(String,Type)]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1074.

(Undocumented.)

inherited attribute funcAnnotations :: [(String,Type)]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1078.

(Undocumented.)

synthesized attribute missingAnnotations :: [(String,Type)]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1082.

(Undocumented.)

synthesized attribute partialAnnoTypereps :: [Type]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1086.

(Undocumented.)

synthesized attribute annoIndexConverted :: [Integer]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1088.

(Undocumented.)

synthesized attribute annoIndexSupplied :: [Integer]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1089.

(Undocumented.)

concrete production annoExpr   (top::AnnoExpr ::= qn::QName '=' e::AppExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1091.

(Undocumented.)

concrete production snocAnnoAppExprs   (top::AnnoAppExprs ::= es::AnnoAppExprs ',' e::AnnoExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1117.

(Undocumented.)

concrete production oneAnnoAppExprs   (top::AnnoAppExprs ::= e::AnnoExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1134.

(Undocumented.)

abstract production emptyAnnoAppExprs   (top::AnnoAppExprs ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1154.

(Undocumented.)

fun reorderedAnnoAppExprs   ([Decorated Expr] ::= d::Decorated AnnoAppExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1173.

(Undocumented.)

fun reorderedLte   (Boolean ::= l::(Integer,Decorated Expr) r::(Integer,Decorated Expr) )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1175.

(Undocumented.)

function extractNamedArg   ((Maybe<(String,Type)>,[(String,Type)]) ::= n::String l::[(String,Type)] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1178.

(Undocumented.)

fun findNamedArgType   (Integer ::= s::String l::[(String,Type)] z::Integer )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1189.

(Undocumented.)

fun mkStrFunctionInvocation   (Expr ::= e::String es::[Expr] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1199.

(Undocumented.)

fun mkFunctionInvocation   (Expr ::= e::Expr es::[Expr] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1201.

(Undocumented.)

fun mkFullFunctionInvocation   (Expr ::= e::Expr es::[Expr] ans::[Pair<String Expr>] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1202.

(Undocumented.)

fun mkAnnoExpr   (AnnoExpr ::= p::Pair<String Expr> )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Expr.sv line 1211.

(Undocumented.)

abstract production defaultAttributionDcl   (top::AGDcl ::= at::Decorated! QName attl::BracketedOptTypeExprs nt::QName nttl::BracketedOptTypeExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/OccursDcl.sv line 3.

(Undocumented.)

abstract production errorAttributionDcl   (top::AGDcl ::= msg::[Message] at::Decorated! QName attl::BracketedOptTypeExprs nt::QName nttl::BracketedOptTypeExprs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/OccursDcl.sv line 139.

(Undocumented.)

concrete production attributionDcl   (top::AGDcl ::= 'attribute' at::QName attl::BracketedOptTypeExprs 'occurs' 'on' nt::QName nttl::BracketedOptTypeExprs ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/OccursDcl.sv line 174.

(Undocumented.)

concrete production annotateDcl   (top::AGDcl ::= 'annotation' at::QName attl::BracketedOptTypeExprs 'occurs' 'on' nt::QName nttl::BracketedOptTypeExprs ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/OccursDcl.sv line 196.

(Undocumented.)

concrete production typeClassDcl   (top::AGDcl ::= 'class' cl::ConstraintList '=>' id::QNameType var::TypeExpr '{' body::ClassBody '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 5.

(Undocumented.)

concrete production typeClassDclNoCL   (top::AGDcl ::= 'class' id::QNameType var::TypeExpr '{' body::ClassBody '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 66.

(Undocumented.)

inherited attribute classHead :: Context

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 76.

(Undocumented.)

inherited attribute constraintEnv :: Env

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 77.

(Undocumented.)

inherited attribute frameContexts :: [Context]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 78.

(Undocumented.)

nonterminal ClassBody

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 80.

(Undocumented.)

nonterminal ClassBodyItem

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 82.

(Undocumented.)

concrete production consClassBody   (top::ClassBody ::= h::ClassBodyItem t::ClassBody )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 90.

(Undocumented.)

concrete production nilClassBody   (top::ClassBody ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 96.

(Undocumented.)

concrete production classBodyItem   (top::ClassBodyItem ::= id::Name '::' ty::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 103.

(Undocumented.)

concrete production constraintClassBodyItem   (top::ClassBodyItem ::= id::Name '::' cl::ConstraintList '=>' ty::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 111.

(Undocumented.)

concrete production defaultClassBodyItem   (top::ClassBodyItem ::= id::Name '::' ty::TypeExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 140.

(Undocumented.)

concrete production defaultConstraintClassBodyItem   (top::ClassBodyItem ::= id::Name '::' cl::ConstraintList '=>' ty::TypeExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ClassDcl.sv line 148.

(Undocumented.)

synthesized attribute refDispatcher :: (Expr ::= Decorated! QName)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 8.

(Undocumented.)

synthesized attribute defDispatcher :: (ProductionStmt ::= Decorated! QName Expr)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 12.

(Undocumented.)

synthesized attribute defLHSDispatcher :: (DefLHS ::= Decorated! QName)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 16.

(Undocumented.)

synthesized attribute transDefLHSDispatcher :: (DefLHS ::= Decorated! QName Decorated! QNameAttrOccur)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 20.

(Undocumented.)

synthesized attribute decoratedAccessHandler :: (Expr ::= Decorated! Expr Decorated! QNameAttrOccur)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 26.

(Undocumented.)

synthesized attribute undecoratedAccessHandler :: (Expr ::= Decorated! Expr Decorated! QNameAttrOccur)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 31.

(Undocumented.)

synthesized attribute dataAccessHandler :: (Expr ::= Decorated! Expr Decorated! QNameAttrOccur)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 36.

(Undocumented.)

synthesized attribute attrDefDispatcher :: (ProductionStmt ::= Decorated! DefLHS Decorated! QNameAttrOccur Expr)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 40.

(Undocumented.)

synthesized attribute attributionDispatcher :: (AGDcl ::= Decorated! QName BracketedOptTypeExprs QName BracketedOptTypeExprs)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/DclInfo.sv line 44.

(Undocumented.)

nonterminal ProductionBody

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 3.

(Undocumented.)

nonterminal ProductionStmts

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 6.

(Undocumented.)

nonterminal ProductionStmt

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 9.

(Undocumented.)

nonterminal DefLHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 21.

(Undocumented.)

nonterminal ForwardInhs

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 27.

(Undocumented.)

nonterminal ForwardInh

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 29.

(Undocumented.)

nonterminal ForwardLHSExpr

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 31.

(Undocumented.)

inherited attribute frame :: BlockContext

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 38.

(Undocumented.)

monoid attribute productionAttributes :: [Def]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 43.

(Undocumented.)

monoid attribute forwardExpr :: [Decorated Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 48.

(Undocumented.)

monoid attribute returnExpr :: [Decorated Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 49.

(Undocumented.)

monoid attribute undecorateExpr :: [Decorated Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 50.

(Undocumented.)

inherited attribute defLHSattr :: Decorated QNameAttrOccur

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 55.

(Undocumented.)

synthesized attribute originRuleDefs :: [Decorated Expr]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 59.

(Undocumented.)

concrete production productionBody   (top::ProductionBody ::= '{' stmts::ProductionStmts '}' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 68.

(Undocumented.)

concrete production productionStmtsNil   (top::ProductionStmts ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 76.

(Undocumented.)

concrete production productionStmtsSnoc   (top::ProductionStmts ::= h::ProductionStmts t::ProductionStmt )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 84.

(Undocumented.)

abstract production productionStmtAppend   (top::ProductionStmt ::= h::ProductionStmt t::ProductionStmt )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 94.

(Undocumented.)

abstract production errorProductionStmt   (top::ProductionStmt ::= e::[Message] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 103.

(Undocumented.)

aspect default production top::ProductionStmt ::= {#aspect_default_production_silver:compiler:definition:core:ProductionStmt}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 112.

(Undocumented.)

concrete production attachNoteStmt   (top::ProductionStmt ::= 'attachNote' note::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 127.

(Undocumented.)

concrete production returnDef   (top::ProductionStmt ::= 'return' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 136.

(Undocumented.)

concrete production localAttributeDcl   (top::ProductionStmt ::= 'local' 'attribute' a::Name '::' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 150.

(Undocumented.)

concrete production productionAttributeDcl   (top::ProductionStmt ::= 'production' 'attribute' a::Name '::' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 170.

(Undocumented.)

concrete production forwardProductionAttributeDcl   (top::ProductionStmt ::= 'forward' 'production' 'attribute' a::Name ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 190.

(Undocumented.)

concrete production forwardsTo   (top::ProductionStmt ::= 'forwards' 'to' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 210.

(Undocumented.)

concrete production forwardsToWith   (top::ProductionStmt ::= 'forwards' 'to' e::Expr 'with' '{' inh::ForwardInhs '}' ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 225.

(Undocumented.)

concrete production forwardingWith   (top::ProductionStmt ::= 'forwarding' 'with' '{' inh::ForwardInhs '}' ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 235.

(Undocumented.)

concrete production forwardInh   (top::ForwardInh ::= lhs::ForwardLHSExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 249.

(Undocumented.)

concrete production forwardInhsOne   (top::ForwardInhs ::= lhs::ForwardInh )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 257.

(Undocumented.)

concrete production forwardInhsCons   (top::ForwardInhs ::= lhs::ForwardInh rhs::ForwardInhs )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 263.

(Undocumented.)

concrete production forwardLhsExpr   (top::ForwardLHSExpr ::= q::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 269.

(Undocumented.)

concrete production undecoratesTo   (top::ProductionStmt ::= 'undecorates' 'to' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 280.

(Undocumented.)

concrete production attributeDef   (top::ProductionStmt ::= dl::DefLHS '.' attr::QNameAttrOccur '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 295.

(Undocumented.)

abstract production errorAttributeDef   (top::ProductionStmt ::= msg::[Message] dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 325.

(Undocumented.)

abstract production synthesizedAttributeDef   (top::ProductionStmt ::= dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 336.

(Undocumented.)

abstract production inheritedAttributeDef   (top::ProductionStmt ::= dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 352.

(Undocumented.)

concrete production transInhAttributeDef   (top::ProductionStmt ::= dl::DefLHS '.' transAttr::QNameAttrOccur '.' attr::QNameAttrOccur '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 362.

(Undocumented.)

concrete production concreteDefLHS   (top::DefLHS ::= q::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 379.

(Undocumented.)

abstract production errorDefLHS   (top::DefLHS ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 395.

(Undocumented.)

concrete production concreteDefLHSfwd   (top::DefLHS ::= 'forward' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 409.

(Undocumented.)

abstract production childDefLHS   (top::DefLHS ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 415.

(Undocumented.)

abstract production lhsDefLHS   (top::DefLHS ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 432.

(Undocumented.)

abstract production localDefLHS   (top::DefLHS ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 449.

(Undocumented.)

abstract production forwardDefLHS   (top::DefLHS ::= q::Decorated! QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 466.

(Undocumented.)

abstract production transAttrDefLHS   (top::DefLHS ::= q::QName attr::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 484.

(Undocumented.)

abstract production errorTransAttrDefLHS   (top::DefLHS ::= q::Decorated! QName attr::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 499.

(Undocumented.)

abstract production childTransAttrDefLHS   (top::DefLHS ::= q::Decorated! QName attr::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 513.

(Undocumented.)

abstract production localTransAttrDefLHS   (top::DefLHS ::= q::Decorated! QName attr::Decorated! QNameAttrOccur )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 538.

(Undocumented.)

concrete production valueEq   (top::ProductionStmt ::= val::QName '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 565.

(Undocumented.)

abstract production errorValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 582.

(Undocumented.)

abstract production localValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionBody.sv line 595.

(Undocumented.)

nonterminal Grammar

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 1.

(Undocumented.)

inherited attribute grammarDependencies :: [String]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 19.

(Undocumented.)

inherited attribute globalImports :: Env

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 25.

(Undocumented.)

monoid attribute importedDefs :: [Def]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 30.

(Undocumented.)

monoid attribute importedOccursDefs :: [OccursDclInfo]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 31.

(Undocumented.)

synthesized attribute grammarErrors :: [Pair<String [Message]>]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 35.

(Undocumented.)

synthesized attribute allFileErrors :: [Pair<String [Message]>]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 39.

(Undocumented.)

abstract production nilGrammar   (top::Grammar ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 48.

(Undocumented.)

abstract production consGrammar   (top::Grammar ::= h::Root t::Grammar )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GrammarParts.sv line 57.

(Undocumented.)

nonterminal BlockContext

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 3.

(Undocumented.)

synthesized attribute permitReturn :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 15.

(Undocumented.)

synthesized attribute permitForward :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 17.

(Undocumented.)

synthesized attribute permitLocalAttributes :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 19.

(Undocumented.)

synthesized attribute permitProductionAttributes :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 22.

(Undocumented.)

synthesized attribute permitForwardProductionAttributes :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 24.

(Undocumented.)

synthesized attribute hasFullSignature :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 33.

(Undocumented.)

synthesized attribute hasPartialSignature :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 42.

(Undocumented.)

synthesized attribute lazyApplication :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 47.

(Undocumented.)

synthesized attribute lhsNtName :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 52.

(Undocumented.)

synthesized attribute signature :: NamedSignature

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 58.

(Undocumented.)

synthesized attribute flowGraph :: ProductionGraph

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 62.

(Undocumented.)

aspect default production top::BlockContext ::= {#aspect_default_production_silver:compiler:definition:core:BlockContext}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 76.

(Undocumented.)

abstract production functionContext   (top::BlockContext ::= sig::NamedSignature g::ProductionGraph )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 93.

(Undocumented.)

abstract production productionContext   (top::BlockContext ::= sig::NamedSignature g::ProductionGraph )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 107.

(Undocumented.)

abstract production inLambdaContext   (top::BlockContext ::= containingContext::BlockContext )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 124.

(Undocumented.)

abstract production aspectFunctionContext   (top::BlockContext ::= sig::NamedSignature g::ProductionGraph )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 130.

(Undocumented.)

abstract production aspectProductionContext   (top::BlockContext ::= sig::NamedSignature g::ProductionGraph )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 137.

(Undocumented.)

abstract production globalExprContext   (top::BlockContext ::= fn::String ctxs::Contexts ty::Type g::ProductionGraph )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 144.

(Undocumented.)

abstract production bogusContext   (top::BlockContext ::= g::ProductionGraph )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/BlockContext.sv line 152.

(Undocumented.)

terminal Annotation_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Annotation.sv line 1.

(Undocumented.)

concrete production annotationDcl   (top::AGDcl ::= 'annotation' a::QName tl::BracketedOptTypeExprs '::' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Annotation.sv line 7.

(Undocumented.)

nonterminal AspectProductionSignature

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 3.

(Undocumented.)

nonterminal AspectProductionLHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 4.

(Undocumented.)

nonterminal AspectFunctionSignature

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 6.

(Undocumented.)

nonterminal AspectFunctionLHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 7.

(Undocumented.)

nonterminal AspectRHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 9.

(Undocumented.)

nonterminal AspectRHSElem

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 10.

(Undocumented.)

inherited attribute realSignature :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 18.

(Undocumented.)

concrete production aspectProductionDcl   (top::AGDcl ::= 'aspect' 'production' id::QName ns::AspectProductionSignature body::ProductionBody )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 23.

(Undocumented.)

concrete production aspectFunctionDcl   (top::AGDcl ::= 'aspect' 'function' id::QName ns::AspectFunctionSignature body::ProductionBody )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 80.

(Undocumented.)

concrete production aspectProductionSignature   (top::AspectProductionSignature ::= lhs::AspectProductionLHS '::=' rhs::AspectRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 137.

(Undocumented.)

concrete production aspectProductionLHSNone   (top::AspectProductionLHS ::= '_' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 157.

(Undocumented.)

concrete production aspectProductionLHSId   (top::AspectProductionLHS ::= id::Name )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 164.

(Undocumented.)

concrete production aspectProductionLHSTyped   (top::AspectProductionLHS ::= id::Name '::' t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 177.

(Undocumented.)

abstract production aspectProductionLHSFull   (top::AspectProductionLHS ::= id::Name t::Type )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 190.

(Undocumented.)

concrete production aspectRHSElemNil   (top::AspectRHS ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 209.

(Undocumented.)

concrete production aspectRHSElemCons   (top::AspectRHS ::= h::AspectRHSElem t::AspectRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 218.

(Undocumented.)

concrete production aspectRHSElemNone   (top::AspectRHSElem ::= '_' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 232.

(Undocumented.)

concrete production aspectRHSElemId   (top::AspectRHSElem ::= id::Name )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 243.

(Undocumented.)

concrete production aspectRHSElemTyped   (top::AspectRHSElem ::= id::Name '::' t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 258.

(Undocumented.)

abstract production aspectRHSElemFull   (top::AspectRHSElem ::= id::Name t::Type )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 271.

(Undocumented.)

concrete production aspectFunctionSignature   (top::AspectFunctionSignature ::= lhs::AspectFunctionLHS '::=' rhs::AspectRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 290.

(Undocumented.)

concrete production functionLHSType   (top::AspectFunctionLHS ::= t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AspectDcl.sv line 309.

(Undocumented.)

lexer class Silver prefix separator ":"

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 5.

(Undocumented.)

lexer class IDENTIFIER extends {Silver}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 8.

(Undocumented.)

lexer class RESERVED dominates {IDENTIFIER}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 9.

(Undocumented.)

lexer class COMMENT extends {Silver, lsp:Comment}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 11.

(Undocumented.)

lexer class LITERAL extends {Silver}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 12.

(Undocumented.)

lexer class KEYWORD extends {Silver, lsp:Keyword}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 13.

(Undocumented.)

lexer class MODSTMT extends {Silver}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 14.

(Undocumented.)

lexer class OP extends {Silver, lsp:Operator}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 15.

(Undocumented.)

lexer class SPECOP extends {Silver, lsp:Keyword}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 16.

(Undocumented.)

lexer class BUILTIN extends {Silver, lsp:Keyword}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 17.

(Undocumented.)

lexer class TYPE extends {Silver, lsp:Type}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 18.

(Undocumented.)

lexer class MODIFIER extends {Silver, lsp:Modifier}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 19.

(Undocumented.)

terminal As_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 19.

(Undocumented.)

terminal Exports_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 21.

(Undocumented.)

terminal Grammar_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 22.

(Undocumented.)

terminal Hiding_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 23.

(Undocumented.)

terminal Import_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 24.

(Undocumented.)

terminal Imports_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 25.

(Undocumented.)

terminal Only_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 26.

(Undocumented.)

terminal Optional_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 27.

(Undocumented.)

terminal Abstract_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 28.

(Undocumented.)

terminal Aspect_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 32.

(Undocumented.)

terminal Attribute_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 33.

(Undocumented.)

terminal Class_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 34.

(Undocumented.)

terminal Closed_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 35.

(Undocumented.)

terminal Concrete_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 36.

(Undocumented.)

terminal Data_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 37.

(Undocumented.)

terminal Decorate_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 38.

(Undocumented.)

terminal Else_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 39.

(Undocumented.)

terminal End_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 40.

(Undocumented.)

terminal Forwarding_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 41.

(Undocumented.)

terminal Forward_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 42.

(Undocumented.)

terminal Forwards_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 43.

(Undocumented.)

terminal Function_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 44.

(Undocumented.)

terminal Global_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 45.

(Undocumented.)

terminal If_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 46.

(Undocumented.)

terminal Inherited_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 47.

(Undocumented.)

terminal Instance_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 48.

(Undocumented.)

terminal Local_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 49.

(Undocumented.)

terminal NonTerminal_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 50.

(Undocumented.)

terminal Occurs_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 51.

(Undocumented.)

terminal On_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 52.

(Undocumented.)

terminal Production_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 53.

(Undocumented.)

terminal Return_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 54.

(Undocumented.)

terminal Synthesized_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 55.

(Undocumented.)

terminal Terminal_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 56.

(Undocumented.)

terminal Then_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 57.

(Undocumented.)

terminal To_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 58.

(Undocumented.)

terminal Tracked_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 59.

(Undocumented.)

terminal Translation_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 60.

(Undocumented.)

terminal Type_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 61.

(Undocumented.)

terminal Undecorates_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 62.

(Undocumented.)

terminal With_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 63.

(Undocumented.)

terminal AttachNote_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 64.

(Undocumented.)

terminal Comma_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 66.

(Undocumented.)

terminal Or_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 68.

(Undocumented.)

terminal And_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 69.

(Undocumented.)

terminal Not_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 70.

(Undocumented.)

terminal GT_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 71.

(Undocumented.)

terminal LT_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 72.

(Undocumented.)

terminal GTEQ_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 73.

(Undocumented.)

terminal LTEQ_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 74.

(Undocumented.)

terminal EQEQ_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 75.

(Undocumented.)

terminal NEQ_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 76.

(Undocumented.)

terminal PlusPlus_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 77.

(Undocumented.)

terminal Plus_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 78.

(Undocumented.)

terminal Minus_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 79.

(Undocumented.)

terminal Multiply_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 80.

(Undocumented.)

terminal Divide_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 81.

(Undocumented.)

terminal Modulus_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 82.

(Undocumented.)

terminal ColonColon_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 83.

(Undocumented.)

terminal DecSite_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 84.

(Undocumented.)

terminal LParen_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 85.

(Undocumented.)

terminal RParen_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 86.

(Undocumented.)

terminal LCurly_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 87.

(Undocumented.)

terminal RCurly_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 88.

(Undocumented.)

terminal Dot_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 89.

(Undocumented.)

terminal Semi_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 90.

(Undocumented.)

terminal Colon_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 91.

(Undocumented.)

terminal UnderScore_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 92.

(Undocumented.)

terminal CCEQ_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 93.

(Undocumented.)

terminal Equal_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 95.

(Undocumented.)

terminal CtxArrow_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 96.

(Undocumented.)

terminal BlockComments

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 108.

(Undocumented.)

terminal Comments

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 109.

(Undocumented.)

terminal WhiteSpace

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 111.

(Undocumented.)

terminal LocationTag_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 113.

(Undocumented.)

terminal WarnTag_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 117.

(Undocumented.)

terminal IdLower_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 120.

(Undocumented.)

terminal IdUpper_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 122.

(Undocumented.)

terminal IdGrammarName_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 123.

(Undocumented.)

terminal IdVariable_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 126.

(Undocumented.)

terminal IdSigName_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 127.

(Undocumented.)

terminal IdSigNameDcl_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 128.

(Undocumented.)

terminal IdFnProd_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 129.

(Undocumented.)

terminal IdFnProdDcl_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 130.

(Undocumented.)

terminal IdType_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 131.

(Undocumented.)

terminal IdTypeDcl_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 132.

(Undocumented.)

terminal IdTypeClass_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 133.

(Undocumented.)

terminal IdTypeClassDcl_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 134.

(Undocumented.)

terminal IdTypeClassMember_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 135.

(Undocumented.)

terminal IdTypeClassMemberDcl_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 136.

(Undocumented.)

terminal True_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 137.

(Undocumented.)

terminal False_kwd

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 139.

(Undocumented.)

terminal Int_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 140.

(Undocumented.)

terminal Float_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 141.

(Undocumented.)

terminal String_t

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Terminals.sv line 142.

(Undocumented.)

nonterminal ModuleStmts

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 5.

(Undocumented.)

nonterminal ModuleStmt

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 6.

(Undocumented.)

nonterminal ImportStmt

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 8.

(Undocumented.)

nonterminal ImportStmts

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 9.

(Undocumented.)

nonterminal ModuleExpr

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 11.

(Undocumented.)

nonterminal ModuleName

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 12.

(Undocumented.)

nonterminal NameList

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 14.

(Undocumented.)

nonterminal WithElems

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 16.

(Undocumented.)

nonterminal WithElem

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 17.

(Undocumented.)

synthesized attribute names :: [String]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 27.

(Undocumented.)

synthesized attribute envMaps :: [Pair<String String>]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 31.

(Undocumented.)

nonterminal Module

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 34.

(Undocumented.)

abstract production module   (top::Module ::= need::[String] seen::[String] compiledGrammars::EnvTree<Decorated RootSpec> grammarDependencies::[String] asPrepend::String onlyFilter::[String] hidingFilter::[String] withRenames::[Pair<String String>] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 36.

(Undocumented.)

nonterminal ModuleExportedDefs

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 75.

(Undocumented.)

abstract production moduleExportedDefs   (top::ModuleExportedDefs ::= compiledGrammars::EnvTree<Decorated RootSpec> grammarDependencies::[String] need::[String] seen::[String] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 85.

(Undocumented.)

fun triggeredGrammars   ([String] ::= grammarDependencies::[String] trig::[[String]] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 116.

(Undocumented.)

concrete production importStmt   (top::ImportStmt ::= 'import' m::ModuleExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 127.

(Undocumented.)

concrete production nilImportStmts   (top::ImportStmts ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 143.

(Undocumented.)

concrete production consImportStmts   (top::ImportStmts ::= h::ImportStmt t::ImportStmts )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 149.

(Undocumented.)

abstract production appendImportStmts   (top::ImportStmts ::= h::ImportStmts t::ImportStmts )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 155.

(Undocumented.)

concrete production nilModuleStmts   (top::ModuleStmts ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 164.

(Undocumented.)

concrete production consModulesStmts   (top::ModuleStmts ::= h::ModuleStmt t::ModuleStmts )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 170.

(Undocumented.)

concrete production importsStmt   (top::ModuleStmt ::= 'imports' m::ModuleExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 176.

(Undocumented.)

concrete production exportsStmt   (top::ModuleStmt ::= 'exports' m::ModuleName ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 186.

(Undocumented.)

concrete production exportsWithStmt   (top::ModuleStmt ::= 'exports' m::QName 'with' c::QName ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 196.

(Undocumented.)

concrete production optionalStmt   (top::ModuleStmt ::= 'option' m::QName ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 216.

(Undocumented.)

concrete production moduleName   (top::ModuleName ::= pkg::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 236.

(Undocumented.)

concrete production moduleAll   (top::ModuleExpr ::= pkg::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 255.

(Undocumented.)

concrete production moduleAllWith   (top::ModuleExpr ::= pkg::QName 'with' wc::WithElems )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 271.

(Undocumented.)

concrete production moduleOnly   (top::ModuleExpr ::= pkg::QName 'only' ns::NameList )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 287.

(Undocumented.)

concrete production moduleOnlyWith   (top::ModuleExpr ::= pkg::QName 'only' ns::NameList 'with' wc::WithElems )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 303.

(Undocumented.)

concrete production moduleHiding   (top::ModuleExpr ::= pkg::QName 'hiding' ns::NameList )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 319.

(Undocumented.)

concrete production moduleHidingWith   (top::ModuleExpr ::= pkg::QName 'hiding' ns::NameList 'with' wc::WithElems )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 335.

(Undocumented.)

concrete production moduleAs   (top::ModuleExpr ::= pkg1::QName 'as' pkg2::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 351.

(Undocumented.)

concrete production withElemsOne   (top::WithElems ::= we::WithElem )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 371.

(Undocumented.)

concrete production withElemsCons   (top::WithElems ::= h::WithElem ',' t::WithElems )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 378.

(Undocumented.)

concrete production withElement   (top::WithElem ::= n::QName 'as' newname::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 386.

(Undocumented.)

concrete production nameListOne   (top::NameList ::= n::QName )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 396.

(Undocumented.)

concrete production nameListCons   (top::NameList ::= h::QName ',' t::NameList )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ModuleStmts.sv line 403.

(Undocumented.)

inherited attribute grammarName :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Attributes.sv line 6.

(Undocumented.)

monoid attribute jarName :: Maybe<String>

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Attributes.sv line 11.

(Undocumented.)

nonterminal Name

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Name.sv line 3.

(Undocumented.)

synthesized attribute name :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Name.sv line 8.

(Undocumented.)

concrete production nameIdLower   (top::Name ::= id::IdLower_t )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Name.sv line 10.

(Undocumented.)

concrete production nameIdUpper   (top::Name ::= id::IdUpper_t )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Name.sv line 17.

(Undocumented.)

function name   (Name ::= n::String )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Name.sv line 25.

(Undocumented.)

concrete production globalValueDclConcrete   (top::AGDcl ::= 'global' id::Name '::' cl::ConstraintList '=>' t::TypeExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GlobalDcl.sv line 5.

(Undocumented.)

concrete production globalValueDclConcreteNoCL   (top::AGDcl ::= 'global' id::Name '::' t::TypeExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/GlobalDcl.sv line 53.

(Undocumented.)

nonterminal Root

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Root.sv line 6.

(Undocumented.)

nonterminal GrammarDcl

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Root.sv line 18.

(Undocumented.)

concrete production root   (top::Root ::= gdcl::GrammarDcl ms::ModuleStmts ims::ImportStmts ags::AGDcls )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Root.sv line 24.

(Undocumented.)

concrete production noGrammarDcl   (top::GrammarDcl ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Root.sv line 48.

(Undocumented.)

concrete production grammarDcl_c   (top::GrammarDcl ::= 'grammar' qn::QName ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Root.sv line 55.

(Undocumented.)

nonterminal AGDcls

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 6.

(Undocumented.)

nonterminal AGDcl

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 7.

(Undocumented.)

concrete production nilAGDcls   (top::AGDcls ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 21.

(Undocumented.)

concrete production consAGDcls   (top::AGDcls ::= h::AGDcl t::AGDcls )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 27.

(Undocumented.)

abstract production emptyAGDcl   (top::AGDcl ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 42.

(Undocumented.)

abstract production errorAGDcl   (top::AGDcl ::= e::[Message] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 48.

(Undocumented.)

abstract production defsAGDcl   (top::AGDcl ::= d::[Def] )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 55.

(Undocumented.)

abstract production appendAGDcl   (top::AGDcl ::= h::AGDcl t::AGDcl )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 65.

(Undocumented.)

function makeAppendAGDclOfAGDcls   (AGDcl ::= dcls::AGDcls )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 74.

(Undocumented.)

abstract production jarNameDcl   (top::AGDcl ::= n::Name )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 83.

(Undocumented.)

aspect default production top::AGDcl ::= {#aspect_default_production_silver:compiler:definition:core:AGDcl}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 90.

(Undocumented.)

fun warnIfMultJarName   ([Message] ::= n1::Maybe<String> n2::Maybe<String> )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/AGDcl.sv line 96.

(Undocumented.)

nonterminal FunctionSignature

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/FunctionDcl.sv line 3.

(Undocumented.)

nonterminal FunctionLHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/FunctionDcl.sv line 4.

(Undocumented.)

concrete production functionDcl   (top::AGDcl ::= 'function' id::Name ns::FunctionSignature body::ProductionBody )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/FunctionDcl.sv line 8.

(Undocumented.)

concrete production functionSignature   (top::FunctionSignature ::= cl::ConstraintList '=>' lhs::FunctionLHS '::=' rhs::ProductionRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/FunctionDcl.sv line 48.

(Undocumented.)

concrete production functionSignatureNoCL   (top::FunctionSignature ::= lhs::FunctionLHS '::=' rhs::ProductionRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/FunctionDcl.sv line 74.

(Undocumented.)

concrete production functionLHS   (top::FunctionLHS ::= t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/FunctionDcl.sv line 84.

(Undocumented.)

concrete production typeAliasDecl   (top::AGDcl ::= 'type' id::Name tl::BracketedOptTypeExprs '=' te::TypeExpr ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/TypeDecl.sv line 3.

(Undocumented.)

nonterminal ProductionSignature

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 3.

(Undocumented.)

nonterminal ProductionLHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 4.

(Undocumented.)

nonterminal ProductionRHS

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 5.

(Undocumented.)

nonterminal ProductionRHSElem

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 6.

(Undocumented.)

inherited attribute deterministicCount :: Integer

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 21.

(Undocumented.)

synthesized attribute elementCount :: Integer

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 22.

(Undocumented.)

inherited attribute signatureName :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 27.

(Undocumented.)

synthesized attribute constraintDefs :: [Def]

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 33.

(Undocumented.)

parser attribute sigNames

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 38.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 40.

(Undocumented.)

concrete production productionSignature   (top::ProductionSignature ::= cl::ConstraintList '=>' lhs::ProductionLHS '::=' rhs::ProductionRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 97.

(Undocumented.)

concrete production productionSignatureNoCL   (top::ProductionSignature ::= lhs::ProductionLHS '::=' rhs::ProductionRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 121.

(Undocumented.)

concrete production productionLHS   (top::ProductionLHS ::= id::Name '::' t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 131.

(Undocumented.)

concrete production productionRHSNil   (top::ProductionRHS ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 149.

(Undocumented.)

concrete production productionRHSCons   (top::ProductionRHS ::= h::ProductionRHSElem t::ProductionRHS )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 158.

(Undocumented.)

concrete production productionRHSElem   (top::ProductionRHSElem ::= id::Name '::' t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 168.

(Undocumented.)

concrete production productionRHSElemType   (top::ProductionRHSElem ::= t::TypeExpr )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/ProductionDcl.sv line 186.

(Undocumented.)

synthesized attribute applicationDispatcher :: (Expr ::= Decorated! Expr Decorated! AppExprs Decorated! AnnoAppExprs)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Type.sv line 4.

(Undocumented.)

synthesized attribute accessHandler :: (Expr ::= Decorated! Expr Decorated! QNameAttrOccur)

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Type.sv line 7.

(Undocumented.)

aspect default production top::Type ::= {#aspect_default_production_silver:compiler:definition:type:Type}

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/Type.sv line 11.

(Undocumented.)

inherited attribute nonterminalName :: String

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 3.

(Undocumented.)

concrete production nonterminalDcl   (top::AGDcl ::= quals::NTDeclQualifiers 'nonterminal' id::Name tl::BracketedOptTypeExprs nm::NonterminalModifiers ';' )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 5.

(Undocumented.)

nonterminal NTDeclQualifiers

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 50.

(Undocumented.)

monoid attribute data :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 53.

(Undocumented.)

monoid attribute closed :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 54.

(Undocumented.)

monoid attribute tracked :: Boolean

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 55.

(Undocumented.)

concrete production nilNTQualifier   (top::NTDeclQualifiers ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 57.

(Undocumented.)

concrete production dataNTQualifier   (top::NTDeclQualifiers ::= 'data' rest::NTDeclQualifiers )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 62.

(Undocumented.)

concrete production closedNTQualifier   (top::NTDeclQualifiers ::= 'closed' rest::NTDeclQualifiers )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 69.

(Undocumented.)

concrete production trackedNTQualifier   (top::NTDeclQualifiers ::= 'tracked' rest::NTDeclQualifiers )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 76.

(Undocumented.)

nonterminal NonterminalModifiers

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 83.

(Undocumented.)

nonterminal NonterminalModifierList

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 84.

(Undocumented.)

closed nonterminal NonterminalModifier

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 85.

(Undocumented.)

concrete production nonterminalModifiersNone   (top::NonterminalModifiers ::= )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 90.

(Undocumented.)

concrete production nonterminalModifierSome   (top::NonterminalModifiers ::= nm::NonterminalModifierList )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 95.

(Undocumented.)

concrete production nonterminalModifierSingle   (top::NonterminalModifierList ::= nm::NonterminalModifier )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 101.

(Undocumented.)

concrete production nonterminalModifiersCons   (top::NonterminalModifierList ::= h::NonterminalModifier ',' t::NonterminalModifierList )

Contained in grammar [silver:compiler:definition:core]. Defined at silver/compiler/definition/core/NonTerminalDcl.sv line 106.

(Undocumented.)