nonterminal NameOrBOperator

In file: Collection.sv

nonterminal Operation

In file: Collection.sv

concrete production nameOperator

###### top::NameOrBOperator ::= q::QName In file: Collection.sv

concrete production plusplusOperator

###### top::NameOrBOperator ::= '++' In file: Collection.sv

concrete production borOperator

###### top::NameOrBOperator ::= '||' In file: Collection.sv

concrete production bandOperator

###### top::NameOrBOperator ::= '&&' In file: Collection.sv

abstract production functionOperation

###### top::Operation ::= s::String In file: Collection.sv

abstract production productionOperation

###### top::Operation ::= s::String In file: Collection.sv

abstract production plusPlusOperationString

###### top::Operation ::= In file: Collection.sv

abstract production plusPlusOperationList

###### top::Operation ::= In file: Collection.sv

abstract production borOperation

###### top::Operation ::= In file: Collection.sv

abstract production bandOperation

###### top::Operation ::= In file: Collection.sv

concrete production collectionAttributeDclSyn

###### top::AGDcl ::= 'synthesized' 'attribute' a::Name tl::BracketedOptTypeList '::' te::Type 'with' q::NameOrBOperator ';' In file: Collection.sv

concrete production collectionAttributeDclInh

###### top::AGDcl ::= 'inherited' 'attribute' a::Name tl::BracketedOptTypeList '::' te::Type 'with' q::NameOrBOperator ';' In file: Collection.sv

concrete production collectionAttributeDclProd

###### top::ProductionStmt ::= 'production' 'attribute' a::Name '::' te::Type 'with' q::NameOrBOperator ';' In file: Collection.sv

abstract production errorCollectionDefDispatcher

###### top::ProductionStmt ::= dl::Decorated DefLHS q::Decorated QNameAttrOccur e::Expr In file: Collection.sv

abstract production errorColNormalAttributeDef

###### top::ProductionStmt ::= dl::Decorated DefLHS q::Decorated QNameAttrOccur e::Expr In file: Collection.sv

abstract production errorCollectionValueDef

###### top::ProductionStmt ::= val::Decorated QName e::Expr In file: Collection.sv

abstract production errorColNormalValueDef

###### top::ProductionStmt ::= val::Decorated QName e::Expr In file: Collection.sv

abstract production baseCollectionValueDef

###### top::ProductionStmt ::= val::Decorated QName e::Expr In file: Collection.sv

abstract production appendCollectionValueDef

###### top::ProductionStmt ::= val::Decorated QName e::Expr In file: Collection.sv

abstract production synBaseColAttributeDef

###### top::ProductionStmt ::= dl::Decorated DefLHS attr::Decorated QNameAttrOccur e::Expr In file: Collection.sv

abstract production synAppendColAttributeDef

###### top::ProductionStmt ::= dl::Decorated DefLHS attr::Decorated QNameAttrOccur e::Expr In file: Collection.sv

abstract production inhBaseColAttributeDef

###### top::ProductionStmt ::= dl::Decorated DefLHS attr::Decorated QNameAttrOccur e::Expr In file: Collection.sv

abstract production inhAppendColAttributeDef

###### top::ProductionStmt ::= dl::Decorated DefLHS attr::Decorated QNameAttrOccur e::Expr In file: Collection.sv

concrete production attrContainsAppend

###### top::ProductionStmt ::= dl::DefLHS '.' attr::QNameAttrOccur '<-' e::Expr ';' In file: Collection.sv

concrete production attrContainsBase

###### top::ProductionStmt ::= dl::DefLHS '.' attr::QNameAttrOccur ':=' e::Expr ';' In file: Collection.sv

concrete production valContainsAppend

###### top::ProductionStmt ::= val::QName '<-' e::Expr ';' In file: Collection.sv

concrete production valContainsBase

###### top::ProductionStmt ::= val::QName ':=' e::Expr ';' In file: Collection.sv

attribute attrBaseDefDispatcher

In file: DclInfo.sv

attribute attrAppendDefDispatcher

In file: DclInfo.sv

attribute baseDefDispatcher

In file: DclInfo.sv

attribute appendDefDispatcher

In file: DclInfo.sv

abstract production synCollectionDcl

###### top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp o::Operation In file: DclInfo.sv

abstract production inhCollectionDcl

###### top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp o::Operation In file: DclInfo.sv

abstract production localCollectionDcl

###### top::DclInfo ::= sg::String sl::Location fn::String ty::TypeExp o::Operation In file: DclInfo.sv

function synColDef

###### Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp o::Operation In file: DclInfo.sv

function inhColDef

###### Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp o::Operation In file: DclInfo.sv

function localColDef

###### Def ::= sg::String sl::Location fn::String ty::TypeExp o::Operation In file: DclInfo.sv