Packages

p

org.kiama.example

imperative

package imperative

Ordering
  1. Alphabetic
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.

    Imperative language tests pretty-printer tests. Quite a few of the tests of other modules also use the imperative language.

  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.

    A version of the imperative expression abstract syntax built without using case classes. Used for testing on non-case class data structures.

  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