net.sourceforge.czt.circus.impl

Class CircusAnnImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.AnnImpl

net.sourceforge.czt.circus.impl.CircusAnnImpl

All Implemented Interfaces:

Term, CircusAnn, Ann

Direct Known Subclasses:

ActionSignatureAnnImpl, CircusStateAnnImpl, ImplicitChannelAnnImpl, OnTheFlyDefAnnImpl, OutputFieldAnnImpl, ProcessSignatureAnnImpl, ProofObligationAnnImpl, StateUpdateAnnImpl

public abstract class CircusAnnImpl
extends AnnImpl
implements CircusAnn

An implementation of the interface CircusAnn.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> v) Accepts a visitor.
boolean	equals(Object obj) Compares the specified object with this CircusAnnImpl for equality.
int	hashCode() Returns the hash code value for this CircusAnnImpl.

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, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

CircusAnnImpl

protected CircusAnnImpl()

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.

CircusAnnImpl

protected CircusAnnImpl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

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

Overrides:

equals in class AnnImpl

hashCode

public int hashCode()

Returns the hash code value for this CircusAnnImpl.

Overrides:

hashCode in class AnnImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class AnnImpl