kiama 0.9.0 API

This document is the API specification for kiama 0.9.0 API

Class Summary
trait Generator extends AnyRef
ScalaCheck generators for programs in the imperative language.
trait Parser extends CharPackratParsers with AnyRef
Parser to AST.
trait PrettyPrinter extends AnyRef
AST pretty-printing.
trait TestBase extends Generator with Parser with PrettyPrinter
Basis for tests using the imperative language. Includes support for generating random AST instances plus convenient access to the parser and pretty-printer.
Object Summary
object AST extends AnyRef
A simple imperative language abstract syntax designed for testing.
object Imperative extends ParsingREPL[Stmt] with Parser
A read-eval-print loop for parsing imperative programs and printing thei abstract synax trees.
object ImperativeGen extends GeneratingREPL[Stmt] with Generator with PrettyPrinter
A read-eval-print loop for generating random imperative statements.