org.kiama.example.obr

tests

package tests

Visibility
  1. Public
  2. All

Type Members

  1. class ObrExecTests extends Driver with TestCompiler[ObrInt]

    Obr tests: compilation and execution.

  2. class ObrNumberingTest extends TreeTestDriver

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

  3. class ObrParserTests extends ParserDriver with TestCompiler[ObrInt]

    Obr parser tests.

  4. class ObrRegressionTests extends Driver with TestCompiler[ObrInt]

    Obr regression tests: compilation to assembly.

  5. class ObrSemanticTests extends SemanticDriver with TestCompiler[ObrInt]

    Obr semantic analysis tests.

No Group