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::Type o::Operation

In file: DclInfo.sv

abstract production inhCollectionDcl

top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type o::Operation

In file: DclInfo.sv

abstract production localCollectionDcl

top::DclInfo ::= sg::String sl::Location fn::String ty::Type o::Operation

In file: DclInfo.sv

function synColDef

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

In file: DclInfo.sv

function inhColDef

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

In file: DclInfo.sv

function localColDef

Def ::= sg::String sl::Location fn::String ty::Type o::Operation

In file: DclInfo.sv

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::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator ';'

In file: Collection.sv

concrete production collectionAttributeDclInh

top::AGDcl ::= 'inherited' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr 'with' q::NameOrBOperator ';'

In file: Collection.sv

concrete production collectionAttributeDclProd

top::ProductionStmt ::= 'production' 'attribute' a::Name '::' te::TypeExpr 'with' q::NameOrBOperator ';'

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