net.sourceforge.czt.circus.ast

Interface ParAction

All Superinterfaces:

Action2, CircusAction, Term

All Known Subinterfaces:

AlphabetisedParallelAction, InterleaveAction, ParallelAction

All Known Implementing Classes:

AlphabetisedParallelActionImpl, InterleaveActionImpl, ParActionImpl, ParallelActionImpl

public interface ParAction
extends Action2

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

As empty name disjoint sets are often used in parallel actions, syntactic sugar for these cases is provided in the grammar rules for interleaving, parallel composition, and 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	getLeftNameSet()
ListTerm<NameSet>	getNameSet() Returns the NameSet elements.
NameSet	getRightNameSet()
void	setLeftNameSet(NameSet alpha)
void	setRightNameSet(NameSet alpha)

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

getCircusAction, getLeftAction, getRightAction, setLeftAction, setRightAction

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

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

Method Detail

getNameSet

ListTerm<NameSet> getNameSet()

Returns the NameSet elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Returns:

a list of NameSet elements.

getLeftNameSet

NameSet getLeftNameSet()

setLeftNameSet

void setLeftNameSet(NameSet alpha)

getRightNameSet

NameSet getRightNameSet()

setRightNameSet

void setRightNameSet(NameSet alpha)