net.sourceforge.czt.z.impl

Class Pred2Impl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.PredImpl

net.sourceforge.czt.z.impl.Pred2Impl

All Implemented Interfaces:

Term, Pred, Pred2

Direct Known Subclasses:

AndPredImpl, IffPredImpl, ImpliesPredImpl, OrPredImpl

public abstract class Pred2Impl
extends PredImpl
implements Pred2

An implementation of the interface Pred2.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Pred2Impl() The default constructor.
protected	Pred2Impl(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 Pred2Impl for equality.
Pred	getLeftPred()
ListTerm<Pred>	getPred() Returns the Pred elements.
Pred	getRightPred()
int	hashCode() Returns the hash code value for this Pred2Impl.
void	setLeftPred(Pred pred)
void	setRightPred(Pred pred)

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

Pred2Impl

protected Pred2Impl()

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.

Pred2Impl

protected Pred2Impl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

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

Overrides:

equals in class PredImpl

hashCode

public int hashCode()

Returns the hash code value for this Pred2Impl.

Overrides:

hashCode in class PredImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class PredImpl

getPred

public ListTerm<Pred> getPred()

Description copied from interface: Pred2

Returns the Pred 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:

getPred in interface Pred2

Returns:

a list of Pred elements.

getLeftPred

public Pred getLeftPred()

Specified by:

getLeftPred in interface Pred2

setLeftPred

public void setLeftPred(Pred pred)

Specified by:

setLeftPred in interface Pred2

getRightPred

public Pred getRightPred()

Specified by:

getRightPred in interface Pred2

setRightPred

public void setRightPred(Pred pred)

Specified by:

setRightPred in interface Pred2