[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.)