Packages

p

org.kiama.example

dataflow

package dataflow

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait ControlFlow extends AnyRef

    Control flow interface.

  2. trait ControlFlowImpl extends ControlFlow

    Control flow implementation.

  3. trait Dataflow extends LivenessImpl with VariablesImpl with ControlFlowImpl
  4. trait DataflowFor extends Dataflow
  5. class DataflowForTests extends DataflowFor with Tests

    Tests of extended data flow attribution.

  6. class DataflowTests extends Driver with Dataflow with TestCompiler[Stm]

    Tests of data flow attribution.

  7. class Driver extends SyntaxAnalyser with Compiler[Stm]

    Parse a simple imperative language program, calculate its dataflow relations and use them to remove dead assignments.

  8. case class For (init: Stm, c: Stm, inc: Stm, body: Stm) extends Stm with Product with Serializable
  9. case class Foreach (cond: Var, body: Stm) extends Stm with Product with Serializable
  10. trait Liveness extends AnyRef

    Variable liveness interface.

  11. trait LivenessImpl extends Liveness

    Variable liveness implementation.

  12. class SyntaxAnalyser extends PositionedParserUtilities

    Syntax analyser for simple imperative dataflow language.

  13. trait Variables extends AnyRef

    Variable use and definition interface.

  14. trait VariablesImpl extends Variables

    Variable use and definition implementation.

Value Members

  1. object DataflowTree

    Imperative language AST for dataflow example.

  2. object Main extends Driver

    Dataflow language implementation main program.

  3. object Optimiser extends Dataflow

    Optimise a dataflow program.

    Optimise a dataflow program. Currently: a) eliminate assignments to variables that are not live out of the assignment and b) remove empty statements from sequences.

Ungrouped