net.sourceforge.czt.circus.ast

Interface Communication

All Superinterfaces:

Term

All Known Implementing Classes:

CommunicationImpl

public interface Communication
extends Term

A CSP communication that is part of a prefixing process or action. If the communicating channel has been declared with generic types, the communication must carry the generic actual expressions, hence we have a RefExpr rather than a Name. It represents the Communication grammar rule.

A communication can be either a communication for synchronisation, input, output, or mixed. A communication can also appear in a channel set expression, in which case no fields are allowed. Synchronisation has no fields. Input and Output has only input or output fields respectively. Mixed communication has both input and output fields, such as c?x:P!v -> A.

The semantics of dot (c.x) and output (c!x) is equivalent. However, for some applications/tools, their evaluation can be done differently. Except for references (without generics) and numerals, expressions MUST be surrounded by parenthesis. Similarly, predicates on input prefix restrictions must also be surrounded by parenthesis.

Communications are annotated by the type checker with a CommunicationType, which includes the declared channel name/type pair, as well as the communication pattern signature. This is useful because the communication pattern type might not necessarily be the same as the type of the channel. Also, we mark the channel within the communication as a generic, indexed or normal channel.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
RefExpr	getChannelExpr() Returns the ChannelExpr element.
CircusFieldList	getCircusFieldList() This is a convenience method.
CommPattern	getCommPattern() Returns the CommPattern element.
CommUsage	getCommUsage() Returns the CommUsage element.
FieldList	getFieldList() Returns the FieldList element.
Boolean	getIndexed() Returns the Indexed element.
BigInteger	getMultiSych() Returns the MultiSych element.
void	setChannelExpr(RefExpr channelExpr) Sets the ChannelExpr element.
void	setCommPattern(CommPattern commPattern) Sets the CommPattern element.
void	setCommUsage(CommUsage commUsage) Sets the CommUsage element.
void	setFieldList(FieldList fieldList) Sets the FieldList element.
void	setIndexed(Boolean indexed) Sets the Indexed element.
void	setMultiSych(BigInteger multiSych) Sets the MultiSych element.

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

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

Method Detail

getChannelExpr

RefExpr getChannelExpr()

Returns the ChannelExpr element.

Returns:

the ChannelExpr element.

setChannelExpr

void setChannelExpr(RefExpr channelExpr)

Sets the ChannelExpr element.

Parameters:

channelExpr - the ChannelExpr element.

See Also:

getChannelExpr()

getFieldList

FieldList getFieldList()

Returns the FieldList element.

Returns:

the FieldList element.

setFieldList

void setFieldList(FieldList fieldList)

Sets the FieldList element.

Parameters:

fieldList - the FieldList element.

See Also:

getFieldList()

getCommUsage

CommUsage getCommUsage()

Returns the CommUsage element.

Returns:

the CommUsage element.

setCommUsage

void setCommUsage(CommUsage commUsage)

Sets the CommUsage element.

Parameters:

commUsage - the CommUsage element.

See Also:

getCommUsage()

getCommPattern

CommPattern getCommPattern()

Returns the CommPattern element.

Returns:

the CommPattern element.

setCommPattern

void setCommPattern(CommPattern commPattern)

Sets the CommPattern element.

Parameters:

commPattern - the CommPattern element.

See Also:

getCommPattern()

getMultiSych

BigInteger getMultiSych()

Returns the MultiSych element.

Returns:

the MultiSych element.

setMultiSych

void setMultiSych(BigInteger multiSych)

Sets the MultiSych element.

Parameters:

multiSych - the MultiSych element.

See Also:

getMultiSych()

getIndexed

Boolean getIndexed()

Returns the Indexed element.

Returns:

the Indexed element.

setIndexed

void setIndexed(Boolean indexed)

Sets the Indexed element.

Parameters:

indexed - the Indexed element.

See Also:

getIndexed()

getCircusFieldList

CircusFieldList getCircusFieldList()

This is a convenience method. It returns the CircusFieldList if FieldList is an instance of CircusFieldList or throws an UnsupportedAstClassException otherwise.