net.sourceforge.czt.circus.ast

Interface AssignmentPairs

All Superinterfaces:

Term

All Known Implementing Classes:

AssignmentPairsImpl

public interface AssignmentPairs
extends Term

Encapsulates two lists used for assignments.

Syntactically, that corresponds to either channels in RenameProcess, or to variables in an assignment command. Semantically, it is also used to determine which (process) state variables were updated, and in which order.

It represents two lists of equal size for the left and right hand sides. Moreover, for RenameProcess, the RHS list can only contain RefExpr, as channels might have generic actuals. For state updates, the RHS may be a predicate, in which case it is given as an SchExpr to operate upon the process state.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
NameList	getLHS() Returns the LHS element.
ExprList	getRHS() Returns the RHS element.
ZNameList	getZLHS() This is a convenience method.
ZExprList	getZRHS() This is a convenience method.
void	setLHS(NameList lHS) Sets the LHS element.
void	setRHS(ExprList rHS) Sets the RHS element.

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

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

Method Detail

getLHS

NameList getLHS()

Returns the LHS element.

Returns:

the LHS element.

setLHS

void setLHS(NameList lHS)

Sets the LHS element.

Parameters:

lHS - the LHS element.

See Also:

getLHS()

getRHS

ExprList getRHS()

Returns the RHS element.

Returns:

the RHS element.

setRHS

void setRHS(ExprList rHS)

Sets the RHS element.

Parameters:

rHS - the RHS element.

See Also:

getRHS()

getZLHS

ZNameList getZLHS()

This is a convenience method. It returns the ZNameList if NameList (LHS) is an instance of ZNameList and throws an UnsupportedAstClassException otherwise.

getZRHS

ZExprList getZRHS()

This is a convenience method. It returns the ZExprList if ExprList (RHS) is an instance of ZExprList and throws an UnsupportedAstClassException otherwise.