trait ControlFlowImpl in kiama.example.dataflow

kiama.example.dataflow

trait ControlFlowImpl

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

trait ControlFlowImpl: extends ControlFlow with AnyRef

Control flow implementation.

Direct Known Subclasses:: Dataflow

Value Summary
`val`	following : scala.PartialFunction[Stm, scala.collection.immutable.Set[Stm]] Control flow default successor relation.
`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

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

Control flow successor relation.

Overrides: ControlFlow.succ

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

Control flow default successor relation.

Overrides: ControlFlow.following