org.kiama.example.obr

tests

package tests

Visibility
  1. Public
  2. All

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.

  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