net.sourceforge.czt.circus.ast

Interface CircusChannelSet

All Superinterfaces:

ChannelSet, Term

All Known Implementing Classes:

CircusChannelSetImpl

public interface CircusChannelSet
extends ChannelSet

An channel set expression is a special kind of expression used in Circus that is not within the Z expressions subtree. It represents the CSExpression grammar rule.

Although it is formed by a Z expression, channel set expressions cannot appear wherever a Z expression can; they are only allowed in some operators such parallelism and hiding. For this it encpasulates a Z expression within the ChannelSet class.

The most common Z expressions used in channel sets are set extensions, the empty set, and application expressions. The most common application expressions are set union, intersection, and diference. Other (possibly user defined) functions can also be used.

In any case, a channel set expression is well-typed only if the names it refer to are from previously declared channels, or a previously declared channel set. That is, a well-typed ChannelSet must be a power type of previously declared channel names.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Expr	getExpr() Returns the Expr element.
void	setExpr(Expr expr) Sets the Expr element.

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

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

Method Detail

getExpr

Expr getExpr()

Returns the Expr element.

Returns:

the Expr element.

setExpr

void setExpr(Expr expr)

Sets the Expr element.

Parameters:

expr - the Expr element.

See Also:

getExpr()