net.sourceforge.czt.circus.ast

Interface StopAction

All Superinterfaces:

BasicAction, CircusAction, Term

All Known Implementing Classes:

StopActionImpl

public interface StopAction
extends BasicAction

Circus action that represents deadlock. That is, an action that refuses every possible event and is still waiting (i.e. wait' = false).

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