dataflow

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.