[silver:compiler:extension:strategyattr:construction]
Contents of [silver:compiler:extension:strategyattr:construction]
:
Defined in this grammar:
Contained in grammar [silver:compiler:extension:strategyattr:construction]
. Defined at silver/compiler/extension/strategyattr/construction/Construction.sv line 10.
(Undocumented.)
Contained in grammar [silver:compiler:extension:strategyattr:construction]
. Defined at silver/compiler/extension/strategyattr/construction/Construction.sv line 12.
(Undocumented.)
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.)
Contained in grammar [silver:compiler:extension:strategyattr:construction]
. Defined at silver/compiler/extension/strategyattr/construction/Construction.sv line 52.
(Undocumented.)