[silver:compiler:extension:strategyattr:construction]

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

Defined in this grammar:

terminal SilverStrategyExpr_t

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

(Undocumented.)


terminal AntiquoteStrategyExpr_t

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

(Undocumented.)


terminal AntiquoteStrategyQName_t

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

(Undocumented.)


concrete production quoteStrategyExpr   (top::Expr ::= 'Silver_StrategyExpr' '(' genName::Expr ')' '{' cst::StrategyExpr_c '}' )

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

(Undocumented.)


concrete production antiquoteStrategyExpr_c   (top::StrategyExpr_c ::= '$StrategyExpr' '{' e::Expr '}' )

Contained in grammar [silver:compiler:extension:strategyattr:construction]. Defined at silver/compiler/extension/strategyattr/construction/Construction.sv line 39.

(Undocumented.)


concrete production antiquote_strategyQName   (top::StrategyQName ::= '$strategyQName' '{' e::Expr '}' )

Contained in grammar [silver:compiler:extension:strategyattr:construction]. Defined at silver/compiler/extension/strategyattr/construction/Construction.sv line 46.

(Undocumented.)


abstract production antiquoteStrategyExpr   (top::StrategyExpr ::= e::Expr )

Contained in grammar [silver:compiler:extension:strategyattr:construction]. Defined at silver/compiler/extension/strategyattr/construction/Construction.sv line 52.

(Undocumented.)