net.sourceforge.czt.circus.ast

Interface SchExprAction

All Superinterfaces:

CircusAction, Term

All Known Implementing Classes:

SchExprActionImpl

public interface SchExprAction
extends CircusAction

An action given as a schema expression. In this way, schema expressions are included into the CircusAction subtree in a similar way as schema expressions are included in the declaration and predicate subtrees.

As one might use a schema expression for defining a Z schema (i.e. S and T), this class contains an Z Expr instead of SchExpr. The parser is responsible to rule out other possibilities and ensure that only well formed schema expressions are allowed. From the CZT these came through SchExpr, SchExpr2, DecorExpr, NegExpr, and RenameExpr. (TODO: Check this carefully).

For the process state, this action or a the corresponding Z paragraph must contain a CircusStateAnn.

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()