org.kiama.example

grammar

package grammar

Visibility
  1. Public
  2. All

Type Members

  1. trait PrettyPrinter extends output.PrettyPrinter

    Abstract syntax tree pretty-printing for grammars.

  2. class SemanticAnalyser extends AnyRef

    Perform name analysis checks for the grammar language.

    Perform name analysis checks for the grammar language. Also, define auxiliary properties nullability, first and follow for grammar symbols. The latter are based on definitions found in the paper "Circular Reference Attributed Grammars - their Evaluation and Applications", by Magnusson and Hedin from LDTA 2003.

  3. class SemanticAnalyserTests extends Tests

    Tests of grammar semantic analysis.

Value Members

  1. object GrammarTree

    Simple context-free grammar abstract syntax.

  2. object PrettyPrinter extends PrettyPrinter

    Abstract syntax tree pretty-printing for grammars.

  3. object SymbolTable extends Environments

    Symbol table module containing facilities for creating and manipulating grammar symbol information.

Ungrouped