net.sourceforge.czt.circus.ast

Interface ChannelSetPara

All Superinterfaces:

Para, Term

All Known Implementing Classes:

ChannelSetParaImpl

public interface ChannelSetPara
extends Para

A channel set paragraph that declares a name for a channel set. A channel set encapsulates a Z Expr.

It represents the channelset N == CSExpression grammar rule, where N is a Name

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ChannelSet	getChannelSet() Returns the ChannelSet element.
NameList	getGenFormals() Returns the GenFormals element.
Name	getName() Returns the Name element.
ZNameList	getZGenFormals() This is a convenience method.
ZName	getZName() This is a convenience method.
void	setChannelSet(ChannelSet channelSet) Sets the ChannelSet element.
void	setGenFormals(NameList genFormals) Sets the GenFormals element.
void	setName(Name name) Sets the Name element.

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

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

Method Detail

getGenFormals

NameList getGenFormals()

Returns the GenFormals element.

Returns:

the GenFormals element.

setGenFormals

void setGenFormals(NameList genFormals)

Sets the GenFormals element.

Parameters:

genFormals - the GenFormals element.

See Also:

getGenFormals()

getName

Name getName()

Returns the Name element.

Returns:

the Name element.

setName

void setName(Name name)

Sets the Name element.

Parameters:

name - the Name element.

See Also:

getName()

getChannelSet

ChannelSet getChannelSet()

Returns the ChannelSet element.

Returns:

the ChannelSet element.

setChannelSet

void setChannelSet(ChannelSet channelSet)

Sets the ChannelSet element.

Parameters:

channelSet - the ChannelSet element.

See Also:

getChannelSet()

getZGenFormals

ZNameList getZGenFormals()

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

getZName

ZName getZName()

This is a convenience method. It returns the ZName if Name is an instance of ZName and throws an UnsupportedAstClassException otherwise.