net.sourceforge.czt.circus.ast

Interface DoGuardedCommand

All Superinterfaces:

CircusAction, CircusCommand, CircusGuardedCommand, Term

All Known Implementing Classes:

DoGuardedCommandImpl

public interface DoGuardedCommand
extends CircusGuardedCommand

Command declaring a do (while) statement containing guarded actions in Dijkstra's style. Although semantically different, we can represent the AST for the production of guarded actions from the BNF of do commands with the GuardedAction AST class, hence minimising the AST classes.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.circus.ast.CircusGuardedCommand

getActionList, getGuardedAction, getGuardedActionList, getNumberOfGuards, setActionList

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

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