[silver:compiler:extension:autoattr:convenience]
Contents of [silver:compiler:extension:autoattr:convenience]
:
Defined in this grammar:
concrete production functorAttributeDclMultiple
(top::AGDcl ::= 'functor' 'attribute' a::Name 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 12.
(Undocumented.)
concrete production monoidAttributeDclMultiple
(top::AGDcl ::= 'monoid' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' e::Expr ',' q::NameOrBOperator 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 22.
(Undocumented.)
concrete production tcMonoidAttributeDclMultiple
(top::AGDcl ::= 'monoid' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 32.
(Undocumented.)
concrete production destructAttributeDclMultiple
(top::AGDcl ::= 'destruct' 'attribute' a::Name 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 42.
(Undocumented.)
concrete production equalityAttributeDclMultiple
(top::AGDcl ::= 'equality' 'attribute' syn::Name 'with' inh::QName 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 52.
(Undocumented.)
concrete production orderingAttributeDclMultiple
(top::AGDcl ::= 'ordering' 'attribute' keySyn::Name ',' syn::Name 'with' inh::QName 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 62.
(Undocumented.)
concrete production destructEqualityAttributeDcl
(top::AGDcl ::= 'equality' 'attribute' inh::Name ',' syn::Name ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 75.
(Undocumented.)
concrete production destructEqualityAttributeDclMultiple
(top::AGDcl ::= 'equality' 'attribute' inh::Name ',' syn::Name 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 84.
(Undocumented.)
concrete production destructOrderingAttributeDcl
(top::AGDcl ::= 'ordering' 'attribute' inh::Name ',' keySyn::Name ',' syn::Name ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 93.
(Undocumented.)
concrete production destructOrderingAttributeDclMultiple
(top::AGDcl ::= 'ordering' 'attribute' inh::Name ',' keySyn::Name ',' syn::Name 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 102.
(Undocumented.)
concrete production biequalityAttributeDclMultiple
(top::AGDcl ::= 'biequality' 'attribute' synPartial::Name ',' syn::Name 'with' inh::QName 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 112.
(Undocumented.)
concrete production threadedAttributeDclMultiple
(top::AGDcl ::= 'threaded' 'attribute' inh::Name ',' syn::Name tl::BracketedOptTypeExprs '::' te::TypeExpr d::OptDirectionMod 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 124.
(Undocumented.)
concrete production collectionThreadedAttributeDclMultiple
(top::AGDcl ::= 'threaded' 'attribute' inh::Name ',' syn::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator d::OptDirectionMod 'occurs' 'on' qs::QNames ';'
)
Contained in grammar [silver:compiler:extension:autoattr:convenience]
. Defined at silver/compiler/extension/autoattr/convenience/Convenience.sv line 136.
(Undocumented.)