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.