Minnesota Extensible Language Tools Group

[silver:reflect:concretesyntax]

Contents of [silver:reflect:concretesyntax]:

Defined in this grammar:

terminal Comma_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 4.

(Undocumented.)

terminal Equal_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 6.

(Undocumented.)

terminal Colon_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 7.

(Undocumented.)

terminal LParen_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 8.

(Undocumented.)

terminal RParen_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 9.

(Undocumented.)

terminal LSqr_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 10.

(Undocumented.)

terminal RSqr_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 11.

(Undocumented.)

terminal QName_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 12.

(Undocumented.)

lexer class ASTkwd

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 16.

(Undocumented.)

terminal Terminal_kwd

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 16.

(Undocumented.)

terminal True_kwd

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 17.

(Undocumented.)

terminal False_kwd

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 19.

(Undocumented.)

terminal Int_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 20.

(Undocumented.)

terminal Float_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 21.

(Undocumented.)

terminal String_t

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 22.

(Undocumented.)

terminal WhiteSpace

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 25.

(Undocumented.)

closed nonterminal AST_c

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 27.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_30_0   (=> top::AST_c ::= prodName::QName_t '(' children::ASTs_c ',' annotations::NamedASTs_c ')')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 29.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_37_0   (=> top::AST_c ::= prodName::QName_t '(' children::ASTs_c ')')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 36.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_43_0   (=> top::AST_c ::= prodName::QName_t '(' annotations::NamedASTs_c ')')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 42.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_49_0   (=> top::AST_c ::= prodName::QName_t '(' ')')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 48.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_55_0   (=> top::AST_c ::= 'terminal' '(' terminalName::QName_t ',' lexeme::String_t ',' location::AST_c ')')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 54.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_70_0   (=> top::AST_c ::= '[' vals::ASTs_c ']')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 69.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_76_0   (=> top::AST_c ::= '[' ']')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 75.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_82_0   (=> top::AST_c ::= s::String_t)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 81.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_88_0   (=> top::AST_c ::= i::Int_t)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 87.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_94_0   (=> top::AST_c ::= f::Float_t)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 93.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_100_0   (=> top::AST_c ::= 'true')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 99.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_106_0   (=> top::AST_c ::= 'false')

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 105.

(Undocumented.)

nonterminal ASTs_c

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 113.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_116_0   (=> top::ASTs_c ::= t::ASTs_c ',' h::AST_c)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 115.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_122_0   (=> top::ASTs_c ::= h::AST_c)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 121.

(Undocumented.)

nonterminal NamedASTs_c

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 129.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_132_0   (=> top::NamedASTs_c ::= t::NamedASTs_c ',' h::NamedAST_c)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 131.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_138_0   (=> top::NamedASTs_c ::= h::NamedAST_c)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 137.

(Undocumented.)

nonterminal NamedAST_c

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 145.

(Undocumented.)

concrete production p_silver_reflect_concretesyntax_ConcreteSyntax_sv_148_0   (=> top::NamedAST_c ::= n::QName_t '=' v::AST_c)

Contained in grammar [silver:reflect:concretesyntax]. Defined at silver/reflect/concretesyntax/ConcreteSyntax.sv line 147.

(Undocumented.)