Minnesota Extensible Language Tools Group

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

abstract production propagateEquality   (top::ProductionStmt ::= inh::String syn::Decorated! QName )

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

abstract production propagateAspectDcl   (top::AGDcl ::= d::ValueDclInfo attrs::NameList )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 69.

(Undocumented.)

concrete production propagateAttrList   (top::ProductionStmt ::= 'propagate' ns::NameList ';' )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 105.

(Undocumented.)

abstract production propagateOneAttr   (top::ProductionStmt ::= attr::QName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 122.

(Undocumented.)

abstract production propagateError   (top::ProductionStmt ::= attr::Decorated! QName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 145.

(Undocumented.)

nonterminal ProdNameList

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 156.

(Undocumented.)

abstract production prodNameListNil   (top::ProdNameList ::= )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 159.

(Undocumented.)

concrete production prodNameListOne   (top::ProdNameList ::= n::QName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 166.

(Undocumented.)

concrete production prodNameListCons   (top::ProdNameList ::= h::QName ',' t::ProdNameList )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Propagate.sv line 182.

(Undocumented.)

synthesized attribute propagateDispatcher :: (ProductionStmt ::= Decorated! QName)

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 3.

(Undocumented.)

synthesized attribute emptyVal :: Expr

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

abstract production functorDcl   (top::AttributeDclInfo ::= fn::String )

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

abstract production destructDcl   (top::AttributeDclInfo ::= fn::String )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 67.

(Undocumented.)

abstract production equalityDcl   (top::AttributeDclInfo ::= inh::String syn::String )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 86.

(Undocumented.)

abstract production orderingKeyDcl   (top::AttributeDclInfo ::= syn::String )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/DclInfo.sv line 103.

(Undocumented.)

abstract production orderingDcl   (top::AttributeDclInfo ::= inh::String keySyn::String syn::String )

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

abstract production propagateOrderingKey   (top::ProductionStmt ::= syn::Decorated! QName )

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

abstract production propagateInh   (top::ProductionStmt ::= attr::Decorated! QName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Inherited.sv line 3.

(Undocumented.)

terminal Propagate_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 1.

(Undocumented.)

terminal Excluding_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 3.

(Undocumented.)

terminal Thread_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 4.

(Undocumented.)

terminal Direction_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 5.

(Undocumented.)

terminal Functor_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 6.

(Undocumented.)

terminal Monoid_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 8.

(Undocumented.)

terminal Destruct_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 9.

(Undocumented.)

terminal Equality_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 10.

(Undocumented.)

terminal Ordering_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 11.

(Undocumented.)

terminal Biequality_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 12.

(Undocumented.)

terminal Threaded_kwd

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Terminals.sv line 13.

(Undocumented.)

concrete production functorAttributeDcl   (top::AGDcl ::= 'functor' 'attribute' a::Name ';' )

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

abstract production propagateFunctor   (top::ProductionStmt ::= attr::Decorated! QName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Functor.sv line 56.

(Undocumented.)

function makeArg   (Expr ::= env::Env attrName::Decorated QName input::NamedSignatureElement )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Functor.sv line 91.

(Undocumented.)

function makeAnnoArg   (Pair<String Expr> ::= baseName::String input::NamedSignatureElement )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Functor.sv line 117.

(Undocumented.)

concrete production destructAttributeDcl   (top::AGDcl ::= 'destruct' 'attribute' inh::Name ';' )

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

abstract production propagateDestruct   (top::ProductionStmt ::= attr::Decorated! QName )

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

synthesized attribute reversed :: Boolean

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 79.

(Undocumented.)

nonterminal OptDirectionMod

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

nonterminal Direction

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

synthesized attribute ids :: [Name]

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 241.

(Undocumented.)

nonterminal ChildNameList

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 243.

(Undocumented.)

concrete production idSingle   (top::ChildNameList ::= id::ChildName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 244.

(Undocumented.)

concrete production idCons   (top::ChildNameList ::= id1::ChildName ',' id2::ChildNameList )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 251.

(Undocumented.)

synthesized attribute id :: Name

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 258.

(Undocumented.)

nonterminal ChildName

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 260.

(Undocumented.)

concrete production idName   (top::ChildName ::= id::Name )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Threaded.sv line 261.

(Undocumented.)

concrete production idForward   (top::ChildName ::= 'forward' )

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

synthesized attribute appendProd :: (Expr ::= Expr Expr)

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Monoid.sv line 76.

(Undocumented.)

abstract production propagateMonoid   (top::ProductionStmt ::= attr::Decorated! QName )

Contained in grammar [silver:compiler:extension:autoattr]. Defined at silver/compiler/extension/autoattr/Monoid.sv line 118.

(Undocumented.)