Minnesota Extensible Language Tools Group

[silver:testing]

Contents of [silver:testing]:

Defined in this grammar:

nonterminal Test

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 1.

(Undocumented.)

nonterminal TestSuite

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 4.

(Undocumented.)

synthesized attribute pass :: Boolean

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 9.

(Undocumented.)

synthesized attribute msg :: String

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 10.

(Undocumented.)

synthesized attribute numTests :: Integer

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 11.

(Undocumented.)

synthesized attribute numPassed :: Integer

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 12.

(Undocumented.)

synthesized attribute numFailed :: Integer

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 13.

(Undocumented.)

synthesized attribute ioOut :: IOToken

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 15.

(Undocumented.)

inherited attribute ioIn :: IOToken

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 16.

(Undocumented.)

abstract production defTest   (t::Test ::= )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 18.

(Undocumented.)

abstract production testsCollect   (t::TestSuite ::= tss::[TestSuite] )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 25.

(Undocumented.)

abstract production tests   (t::TestSuite ::= ts::[Test] )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 29.

(Undocumented.)

function testsAsNT   (TestSuite ::= ts::[Test] )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 34.

(Undocumented.)

function consolidateTestSuite   (TestSuite ::= ts::[TestSuite] )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 42.

(Undocumented.)

abstract production testNone   (ts::TestSuite ::= )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 50.

(Undocumented.)

abstract production testCons   (ts::TestSuite ::= t::Test rest::TestSuite )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 60.

(Undocumented.)

abstract production testSuiteNone   (ts::TestSuite ::= )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 81.

(Undocumented.)

abstract production testSuiteSeq   (ts::TestSuite ::= ts1::TestSuite ts2::TestSuite )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 91.

(Undocumented.)

function repeatTestTimes   (Boolean ::= f::(Boolean ::=) times::Integer )

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 104.

(Undocumented.)

class ShowTestValue

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 114.

(Undocumented.)

class ShowTestValue.showTestValue :: => (String ::= a)

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 115.

(Undocumented.)

instance ShowTestValue a

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 118.

(Undocumented.)

instance ShowTestValue a.showTestValue

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 119.

(Undocumented.)

instance ShowTestValue Decorated a with i

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 122.

(Undocumented.)

instance ShowTestValue Decorated a with i.showTestValue

Contained in grammar [silver:testing]. Defined at silver/testing/TestSuite.sv line 123.

(Undocumented.)