[silver:compiler:extension:testing]

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

Defined in this grammar:

fun mkNameExpr   (Expr ::= name::String )

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

(Undocumented.)


fun foldStringExprs   (Expr ::= es::[Expr] )

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

(Undocumented.)


fun strCnst   (Expr ::= s::String )

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

(Undocumented.)


fun attrAcc   (Expr ::= n::String a::String )

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/Helper.sv line 28.

(Undocumented.)


terminal EqualityTest_t

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

(Undocumented.)


concrete production equalityTest2_p   (ag::AGDcl ::= kwd::'equalityTest' '(' value::Expr ',' expected::Expr ',' valueType::TypeExpr ',' testSuite::Name ')' ';' )

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

(Undocumented.)


terminal MainTestSuite_t

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/MainTestSuite.sv line 11.

(Undocumented.)


terminal MakeTestSuite_t

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

(Undocumented.)


concrete production makeTestSuite_p   (top::AGDcl ::= 'makeTestSuite' nme::IdLower_t ';' )

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

(Undocumented.)


concrete production mainTestSuite_p   (top::AGDcl ::= 'mainTestSuite' nme::IdLower_t ';' )

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/MainTestSuite.sv line 52.

(Undocumented.)


terminal WrongCode_kwd

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

(Undocumented.)


terminal WarnCode_kwd

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

(Undocumented.)


terminal NoWarnCode_kwd

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/WrongCode.sv line 9.

(Undocumented.)


terminal WrongFlowCode_kwd

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

(Undocumented.)


fun containsMessage   (Boolean ::= text::String severity::Integer msgs::[Message] )

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

(Undocumented.)


concrete production wrongDecl   (top::AGDcl ::= 'wrongCode' s::String_t '{' ags::AGDcls '}' )

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

(Undocumented.)


concrete production warnDecl   (top::AGDcl ::= 'warnCode' s::String_t '{' ags::AGDcls '}' )

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/WrongCode.sv line 33.

(Undocumented.)


concrete production noWarnDecl   (top::AGDcl ::= 'noWarnCode' s::String_t '{' ags::AGDcls '}' )

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/WrongCode.sv line 56.

(Undocumented.)


concrete production wrongFlowDecl   (top::AGDcl ::= 'wrongFlowCode' s::String_t '{' ags::AGDcls '}' )

Contained in grammar [silver:compiler:extension:testing]. Defined at silver/compiler/extension/testing/WrongCode.sv line 78.

(Undocumented.)