dataflow

Type Members

1. trait ControlFlow extends AnyRef

   Control flow interface.

2. trait ControlFlowImpl extends ControlFlow

   Control flow implementation.

3. class DataflowForTests extends Tests

   Tests of extended data flow attribution.

4. class DataflowTests extends Driver with TestCompiler[Stm]

   Tests of data flow attribution.

5. class Driver extends Parser with Compiler[Stm]

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

6. case class For(init: Stm, c: Stm, inc: Stm, body: Stm) extends Stm with Product with Serializable

7. case class Foreach(cond: Var, body: Stm) extends Stm with Product with Serializable

8. trait Liveness extends AnyRef

   Variable liveness interface.

9. trait LivenessImpl extends Liveness

   Variable liveness implementation.

10. trait Parser extends PositionedParserUtilities

    Syntax analyser for simple imperative dataflow language.

11. trait Variables extends AnyRef

    Variable use and definition interface.

12. trait VariablesImpl extends Variables

    Variable use and definition implementation.