net.sourceforge.czt.circus.ast

Interface CallAction

All Superinterfaces:

CircusAction, Term

All Known Implementing Classes:

CallActionImpl

public interface CallAction
extends CircusAction

Circus action reference call. In other words, it permits a name to be an action. That is, it contains a reference name to lookup the action definition.

Moreover, it contains a list of expressions representing possible actual parameters. An empty list of expressions means a simple action call of the grammar rule N, where N is the action name. If the list of expressions is not empty, then the this is a parameterised action. It represents the grammar rule N(Expr+) for CSP actions and commands.

The invariant is as follows:

• N = nonempty name and empty parameters.
• N(Expr+) = nonempty parameters. Internal name for on-the-fly, user given name for previously declared action.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ExprList	getExprList() Returns the ExprList element.
Name	getName() Returns the Name element.
ZExprList	getZExprList() This is a convenience method.
ZName	getZName() This is a convenience method.
void	setExprList(ExprList exprList) Sets the ExprList element.
void	setName(Name name) Sets the Name element.

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

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

Method Detail

getName

Name getName()

Returns the Name element.

Returns:

the Name element.

setName

void setName(Name name)

Sets the Name element.

Parameters:

name - the Name element.

See Also:

getName()

getExprList

ExprList getExprList()

Returns the ExprList element.

Returns:

the ExprList element.

getZExprList

ZExprList getZExprList()

This is a convenience method. It returns a ZExprList if #getExprList returns an instance of ZExprList and throws an UnsupportedAstClassException otherwise.

setExprList

void setExprList(ExprList exprList)

Sets the ExprList element.

Parameters:

exprList - the ExprList element.

See Also:

getExprList()

getZName

ZName getZName()

This is a convenience method. It returns the ZName if Name is an instance of ZName and throws an UnsupportedAstClassException otherwise.