[silver:testing]

Contents of [silver:testing]:

Defined in this grammar:

nonterminal Test

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

(Undocumented.)


nonterminal TestSuite

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

(Undocumented.)


synthesized attribute pass :: Boolean

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

(Undocumented.)


synthesized attribute msg :: String

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

(Undocumented.)


synthesized attribute numTests :: Integer

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

(Undocumented.)


synthesized attribute numPassed :: Integer

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

(Undocumented.)


synthesized attribute numFailed :: Integer

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

(Undocumented.)


synthesized attribute ioOut :: IO

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

(Undocumented.)


inherited attribute ioIn :: IO

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


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

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

(Undocumented.)


class ShowTestValue

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

(Undocumented.)


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

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

(Undocumented.)


instance ShowTestValue a

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

(Undocumented.)


instance ShowTestValue a.showTestValue

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

(Undocumented.)


instance ShowTestValue Decorated i a

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

(Undocumented.)


instance ShowTestValue Decorated i a.showTestValue

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

(Undocumented.)