net.sourceforge.czt.circus.ast

Interface ParActionIte

All Superinterfaces:

Action1, ActionD, ActionIte, CircusAction, Term

All Known Subinterfaces:

AlphabetisedParallelActionIte, InterleaveActionIte, ParallelActionIte

All Known Implementing Classes:

AlphabetisedParallelActionIteImpl, InterleaveActionIteImpl, ParActionIteImpl, ParallelActionIteImpl

public interface ParActionIte
extends ActionIte

An abstract parallel iterated action definition. it includes the name set partitions of the state.

As empty name disjoint sets are often used in iterated parallel actions, syntactic sugar for these cases is provided in the grammar rules for iterated interleaving, iterated parallel composition, and iterated alphabetised parallel composition, so that we do not need explicit AST classes.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
NameSet	getNameSet() Returns the NameSet element.
void	setNameSet(NameSet nameSet) Sets the NameSet element.

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

getDeclList, getZDeclList, setDeclList

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

getNameSet

NameSet getNameSet()

Returns the NameSet element.

Returns:

the NameSet element.

setNameSet

void setNameSet(NameSet nameSet)

Sets the NameSet element.

Parameters:

nameSet - the NameSet element.

See Also:

getNameSet()