[silver:compiler:modification:defaultattr]
Contents of [silver:compiler:modification:defaultattr]
:
Defined in this grammar:
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.)
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.)
Contained in grammar [silver:compiler:modification:defaultattr]
. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 86.
(Undocumented.)
Contained in grammar [silver:compiler:modification:defaultattr]
. Defined at silver/compiler/modification/defaultattr/DefaultAttr.sv line 88.
(Undocumented.)
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.)