net.sourceforge.czt.circus.ast

Interface ProcessD

All Superinterfaces:

CircusProcess, Process1, Term

All Known Subinterfaces:

AlphabetisedParallelProcessIdx, AlphabetisedParallelProcessIte, ExtChoiceProcessIdx, ExtChoiceProcessIte, IndexedProcess, IntChoiceProcessIdx, IntChoiceProcessIte, InterleaveProcessIdx, InterleaveProcessIte, ParallelProcessIdx, ParallelProcessIte, ParamProcess, ParProcessIdx, ParProcessIte, ProcessIdx, ProcessIte, SeqProcessIdx, SeqProcessIte

All Known Implementing Classes:

AlphabetisedParallelProcessIdxImpl, AlphabetisedParallelProcessIteImpl, ExtChoiceProcessIdxImpl, ExtChoiceProcessIteImpl, IndexedProcessImpl, IntChoiceProcessIdxImpl, IntChoiceProcessIteImpl, InterleaveProcessIdxImpl, InterleaveProcessIteImpl, ParallelProcessIdxImpl, ParallelProcessIteImpl, ParamProcessImpl, ParProcessIdxImpl, ParProcessIteImpl, ProcessDImpl, ProcessIdxImpl, ProcessIteImpl, SeqProcessIdxImpl, SeqProcessIteImpl

public interface ProcessD
extends Process1

An abstract unary Circus process with Z declarations.

The parser must enforce that the declared variables do not have strokes via VarDecl, that strokes should be ignored via InclDecl (schema inclusion), and that ConstDecl is not allowed at all.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
BasicProcess	getCircusBasicProcess() This is a convenience method for getCircusProcess() cast as BasicProcess.
DeclList	getDeclList() Returns the DeclList element.
ZDeclList	getZDeclList() This is a convenience method.
boolean	isBasicProcess() Basic process can have parameters or indexes.
void	setDeclList(DeclList declList) Sets the DeclList element.

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

getCircusProcess, setCircusProcess

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

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

Method Detail

getDeclList

DeclList getDeclList()

Returns the DeclList element.

Returns:

the DeclList element.

getZDeclList

ZDeclList getZDeclList()

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

setDeclList

void setDeclList(DeclList declList)

Sets the DeclList element.

Parameters:

declList - the DeclList element.

See Also:

getDeclList()

isBasicProcess

boolean isBasicProcess()

Basic process can have parameters or indexes. That is, it returns if (getCircusProcess() instanceof BasicProcess). As nested parameterised processes are not allowed, this is enough to charachterise parameterised/indexed basic processes.

Returns:

if the inner process is basic or compound otherwise

getCircusBasicProcess

BasicProcess getCircusBasicProcess()

This is a convenience method for getCircusProcess() cast as BasicProcess. It throws a UnsupportedAstClassException exception if not isBasicProcess().

Returns: