net.sourceforge.czt.circus.ast

Interface CallProcess

All Superinterfaces:

CircusProcess, Term

All Known Implementing Classes:

CallProcessImpl

public interface CallProcess
extends CircusProcess

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

Moreover, it contains two list of expressions and an attribute defining the kind of call this reference is related too. The first list is related to generic actuals, whereas the second list is related to actual parameters or indexes. An empty list of generic actuals means that refering process is not generic. An empty list of expressions means a simple process call of the grammar rules N, N[Expr+], where N is the process name. If the list of expressions is not empty, then the CallUsage attribute defines if this is an indexed process instantiation call, a parameterised process call. It represents the grammar rules: N(Expr+), N lfloor Expr+ rfloor

The invariant is as follows: TODO: THIS COMMENT NEEDS UPDATE (See Parser.xml)

• N = nonempty name, empty generic actuals, and empty parameters/indexes.
• N[Expr+] = nonempty name, nonempty generic actuals, and empty parameters/indexes.
• N(Expr+) = empty generic actuals, nonempty parameters. Internal name for on-the-fly, user given name for previously declared action. The call type defines whether the expressions are actual parameters or indexes.
• N[Expr+](Expr+) = nonempty generic actuals, nonempty parameters. Internal name for on-the-fly, user given name for previously declared action. The call type defines whether the expressions are actual parameters or indexes.

The case for parameterised and indexed process is not present in the grammar. The default value of CallUsage is Param and need to be inspected only for the case where the second expression list demands attention.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ExprList	getActuals() Returns the Actuals element.
RefExpr	getCallExpr() Returns the CallExpr element.
CallUsage	getCallUsage() Returns the CallUsage element.
ZExprList	getZActuals() This is a convenience method.
void	setActuals(ExprList actuals) Sets the Actuals element.
void	setCallExpr(RefExpr callExpr) Sets the CallExpr element.
void	setCallUsage(CallUsage callUsage) Sets the CallUsage element.

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

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

Method Detail

getCallExpr

RefExpr getCallExpr()

Returns the CallExpr element.

Returns:

the CallExpr element.

setCallExpr

void setCallExpr(RefExpr callExpr)

Sets the CallExpr element.

Parameters:

callExpr - the CallExpr element.

See Also:

getCallExpr()

getActuals

ExprList getActuals()

Returns the Actuals element.

Returns:

the Actuals element.

setActuals

void setActuals(ExprList actuals)

Sets the Actuals element.

Parameters:

actuals - the Actuals element.

See Also:

getActuals()

getCallUsage

CallUsage getCallUsage()

Returns the CallUsage element.

Returns:

the CallUsage element.

setCallUsage

void setCallUsage(CallUsage callUsage)

Sets the CallUsage element.

Parameters:

callUsage - the CallUsage element.

See Also:

getCallUsage()

getZActuals

ZExprList getZActuals()

This is a convenience method. It returns the ZExprList if ExprList is an instance of ZExprList or throws an UnsupportedAstClassException otherwise.