net.sourceforge.czt.circus.ast

Interface SkipAction

All Superinterfaces:

BasicAction, CircusAction, Term

All Known Implementing Classes:

SkipActionImpl

public interface SkipAction
extends BasicAction

Circus action that represents successful silent termination. That is, an action that has terminated (i.e. ok' = true and wait' = false) and no modification in the trace has occurred (i.e. trace' = trace).

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