trait Variables in kiama.example.dataflow

kiama.example.dataflow

trait Variables

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

trait Variables: extends AnyRef

Variable use and definition interface.

Direct Known Subclasses:: VariablesImpl

Value Summary
`abstract val`	defines : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]] Variable definitions.
`abstract val`	uses : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]] Variable uses.

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 uses : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]]

Variable uses.

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

Variable definitions.