[silver:compiler:modification:collection]
Contents of [silver:compiler:modification:collection]
:
Defined in this grammar:
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 11.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 18.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 56.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 73.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 84.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 96.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 130.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 133.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 136.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 139.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 142.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 238.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 359.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 404.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/Collection.sv line 421.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 11.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 84.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 107.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 111.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 115.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 121.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 123.
(Undocumented.)
Contained in grammar [silver:compiler:modification:collection]
. Defined at silver/compiler/modification/collection/DclInfo.sv line 125.
(Undocumented.)