net.sourceforge.czt.circus.impl

Class ChannelDeclImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.DeclImpl

net.sourceforge.czt.circus.impl.ChannelDeclImpl

All Implemented Interfaces:

Term, ChannelDecl, Decl

public class ChannelDeclImpl
extends DeclImpl
implements ChannelDecl

An implementation of the interface ChannelDecl.

Author:

GnAST version 1.6-SNAPSHOT

Field Summary

Fields inherited from interface net.sourceforge.czt.circus.ast.ChannelDecl

CHANNEL_GENFORMAL_INDEX, CHANNEL_NAMELIST_INDEX

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ChannelDeclImpl() The default constructor.
protected	ChannelDeclImpl(BaseFactory factory)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> v) Accepts a visitor.
static boolean	countingFinaliser() public attribute determining whether to log to the standard output information about who is creating this instance of ChannelDeclImpl (e.g., ic >= sl)
ChannelDeclImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this ChannelDeclImpl for equality.
Object[]	getChildren()
Expr	getExpr() Returns the Expr element.
ListTerm<NameList>	getNameList() Returns the NameList elements.
ZNameList	getZChannelNameList() This is a convenience method.
ZNameList	getZGenFormals() This is a convenience method.
int	hashCode() Returns the hash code value for this ChannelDeclImpl.
static long	instanceCount() Only concrete classes get the instance count method visible
static long	instancesFinalised()
void	setExpr(Expr expr) Sets the Expr element.

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

annsSize, getAnn, getAnns, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

ChannelDeclImpl

protected ChannelDeclImpl()

The default constructor. Do not use it explicitly, unless you are extending this class. If you want to create an instance of this class, please use the object factory.

ChannelDeclImpl

protected ChannelDeclImpl(BaseFactory factory)

Method Detail

countingFinaliser

public static boolean countingFinaliser()

public attribute determining whether to log to the standard output information about who is creating this instance of ChannelDeclImpl (e.g., ic >= sl)

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

Compares the specified object with this ChannelDeclImpl for equality. Returns true if and only if the specified object is also a(n) ChannelDeclImpl and all the getter methods except getAnns return equal objects.

Overrides:

equals in class DeclImpl

hashCode

public int hashCode()

Returns the hash code value for this ChannelDeclImpl.

Overrides:

hashCode in class DeclImpl

accept

public <R> R accept(Visitor<R> v)

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class DeclImpl

create

public ChannelDeclImpl create(Object[] args)

Returns a new object of this class.

Specified by:

create in interface Term

getChildren

public Object[] getChildren()

Specified by:

getChildren in interface Term

instanceCount

public static long instanceCount()

Only concrete classes get the instance count method visible

getNameList

public ListTerm<NameList> getNameList()

Description copied from interface: ChannelDecl

Returns the NameList elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Specified by:

getNameList in interface ChannelDecl

Returns:

a list of NameList elements.

getExpr

public Expr getExpr()

Description copied from interface: ChannelDecl

Returns the Expr element.

Specified by:

getExpr in interface ChannelDecl

Returns:

the Expr element.

setExpr

public void setExpr(Expr expr)

Description copied from interface: ChannelDecl

Sets the Expr element.

Specified by:

setExpr in interface ChannelDecl

Parameters:

expr - the Expr element.

See Also:

ChannelDecl.getExpr()

getZGenFormals

public ZNameList getZGenFormals()

Description copied from interface: ChannelDecl

This is a convenience method. It represents the non-null (possibly empty) list of generic formal parameters for this channel declaration. It returns the ZNameList from getNameList().get(0) if it is an instance of ZNameList, or throws an UnsupportedAstClassException otherwise.

Specified by:

getZGenFormals in interface ChannelDecl

getZChannelNameList

public ZNameList getZChannelNameList()

Description copied from interface: ChannelDecl

This is a convenience method. It represents the non-null (possibly empty) list of declared channel names for this channel declaration. If the list is empty, this represennt a "channelfrom" declaration, where the getExpr() returns the SchExpr the delcared channels can be found. It returns the ZNameList if NameList is an instance of ZNameList or throws an UnsupportedAstClassException otherwise.

Specified by:

getZChannelNameList in interface ChannelDecl