org.kiama.example

imperative

package imperative

Visibility
  1. Public
  2. All

Type Members

  1. trait Generator extends AnyRef

    ScalaCheck generators for programs in the imperative language.

  2. class ImperativeTests extends Tests

    Imperative language tests pretty-printer tests.

  3. trait Parser extends PositionedParserUtilities

    Parser to AST.

  4. trait TestBase extends Generator with Parser

    Basis for tests using the imperative language.

Value Members

  1. object AST

    A simple imperative language abstract syntax designed for testing.

  2. object ASTNonCase

    A version of the imperative expression abstract syntax built without using case classes.

  3. object Imperative extends ParsingREPL[Stmt] with Parser

    A read-eval-print loop for parsing imperative programs and printing thei abstract synax trees.

  4. object ImperativeGen extends GeneratingREPL[Stmt] with Generator

    A read-eval-print loop for generating random imperative statements.

  5. object PrettyPrinter extends PrettyPrinter

    AST pretty-printing.

No Group