net.sourceforge.czt.circus.ast

Interface SigmaExpr

All Superinterfaces:

Expr, Term

All Known Implementing Classes:

SigmaExprImpl

public interface SigmaExpr
extends Expr

Expression for channel selections, such as c.x or c.true for channel c. It is set of pairs, where the first element is the channel reference and the second element is the expression corresponding to the value to be communicaticated. The channel reference is a RefExpr, as channel can contain generic actuals. It denotes set of the all the possible values a channel can communicate.

These expressions require special typechecking to ensure that elements are well typed with respect to the (RefExpr X Expr) pair, rather than the structure of the expressions. That is, SigmaExpr unify even when the expression have different types, so that we can create the Sigma environment.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
RefExpr	getChannel() Returns the Channel element.
Expr	getValue() Returns the Value element.
void	setChannel(RefExpr channel) Sets the Channel element.
void	setValue(Expr value) Sets the Value element.

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

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

Method Detail

getChannel

RefExpr getChannel()

Returns the Channel element.

Returns:

the Channel element.

setChannel

void setChannel(RefExpr channel)

Sets the Channel element.

Parameters:

channel - the Channel element.

See Also:

getChannel()

getValue

Expr getValue()

Returns the Value element.

Returns:

the Value element.

setValue

void setValue(Expr value)

Sets the Value element.

Parameters:

value - the Value element.

See Also:

getValue()