trait Liveness in kiama.example.dataflow

kiama.example.dataflow

trait Liveness

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

trait Liveness: extends AnyRef

Variable liveness interface.

Direct Known Subclasses:: LivenessImpl

Value Summary
`abstract val`	in : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]] Variables "live" into a statement.
`abstract 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

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

Variables "live" into a statement.

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

Variables "live" out of a statement.