trait LivenessImpl in kiama.example.dataflow

kiama.example.dataflow

trait LivenessImpl

[source: kiama/example/dataflow/LivenessImpl.scala]

trait LivenessImpl: extends Liveness with AnyRef

Variable liveness implementation.

Direct Known Subclasses:: Dataflow

Value Summary
`val`	in : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]] Variables "live" into a statement.
`val`	out : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]] Variables "live" out of a statement.

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Value Details

val in : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]]

Variables "live" into a statement.

Overrides: Liveness.in

val out : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]]

Variables "live" out of a statement.

Overrides: Liveness.out