Packages

package tests

Type Members

  1. class ObrExecTests extends Driver with TestCompilerWithConfig[ObrInt, ObrConfig]

    Obr tests: compilation and execution.

  2. class ObrNumberingTests extends Driver with TreeTestDriver

    Obr tests: check that exception and enumeration numbers are correct.

    Obr tests: check that exception and enumeration numbers are correct. Simply compiles the files except8.obr and enumtest2.obr then collects together the list of integers which occur in the IntDatum leaves of the resulting RISCTrees (in bottom up, left to right post-order). Having done that it then checks that list to see if the integers that should be attached to applied uses of each constant of the original source file occur in an appropriate order.

  3. class ObrParserTests extends ParserDriver with TestCompilerWithConfig[ObrInt, ObrConfig]

    Obr parser tests.

  4. class ObrRegressionTests extends Driver with TestCompilerWithConfig[ObrInt, ObrConfig]

    Obr regression tests: compilation to assembly.

  5. class ObrSemanticTests extends SemanticDriver with TestCompilerWithConfig[ObrInt, ObrConfig]

    Obr semantic analysis tests.

Ungrouped