[silver:compiler:extension:autoattr]
Contents of [silver:compiler:extension:autoattr]
:
Defined in this grammar:
concrete production biequalityAttributeDcl
(top::AGDcl ::= 'biequality' 'attribute' synPartial::Name ',' syn::Name 'with' inh::QName ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/BiEquality.sv line 3.
(Undocumented.)
abstract production biequalityInhAttributionDcl
(top::AGDcl ::= at::Decorated! QName attl::BracketedOptTypeExprs nt::QName nttl::BracketedOptTypeExprs
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/BiEquality.sv line 33.
(Undocumented.)
abstract production propagateBiequalitySynPartial
(top::ProductionStmt ::= inh::String synPartial::Decorated! QName syn::String
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/BiEquality.sv line 63.
(Undocumented.)
abstract production propagateBiequalitySyn
(top::ProductionStmt ::= inh::String synPartial::String syn::Decorated! QName
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/BiEquality.sv line 99.
(Undocumented.)
concrete production equalityAttributeDcl
(top::AGDcl ::= 'equality' 'attribute' syn::Name 'with' inh::QName ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Equality.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Equality.sv line 30.
(Undocumented.)
concrete production propagateOnNTListExcludingDcl_c
(top::AGDcl ::= 'propagate' attrs::NameList 'on' nts::NameList 'excluding' ps::ProdNameList ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 3.
(Undocumented.)
concrete production propagateOnNTListDcl_c
(top::AGDcl ::= 'propagate' attrs::NameList 'on' nts::NameList ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 13.
(Undocumented.)
abstract production propagateOnNTListDcl
(top::AGDcl ::= attrs::NameList nts::NameList ps::ProdNameList
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 22.
(Undocumented.)
abstract production propagateOnOneNTDcl
(top::AGDcl ::= attrs::NameList nt::QName ps::ProdNameList
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 41.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 69.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 105.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 122.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 145.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 156.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 159.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 166.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Propagate.sv line 182.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 5.
(Undocumented.)
aspect default production top::AttributeDclInfo ::=
{#aspect_default_production_silver:compiler:definition:env:AttributeDclInfo}
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 7.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 20.
(Undocumented.)
abstract production monoidDcl
(top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type empty::Expr append::Operation
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 38.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 67.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 86.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 103.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 120.
(Undocumented.)
abstract production biequalityPartialDcl
(top::AttributeDclInfo ::= inh::String synPartial::String syn::String
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 137.
(Undocumented.)
abstract production biequalityDcl
(top::AttributeDclInfo ::= inh::String synPartial::String syn::String
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 154.
(Undocumented.)
abstract production threadedInhDcl
(top::AttributeDclInfo ::= inh::String syn::String bound::[TyVar] ty::Type o::Maybe<Operation> rev::Boolean
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 171.
(Undocumented.)
abstract production threadedSynDcl
(top::AttributeDclInfo ::= inh::String syn::String bound::[TyVar] ty::Type o::Maybe<Operation> rev::Boolean
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 207.
(Undocumented.)
concrete production orderingAttributeDcl
(top::AGDcl ::= 'ordering' 'attribute' keySyn::Name ',' syn::Name 'with' inh::QName ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Ordering.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Ordering.sv line 37.
(Undocumented.)
abstract production propagateOrdering
(top::ProductionStmt ::= inh::String keySyn::String syn::Decorated! QName
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Ordering.sv line 53.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Inherited.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 1.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 4.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 5.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 6.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 8.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 9.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 10.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 11.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Terminals.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Functor.sv line 3.
(Undocumented.)
abstract production functorAttributionDcl
(top::AGDcl ::= at::Decorated! QName attl::BracketedOptTypeExprs nt::QName nttl::BracketedOptTypeExprs
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Functor.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Functor.sv line 56.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Functor.sv line 91.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Functor.sv line 117.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Destruct.sv line 3.
(Undocumented.)
abstract production destructAttributionDcl
(top::AGDcl ::= at::Decorated! QName attl::BracketedOptTypeExprs nt::QName nttl::BracketedOptTypeExprs
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Destruct.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Destruct.sv line 74.
(Undocumented.)
concrete production threadedAttributeDcl
(top::AGDcl ::= 'threaded' 'attribute' inh::Name ',' syn::Name tl::BracketedOptTypeExprs '::' te::TypeExpr d::OptDirectionMod ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 5.
(Undocumented.)
concrete production collectionThreadedAttributeDcl
(top::AGDcl ::= 'threaded' 'attribute' inh::Name ',' syn::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator d::OptDirectionMod ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 37.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 79.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 81.
(Undocumented.)
concrete production p_silver_compiler_extension_autoattr_Threaded_sv_83_0
(=> top::OptDirectionMod ::= 'direction' '=' d::Direction
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 82.
(Undocumented.)
concrete production p_silver_compiler_extension_autoattr_Threaded_sv_86_0
(=> top::OptDirectionMod ::=
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 85.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 90.
(Undocumented.)
concrete production p_silver_compiler_extension_autoattr_Threaded_sv_92_0
(=> top::Direction ::= 'left' 'to' 'right'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 91.
(Undocumented.)
concrete production p_silver_compiler_extension_autoattr_Threaded_sv_95_0
(=> top::Direction ::= 'right' 'to' 'left'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 94.
(Undocumented.)
abstract production propagateThreadedInh
(top::ProductionStmt ::= isCol::Boolean rev::Boolean inh::Decorated! QName syn::String
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 99.
(Undocumented.)
abstract production propagateThreadedSyn
(top::ProductionStmt ::= isCol::Boolean rev::Boolean inh::String syn::Decorated! QName
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 135.
(Undocumented.)
concrete production threadDcl_c
(top::ProductionStmt ::= 'thread' inh::QName ',' syn::QName 'on' children::ChildNameList ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 165.
(Undocumented.)
abstract production threadInhDcl
(top::ProductionStmt ::= isCol::Boolean inh::String syn::String children::[Name]
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 185.
(Undocumented.)
abstract production threadSynDcl
(top::ProductionStmt ::= isCol::Boolean inh::String syn::String children::[Name]
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 213.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 241.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 243.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 244.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 251.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 258.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 260.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 261.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Threaded.sv line 268.
(Undocumented.)
concrete production monoidAttributeDcl
(top::AGDcl ::= 'monoid' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' e::Expr ',' q::NameOrBOperator ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Monoid.sv line 6.
(Undocumented.)
concrete production tcMonoidAttributeDcl
(top::AGDcl ::= 'monoid' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr ';'
)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Monoid.sv line 65.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Monoid.sv line 76.
(Undocumented.)
Contained in grammar [silver:compiler:extension:autoattr]
. Defined at silver/compiler/extension/autoattr/Monoid.sv line 118.
(Undocumented.)