trait VariablesImpl in kiama.example.dataflow

kiama.example.dataflow

trait VariablesImpl

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

trait VariablesImpl: extends Variables with AnyRef

Variable use and definition implementation.

Direct Known Subclasses:: Dataflow

Value Summary
`val`	defines : scala.PartialFunction[Stm, scala.collection.immutable.Set[java.lang.String]] Variable definitions.
`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

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

Variable uses.

Overrides: Variables.uses

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

Variable definitions.

Overrides: Variables.defines