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 SyntaxAnalyser extends PositionedParserUtilities

    Parser to abstract syntax tree for the imperative language.

Value Members

  1. object Imperative extends ParsingREPL[Stmt] with SyntaxAnalyser

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

  2. object ImperativeGen extends GeneratingREPL[Stmt] with Generator

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

  3. object ImperativeNonCaseTree

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

  4. object ImperativeTree

    A simple imperative language abstract syntax designed for testing.

  5. object PrettyPrinter extends PrettyPrinter

    Abstract syntax tree pretty-printing for the imperative language.

Ungrouped