[silver:compiler:modification:defaultattr]

Contents of [silver:compiler:modification:defaultattr]:

Defined in this grammar:

terminal Default_kwd

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 14.

(Undocumented.)


concrete production aspectDefaultProduction   (top::AGDcl ::= 'aspect' 'default' 'production' ns::AspectDefaultProductionSignature body::ProductionBody )

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 18.

(Undocumented.)


nonterminal AspectDefaultProductionSignature

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 50.

(Undocumented.)


concrete production aspectDefaultProductionSignature   (top::AspectDefaultProductionSignature ::= lhs::Name '::' te::TypeExpr '::=' )

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 52.

(Undocumented.)


fun defaultLhsDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 86.

(Undocumented.)


abstract production defaultLhsDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 88.

(Undocumented.)


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

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 102.

(Undocumented.)


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

Contained in grammar [silver:compiler:modification:defaultattr]. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 125.

(Undocumented.)