net.sourceforge.czt.circus.ast

Interface CircusNameSet

All Superinterfaces:

NameSet, Term

All Known Implementing Classes:

CircusNameSetImpl

public interface CircusNameSet
extends NameSet

A name set expression is a special kind of expression used in Circus that is not within the Z expressions subtree. It represents the NSExpression grammar rule.

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

The most common Z expressions used in name 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 name set expression is well-typed only if the names it refer to are from previously declared state variables, or a previously declared name set. That is, a well-typed NameSet must be a power type of previously declared state variable 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()