[silver:compiler:extension:silverconstruction]

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

Defined in this grammar:

terminal SilverExpr_t

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

(Undocumented.)


terminal SilverExprInh_t

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

(Undocumented.)


terminal SilverPattern_t

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

(Undocumented.)


terminal SilverAGDcl_t

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

(Undocumented.)


terminal SilverProductionStmt_t

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

(Undocumented.)


terminal SilverTypeExpr_t

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

(Undocumented.)


lexer class Antiquote extends {SPECOP}

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

(Undocumented.)


terminal AntiquoteExpr_t

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

(Undocumented.)


terminal AntiquoteExprInhs_t

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

(Undocumented.)


terminal AntiquoteTypeExpr_t

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

(Undocumented.)


terminal AntiquoteConstraintList_t

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

(Undocumented.)


terminal AntiquotePattern_t

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

(Undocumented.)


terminal AntiquoteFunctionSignature_t

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

(Undocumented.)


terminal AntiquoteProductionRHS_t

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

(Undocumented.)


terminal AntiquoteAspectRHS_t

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

(Undocumented.)


terminal AntiquoteProductionStmt_t

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

(Undocumented.)


terminal AntiquoteQName_t

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

(Undocumented.)


terminal AntiquoteQNameAttrOccur_t

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

(Undocumented.)


terminal AntiquoteName_t

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

(Undocumented.)


terminal Antiquote_qName_t

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

(Undocumented.)


terminal Antiquote_name_t

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

(Undocumented.)


concrete production quoteAGDcl   (top::Expr ::= 'Silver_AGDcl' '{' ast::AGDcl '}' )

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.)


concrete production quoteExpr   (top::Expr ::= 'Silver_Expr' '{' ast::Expr '}' )

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

(Undocumented.)


concrete production quoteExprInh   (top::Expr ::= 'Silver_ExprInh' '{' ast::ExprInh '}' )

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

(Undocumented.)


concrete production quotePattern   (top::Expr ::= 'Silver_Pattern' '{' ast::Pattern '}' )

Contained in grammar [silver:compiler:extension:silverconstruction]. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 39.

(Undocumented.)


concrete production quoteTypeExpr   (top::Expr ::= 'Silver_TypeExpr' '{' ast::TypeExpr '}' )

Contained in grammar [silver:compiler:extension:silverconstruction]. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 46.

(Undocumented.)


concrete production antiquoteExpr   (top::Expr ::= '$Expr' '{' e::Expr '}' )

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

(Undocumented.)


concrete production antiquoteExprInhs   (top::ExprInhs ::= '$ExprInhs' '{' e::Expr '}' )

Contained in grammar [silver:compiler:extension:silverconstruction]. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 62.

(Undocumented.)


concrete production antiquoteTypeExpr   (top::TypeExpr ::= '$TypeExpr' '{' e::Expr '}' )

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.)


concrete production antiquotePattern   (top::Pattern ::= '$Pattern' '{' e::Expr '}' )

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.)


concrete production antiquoteAspectRHS   (top::AspectRHS ::= '$AspectRHS' '{' e::Expr '}' )

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.)


concrete production antiquoteQName   (top::QName ::= '$QName' '{' e::Expr '}' )

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.)


concrete production antiquoteName   (top::Name ::= '$Name' '{' e::Expr '}' )

Contained in grammar [silver:compiler:extension:silverconstruction]. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 150.

(Undocumented.)


concrete production antiquote_qName   (top::QName ::= '$qName' '{' e::Expr '}' )

Contained in grammar [silver:compiler:extension:silverconstruction]. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 158.

(Undocumented.)


concrete production antiquote_name   (top::Name ::= '$name' '{' e::Expr '}' )

Contained in grammar [silver:compiler:extension:silverconstruction]. Defined at silver/compiler/extension/silverconstruction/Syntax.sv line 167.

(Undocumented.)