net.sourceforge.czt.circus.ast

Interface ChaosAction

All Superinterfaces:

BasicAction, CircusAction, Term

All Known Implementing Classes:

ChaosActionImpl

public interface ChaosAction
extends BasicAction

Chaotic Circus action as defined by the UTP (see also Hoare's CSP CHAOS process, as well as Roscoe's CSP div process).

Theoretically, it represents the bottom element of the Circus lattice of failures-divergences with embedded imperative features. Implementations should usually treat this element as the base case for the possibility (not certainty) of divergence.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn