net.sourceforge.czt.circus.ast

Interface ProcessPara

All Superinterfaces:

Para, Term

All Known Implementing Classes:

ProcessParaImpl

public interface ProcessPara
extends Para

A process paragraph that introduces a name for a process definition. Strokes are not allowed in process names, and this is ensured by the parser.

This element represents the ProcessDeclaration grammar rule.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
BasicProcess	getCircusBasicProcess() This is a convenience method for CircusUtils.getBasicProcess(getCircusProcess()).
CircusProcess	getCircusProcess() Returns the CircusProcess element.
NameList	getGenFormals() Returns the GenFormals element.
Name	getName() Returns the Name element.
ZNameList	getZGenFormals() This is a convenience method.
ZName	getZName() This is a convenience method.
boolean	isBasicProcess() Basic process can have parameters or indexes.
void	setCircusBasicProcess(BasicProcess term) Updates the declaring basic process in this process paragraph, if it is a basic process (according to isBasicProcess()), or raises a UnsupportedAstClassException exception otherwise.
void	setCircusProcess(CircusProcess circusProcess) Sets the CircusProcess element.
void	setGenFormals(NameList genFormals) Sets the GenFormals 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()

getGenFormals

NameList getGenFormals()

Returns the GenFormals element.

Returns:

the GenFormals element.

setGenFormals

void setGenFormals(NameList genFormals)

Sets the GenFormals element.

Parameters:

genFormals - the GenFormals element.

See Also:

getGenFormals()

getCircusProcess

CircusProcess getCircusProcess()

Returns the CircusProcess element.

Returns:

the CircusProcess element.

setCircusProcess

void setCircusProcess(CircusProcess circusProcess)

Sets the CircusProcess element.

Parameters:

circusProcess - the CircusProcess element.

See Also:

getCircusProcess()

getZGenFormals

ZNameList getZGenFormals()

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

getZName

ZName getZName()

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

isBasicProcess

boolean isBasicProcess()

Basic process can have parameters or indexes. That is, it returns if CircusUtils.isBasicProcess(getCircusProcess(), since basic processes can have parameters or indexes (in one-level only, though).

Returns:

if the inner process is basic or compound otherwise

getCircusBasicProcess

BasicProcess getCircusBasicProcess()

This is a convenience method for CircusUtils.getBasicProcess(getCircusProcess()). It throws a UnsupportedAstClassException exception if not isBasicProcess().

Returns:

setCircusBasicProcess

void setCircusBasicProcess(BasicProcess term)

Updates the declaring basic process in this process paragraph, if it is a basic process (according to isBasicProcess()), or raises a UnsupportedAstClassException exception otherwise. That is, if isBasicProcess(), it either updates the appropriate inner process for this paragraph depending whether it is a parameterised/indexed basic process or a simple one.

Parameters:

term - the term to set the inner process with.