Minnesota Extensible Language Tools Group

[silver:compiler:extension:strategyattr]

Contents of [silver:compiler:extension:strategyattr]:

Defined in this grammar:

inherited attribute givenGenName :: String

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

(Undocumented.)

concrete production partialStrategyAttributeDcl   (top::AGDcl ::= 'partial' 'strategy' 'attribute' a::Name '=' e::StrategyExpr_c ';' )

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

(Undocumented.)

concrete production totalStrategyAttributeDcl   (top::AGDcl ::= 'strategy' 'attribute' a::Name '=' e::StrategyExpr_c ';' )

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

(Undocumented.)

closed nonterminal StrategyExpr_c

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 21.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_24_0   (=> top::StrategyExpr_c ::= 'id')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 23.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_29_0   (=> top::StrategyExpr_c ::= 'fail')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 28.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_34_0   (=> top::StrategyExpr_c ::= s1::StrategyExpr_c '<*' s2::StrategyExpr_c)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 33.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_41_0   (=> top::StrategyExpr_c ::= s1::StrategyExpr_c '<+' s2::StrategyExpr_c)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 40.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_48_0   (=> top::StrategyExpr_c ::= 'all' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 47.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_54_0   (=> top::StrategyExpr_c ::= 'some' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 53.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_60_0   (=> top::StrategyExpr_c ::= 'one' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 59.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_66_0   (=> top::StrategyExpr_c ::= id::StrategyQName '(' s::StrategyExprs_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 65.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_73_0   (=> top::StrategyExpr_c ::= 'rec' n::Name Arrow_t s::StrategyExpr_c)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 72.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_79_0   (=> top::StrategyExpr_c ::= 'rule' 'on' id::Name '::' ty::TypeExpr 'of' Opt_Vbar_t ml::MRuleList 'end')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 78.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_84_0   (=> top::StrategyExpr_c ::= 'rule' 'on' ty::TypeExpr 'of' Opt_Vbar_t ml::MRuleList 'end')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 83.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_89_0   (=> top::StrategyExpr_c ::= id::StrategyQName)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 88.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_94_0   (=> top::StrategyExpr_c ::= '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 93.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_100_0   (=> top::StrategyExpr_c ::= 'printTerm')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 99.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_105_0   (=> top::StrategyExpr_c ::= 'try' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 104.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_111_0   (=> top::StrategyExpr_c ::= 'repeat' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 110.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_117_0   (=> top::StrategyExpr_c ::= 'reduce' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 116.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_123_0   (=> top::StrategyExpr_c ::= 'bottomUp' '(' s::StrategyExpr_c ')')

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

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_129_0   (=> top::StrategyExpr_c ::= 'topDown' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 128.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_135_0   (=> top::StrategyExpr_c ::= 'downUp' '(' s1::StrategyExpr_c ',' s2::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 134.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_142_0   (=> top::StrategyExpr_c ::= 'allBottomUp' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 141.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_148_0   (=> top::StrategyExpr_c ::= 'allTopDown' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 147.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_154_0   (=> top::StrategyExpr_c ::= 'allDownUp' '(' s1::StrategyExpr_c ',' s2::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 153.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_161_0   (=> top::StrategyExpr_c ::= 'someBottomUp' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 160.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_167_0   (=> top::StrategyExpr_c ::= 'someTopDown' '(' s::StrategyExpr_c ')')

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

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_173_0   (=> top::StrategyExpr_c ::= 'someDownUp' '(' s1::StrategyExpr_c ',' s2::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 172.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_180_0   (=> top::StrategyExpr_c ::= 'onceBottomUp' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 179.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_186_0   (=> top::StrategyExpr_c ::= 'onceTopDown' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 185.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_192_0   (=> top::StrategyExpr_c ::= 'onceDownUp' '(' s1::StrategyExpr_c ',' s2::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 191.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_199_0   (=> top::StrategyExpr_c ::= 'innermost' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 198.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_205_0   (=> top::StrategyExpr_c ::= 'outermost' '(' s::StrategyExpr_c ')')

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 204.

(Undocumented.)

inherited attribute index :: Integer

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 212.

(Undocumented.)

nonterminal StrategyExprs_c

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 214.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_216_0   (=> top::StrategyExprs_c ::= h::StrategyExpr_c ',' t::StrategyExprs_c)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 215.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_224_0   (=> top::StrategyExprs_c ::= h::StrategyExpr_c)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 223.

(Undocumented.)

concrete production p_silver_compiler_extension_strategyattr_ConcreteSyntax_sv_230_0   (=> top::StrategyExprs_c ::=)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 229.

(Undocumented.)

nonterminal StrategyQName

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 236.

(Undocumented.)

concrete production strategyQNameOne   (=> top::StrategyQName ::= id::StrategyName_t)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 238.

(Undocumented.)

concrete production strategyQNameCons   (=> top::StrategyQName ::= id::StrategyName_t ':' qn::StrategyQName)

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/ConcreteSyntax.sv line 240.

(Undocumented.)

abstract production strategyAttributeDcl   (top::AGDcl ::= isTotal::Boolean a::Name recVarNameEnv::[Pair<String String>] recVarTotalEnv::[Pair<String Boolean>] e::StrategyExpr )

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

(Undocumented.)

abstract production strategyAttributionDcl   (top::AGDcl ::= at::Decorated! QName attl::BracketedOptTypeExprs nt::QName nttl::BracketedOptTypeExprs )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/Strategy.sv line 58.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/Strategy.sv line 120.

(Undocumented.)

synthesized attribute isStrategy :: Boolean

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

(Undocumented.)

synthesized attribute containsErrors :: Boolean

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

(Undocumented.)

synthesized attribute liftedStrategyNames :: [String]

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

(Undocumented.)

synthesized attribute givenRecVarNameEnv :: [Pair<String String>]

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

(Undocumented.)

synthesized attribute givenRecVarTotalEnv :: [Pair<String Boolean>]

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

(Undocumented.)

synthesized attribute strategyExpr :: StrategyExpr

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

(Undocumented.)

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

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

(Undocumented.)

abstract production strategyDcl   (top::AttributeDclInfo ::= fn::String isTotal::Boolean containsErrors::Boolean liftedStrategyNames::[String] givenRecVarNameEnv::[Pair<String String>] givenRecVarTotalEnv::[Pair<String Boolean>] partialRefs::[String] totalRefs::[String] containsTraversal::Boolean e::StrategyExpr )

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

(Undocumented.)

annotation genName :: String

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

(Undocumented.)

inherited attribute recVarNameEnv :: [Pair<String String>]

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

(Undocumented.)

inherited attribute recVarTotalEnv :: [Pair<String Boolean>]

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

(Undocumented.)

inherited attribute recVarTotalNoEnvEnv :: [Pair<String Boolean>]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 14.

(Undocumented.)

inherited attribute isOutermost :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 15.

(Undocumented.)

inherited attribute outerAttr :: String

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 16.

(Undocumented.)

inherited attribute inlinedStrategies :: [String]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 17.

(Undocumented.)

type LiftedInhs

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 18.

(Undocumented.)

monoid attribute liftedStrategies :: [(String,Decorated StrategyExpr with LiftedInhs)]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 19.

(Undocumented.)

synthesized attribute attrRefName :: Maybe<String>

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 20.

(Undocumented.)

synthesized attribute isId :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 21.

(Undocumented.)

synthesized attribute isFail :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 22.

(Undocumented.)

synthesized attribute isTotal :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 23.

(Undocumented.)

synthesized attribute isTotalNoEnv :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 24.

(Undocumented.)

inherited attribute givenInputElements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 25.

(Undocumented.)

synthesized attribute attrRefNames :: [Maybe<String>]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 26.

(Undocumented.)

monoid attribute containsFail :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 27.

(Undocumented.)

monoid attribute allId :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 28.

(Undocumented.)

monoid attribute freeRecVars :: [String]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 29.

(Undocumented.)

monoid attribute partialRefs :: [String]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 30.

(Undocumented.)

monoid attribute totalRefs :: [String]

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 31.

(Undocumented.)

monoid attribute matchesFrame :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 32.

(Undocumented.)

monoid attribute containsTraversal :: Boolean

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 33.

(Undocumented.)

synthesized attribute partialTranslation :: Expr

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 35.

(Undocumented.)

synthesized attribute totalTranslation :: Expr

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 36.

(Undocumented.)

nonterminal StrategyExpr

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 115.

(Undocumented.)

nonterminal StrategyExprs

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 121.

(Undocumented.)

fun asPartial   (Expr ::= e::Expr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 161.

(Undocumented.)

fun asTotal   (Expr ::= t::Type e::Expr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 164.

(Undocumented.)

aspect default production top::StrategyExpr ::= {#aspect_default_production_silver:compiler:extension:strategyattr:StrategyExpr}

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 172.

(Undocumented.)

abstract production id   (top::StrategyExpr ::= )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 188.

(Undocumented.)

abstract production fail   (top::StrategyExpr ::= )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 199.

(Undocumented.)

abstract production sequence   (top::StrategyExpr ::= s1::StrategyExpr s2::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 208.

(Undocumented.)

abstract production choice   (top::StrategyExpr ::= s1::StrategyExpr s2::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 276.

(Undocumented.)

abstract production allTraversal   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 301.

(Undocumented.)

abstract production someTraversal   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 388.

(Undocumented.)

abstract production oneTraversal   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 466.

(Undocumented.)

abstract production prodTraversal   (top::StrategyExpr ::= prod::QName s::StrategyExprs )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 563.

(Undocumented.)

abstract production consStrategyExpr   (top::StrategyExprs ::= h::StrategyExpr t::StrategyExprs )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 641.

(Undocumented.)

abstract production nilStrategyExpr   (top::StrategyExprs ::= )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 676.

(Undocumented.)

abstract production recComb   (top::StrategyExpr ::= n::Name s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 685.

(Undocumented.)

abstract production rewriteRule   (top::StrategyExpr ::= id::Name ty::TypeExpr ml::MRuleList )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 732.

(Undocumented.)

abstract production hackLHSExprType   (top::Expr ::= t::Type )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 799.

(Undocumented.)

synthesized attribute translation<a> :: a

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 810.

(Undocumented.)

aspect default production top::Pattern ::= {#aspect_default_production_silver:compiler:extension:patternmatching:Pattern}

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 851.

(Undocumented.)

abstract production nameRef   (top::StrategyExpr ::= id::QName )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 864.

(Undocumented.)

abstract production errorRef   (top::StrategyExpr ::= msg::[Message] id::Decorated QName )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 887.

(Undocumented.)

abstract production recVarRef   (top::StrategyExpr ::= id::Decorated QName )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 898.

(Undocumented.)

abstract production partialRef   (top::StrategyExpr ::= attr::QNameAttrOccur )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 917.

(Undocumented.)

abstract production totalRef   (top::StrategyExpr ::= attr::QNameAttrOccur )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 953.

(Undocumented.)

abstract production inlined   (top::StrategyExpr ::= attr::Decorated QNameAttrOccur s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 988.

(Undocumented.)

function attrIsTotal   (Boolean ::= env::Env attrName::String )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 1017.

(Undocumented.)

fun attrMatchesFrame   (Boolean ::= env::Env attrName::String attrFor::Type )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 1032.

(Undocumented.)

function attrMatchesChild   (Boolean ::= env::Env attrName::String frame::BlockContext )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 1036.

(Undocumented.)

instance Eq StrategyExpr

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 1046.

(Undocumented.)

instance Eq StrategyExpr.eq

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyExpr.sv line 1047.

(Undocumented.)

terminal Strategy_kwd

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

(Undocumented.)

terminal Partial_kwd

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

(Undocumented.)

terminal Sequence_t

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

(Undocumented.)

terminal Choice_t

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

(Undocumented.)

lexer class Strategy dominates {StrategyName_t}

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

(Undocumented.)

terminal Id_t

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

(Undocumented.)

terminal Fail_t

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

(Undocumented.)

terminal All_t

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

(Undocumented.)

terminal Some_t

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

(Undocumented.)

terminal One_t

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

(Undocumented.)

terminal Rule_t

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

(Undocumented.)

terminal Rec_t

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

(Undocumented.)

terminal PrintTerm_t

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

(Undocumented.)

terminal Try_t

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

(Undocumented.)

terminal Repeat_t

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

(Undocumented.)

terminal Reduce_t

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

(Undocumented.)

terminal BottomUp_t

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

(Undocumented.)

terminal TopDown_t

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

(Undocumented.)

terminal DownUp_t

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

(Undocumented.)

terminal AllBottomUp_t

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

(Undocumented.)

terminal AllTopDown_t

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

(Undocumented.)

terminal AllDownUp_t

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

(Undocumented.)

terminal SomeBottomUp_t

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

(Undocumented.)

terminal SomeTopDown_t

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

(Undocumented.)

terminal SomeDownUp_t

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

(Undocumented.)

terminal OnceBottomUp_t

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

(Undocumented.)

terminal OnceTopDown_t

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

(Undocumented.)

terminal OnceDownUp_t

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

(Undocumented.)

terminal Innermost_t

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

(Undocumented.)

terminal Outermost_t

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

(Undocumented.)

terminal StrategyName_t

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

(Undocumented.)

abstract production printTerm   (top::StrategyExpr ::= )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 7.

(Undocumented.)

abstract production try   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 26.

(Undocumented.)

abstract production repeatS   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 35.

(Undocumented.)

abstract production reduce   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 45.

(Undocumented.)

abstract production bottomUp   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 55.

(Undocumented.)

abstract production topDown   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 65.

(Undocumented.)

abstract production downUp   (top::StrategyExpr ::= s1::StrategyExpr s2::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 75.

(Undocumented.)

abstract production allBottomUp   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 85.

(Undocumented.)

abstract production allTopDown   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 95.

(Undocumented.)

abstract production allDownUp   (top::StrategyExpr ::= s1::StrategyExpr s2::StrategyExpr )

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

(Undocumented.)

abstract production someBottomUp   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 115.

(Undocumented.)

abstract production someTopDown   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 125.

(Undocumented.)

abstract production someDownUp   (top::StrategyExpr ::= s1::StrategyExpr s2::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 135.

(Undocumented.)

abstract production onceBottomUp   (top::StrategyExpr ::= s::StrategyExpr )

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

(Undocumented.)

abstract production onceTopDown   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 155.

(Undocumented.)

abstract production onceDownUp   (top::StrategyExpr ::= s1::StrategyExpr s2::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 165.

(Undocumented.)

abstract production innermost   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 175.

(Undocumented.)

abstract production outermost   (top::StrategyExpr ::= s::StrategyExpr )

Contained in grammar [silver:compiler:extension:strategyattr]. Defined at silver/compiler/extension/strategyattr/StrategyUtils.sv line 185.

(Undocumented.)