net.sourceforge.czt.circus.ast

Interface DotField

All Superinterfaces:

Field, Term

All Known Implementing Classes:

DotFieldImpl

public interface DotField
extends Field

A field that is part of a communication and contains an expression. It represents the grammar rule .Expr.

In general, the ``dot'' is treated as output communication. However, depending on the purpose of use, it can be considered as a reading or writing synchronisation point.

Another example where the differentiation between dot and output fields is relevant comes from CSP_M and FDR, where ``dot'' fields are used for resolved expressions, whereas ``output'' fields can be used for expressions yet to be resolved. Roscoe's give some insight on further interesting possibilities that motivates such differentiation in his CSP book (p.27).

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