net.sourceforge.czt.circus.ast

Interface GuardedAction

All Superinterfaces:

Action1, CircusAction, Term

All Known Implementing Classes:

GuardedActionImpl

public interface GuardedAction
extends Action1

The Circus guarded action defines an action guarded by a Z predicate.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Pred	getPred() Returns the Pred element.
void	setPred(Pred pred) Sets the Pred element.

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

getCircusAction, setCircusAction

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

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

Method Detail

getPred

Pred getPred()

Returns the Pred element.

Returns:

the Pred element.

setPred

void setPred(Pred pred)

Sets the Pred element.

Parameters:

pred - the Pred element.

See Also:

getPred()