trait ControlFlow in kiama.example.dataflow

kiama.example.dataflow

trait ControlFlow

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

trait ControlFlow: extends AnyRef

Control flow interface.

Direct Known Subclasses:: ControlFlowImpl

Value Summary
`abstract val`	following : scala.PartialFunction[Stm, scala.collection.immutable.Set[Stm]] Control flow default successor relation.
`abstract val`	succ : scala.PartialFunction[Stm, scala.collection.immutable.Set[Stm]] Control flow successor relation.

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 succ : scala.PartialFunction[Stm, scala.collection.immutable.Set[Stm]]

Control flow successor relation.

abstract val following : scala.PartialFunction[Stm, scala.collection.immutable.Set[Stm]]

Control flow default successor relation.