[silver:compiler:extension:silverconstruction]
Contents of [silver:compiler:extension:silverconstruction]
:
Defined in this grammar:
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 4.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 5.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 6.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 7.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 8.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 10.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 10.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 12.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 13.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 14.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 16.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 17.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 18.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 19.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 20.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 21.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 22.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 23.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Terminals.sv line 24.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 11.
(Undocumented.)
concrete production quoteProductionStmt
(top::Expr ::= 'Silver_ProductionStmt' '{' ast::ProductionStmt '}'
)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 18.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 25.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 32.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 39.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 46.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 53.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 62.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 70.
(Undocumented.)
concrete production antiquoteConstraintList
(top::ConstraintList ::= '$ConstraintList' '{' e::Expr '}'
)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 79.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 87.
(Undocumented.)
concrete production antiquoteFunctionSignature
(top::FunctionSignature ::= '$FunctionSignature' '{' e::Expr '}'
)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 96.
(Undocumented.)
concrete production antiquoteProductionRHS
(top::ProductionRHS ::= '$ProductionRHS' '{' e::Expr '}'
)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 107.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 114.
(Undocumented.)
concrete production antiquoteProductionStmt
(top::ProductionStmt ::= '$ProductionStmt' '{' e::Expr '}'
)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 121.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 131.
(Undocumented.)
concrete production antiquoteQNameAttrOccur
(top::QNameAttrOccur ::= '$QNameAttrOccur' '{' e::Expr '}'
)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 140.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 150.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 158.
(Undocumented.)
Contained in grammar [silver:compiler:extension:silverconstruction]
. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 167.
(Undocumented.)