Packages

  • package root
    Definition Classes
    root
  • package org
    Definition Classes
    root
  • package kiama

    Kiama is a Scala library for language processing.

    Kiama is a Scala library for language processing. It is a project of the Programming Languages Research Group at Macquarie University. For full project details see the web site http://kiama.googlecode.com.

    Kiama's main components address tree decoration via attribute grammars (package attribution), tree transformation via strategic term rewriting (package rewriting), dynamic semantics (package machine) and pretty-printing (package output).

    The util package contains support modules for parsing, input/output, read-eval-print loops (REPLs) and pattern matching.

    The examples package (available as part of the Kiama tests) contains many examples of using Kiama to solve small to medium language processing problems.

    Definition Classes
    org
  • package attribution
    Definition Classes
    kiama
  • package machine
    Definition Classes
    kiama
  • InconsistentUpdateException
  • Machine
  • package output
    Definition Classes
    kiama
  • package rewriting
    Definition Classes
    kiama
  • package util
    Definition Classes
    kiama
p

org.kiama

machine

package machine

Type Members

  1. class InconsistentUpdateException extends Exception

    A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values.

    A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values. m is the machine that performed the update, updates is all of the updates for the key that was updated inconsistently.

  2. abstract class Machine extends PrettyPrinter

    A deterministic abstract state machine defined by its main rule and called name.

    A deterministic abstract state machine defined by its main rule and called name. Tracing messages are output to the given emitter, which defaults to standard error. You should avoid accessing a single machine frmom multiple threads since the machine encapsulates state and updates. Machines are designed to be used in a single-threaded fashion.

Ungrouped