[silver:compiler:modification:collection]

Contents of [silver:compiler:modification:collection]:

Defined in this grammar:

nonterminal NameOrBOperator

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 11.

(Undocumented.)


nonterminal Operation

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 12.

(Undocumented.)


synthesized attribute operation :: Operation

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 17.

(Undocumented.)


inherited attribute operatorForType :: Type

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 18.

(Undocumented.)


concrete production exprOperator   (top::NameOrBOperator ::= e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 20.

(Undocumented.)


concrete production plusplusOperator   (top::NameOrBOperator ::= '++' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 56.

(Undocumented.)


concrete production borOperator   (top::NameOrBOperator ::= '||' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 73.

(Undocumented.)


concrete production bandOperator   (top::NameOrBOperator ::= '&&' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 84.

(Undocumented.)


concrete production addOperator   (top::NameOrBOperator ::= '+' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 96.

(Undocumented.)


concrete production mulOperator   (top::NameOrBOperator ::= '*' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 108.

(Undocumented.)


abstract production functionOperation   (top::Operation ::= e::Expr eTrans::String trackConstruction::Boolean )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 122.

(Undocumented.)


abstract production plusPlusOperationString   (top::Operation ::= )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 130.

(Undocumented.)


abstract production plusPlusOperationList   (top::Operation ::= )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 133.

(Undocumented.)


abstract production borOperation   (top::Operation ::= )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 136.

(Undocumented.)


abstract production bandOperation   (top::Operation ::= )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 139.

(Undocumented.)


abstract production addOperation   (top::Operation ::= )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 142.

(Undocumented.)


abstract production mulOperation   (top::Operation ::= )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 145.

(Undocumented.)


concrete production collectionAttributeDclSyn   (top::AGDcl ::= 'synthesized' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 150.

(Undocumented.)


concrete production collectionAttributeDclInh   (top::AGDcl ::= 'inherited' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 177.

(Undocumented.)


concrete production collectionAttributeDclProd   (top::ProductionStmt ::= 'production' 'attribute' a::Name '::' te::TypeExpr 'with' q::NameOrBOperator ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 205.

(Undocumented.)


abstract production errorCollectionValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 227.

(Undocumented.)


abstract production errorColNormalValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 238.

(Undocumented.)


abstract production baseCollectionValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 252.

(Undocumented.)


abstract production appendCollectionValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 261.

(Undocumented.)


abstract production synBaseColAttributeDef   (top::ProductionStmt ::= dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 273.

(Undocumented.)


abstract production synAppendColAttributeDef   (top::ProductionStmt ::= dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 294.

(Undocumented.)


abstract production inhBaseColAttributeDef   (top::ProductionStmt ::= dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 318.

(Undocumented.)


abstract production inhAppendColAttributeDef   (top::ProductionStmt ::= dl::Decorated! DefLHS attr::Decorated! QNameAttrOccur e::Expr )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 339.

(Undocumented.)


terminal Contains_t

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 359.

(Undocumented.)


terminal BaseContains_t

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 363.

(Undocumented.)


concrete production attrContainsAppend   (top::ProductionStmt ::= dl::DefLHS '.' attr::QNameAttrOccur '<-' e::Expr ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 366.

(Undocumented.)


concrete production attrContainsBase   (top::ProductionStmt ::= dl::DefLHS '.' attr::QNameAttrOccur ':=' e::Expr ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 385.

(Undocumented.)


concrete production valContainsAppend   (top::ProductionStmt ::= val::QName '<-' e::Expr ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 404.

(Undocumented.)


concrete production valContainsBase   (top::ProductionStmt ::= val::QName ':=' e::Expr ';' )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/Collection.sv line 421.

(Undocumented.)


synthesized attribute isCollection :: Boolean

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 6.

(Undocumented.)


synthesized attribute attrBaseDefDispatcher :: (ProductionStmt ::= Decorated! DefLHS Decorated! QNameAttrOccur Expr)

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 8.

(Undocumented.)


synthesized attribute attrAppendDefDispatcher :: (ProductionStmt ::= Decorated! DefLHS Decorated! QNameAttrOccur Expr)

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 9.

(Undocumented.)


synthesized attribute baseDefDispatcher :: (ProductionStmt ::= Decorated! QName Expr)

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 11.

(Undocumented.)


synthesized attribute appendDefDispatcher :: (ProductionStmt ::= Decorated! QName Expr)

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 12.

(Undocumented.)


aspect default production top::AttributeDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:AttributeDclInfo}

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 14.

(Undocumented.)


aspect default production top::ValueDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:ValueDclInfo}

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 24.

(Undocumented.)


abstract production synCollectionDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type o::Operation )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 33.

(Undocumented.)


abstract production inhCollectionDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type o::Operation )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 58.

(Undocumented.)


abstract production localCollectionDcl   (top::ValueDclInfo ::= fn::String ty::Type o::Operation )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 84.

(Undocumented.)


global nonCollectionAttrBaseDefError

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 107.

(Undocumented.)


global nonCollectionAttrAppendDefError

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 111.

(Undocumented.)


global collectionAttrDefError

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 115.

(Undocumented.)


fun synColDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type o::Operation )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 121.

(Undocumented.)


fun inhColDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type o::Operation )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 123.

(Undocumented.)


fun localColDef   (Def ::= sg::String sl::Location fn::String ty::Type o::Operation )

Contained in grammar [silver:compiler:modification:collection]. Defined at silver/compiler/modification/collection/DclInfo.sv line 125.

(Undocumented.)