| Class Summary | |
trait
|
ControlFlow
extends AnyRef
Control flow interface.
|
trait
|
ControlFlowImpl
extends ControlFlow with AnyRef
Control flow implementation.
|
case class
|
For
(val init : Stm, val c : Stm, val inc : Stm, val body : Stm) extends Stm with scala.Product
|
case class
|
Foreach
(val cond : java.lang.String, val body : Stm) extends Stm with scala.Product
|
trait
|
Liveness
extends AnyRef
Variable liveness interface.
|
trait
|
LivenessImpl
extends Liveness with AnyRef
Variable liveness implementation.
|
trait
|
Variables
extends AnyRef
Variable use and definition interface.
|
trait
|
VariablesImpl
extends Variables with AnyRef
Variable use and definition implementation.
|
| Object Summary | |
object
|
Dataflow
extends LivenessImpl with VariablesImpl with ControlFlowImpl
|
object
|
DataflowAST
extends AnyRef
Imperative language AST for dataflow example.
|
object
|
DataflowFor
extends AnyRef
|
object
|
DataflowForeach
extends AnyRef
|
object
|
For
extends (Stm, Stm, Stm, Stm) => For
|
object
|
Foreach
extends (java.lang.String, Stm) => Foreach
|