net.sourceforge.czt.z.impl

Class QntPredImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.PredImpl

net.sourceforge.czt.z.impl.QntPredImpl

All Implemented Interfaces:

Term, Pred, QntPred

Direct Known Subclasses:

Exists1PredImpl, ExistsPredImpl, ForallPredImpl

public abstract class QntPredImpl
extends PredImpl
implements QntPred

An implementation of the interface QntPred.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	QntPredImpl() The default constructor.
protected	QntPredImpl(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 QntPredImpl for equality.
Pred	getPred() Returns the Pred element.
SchText	getSchText() Returns the SchText element.
ZSchText	getZSchText() This is a convenience method.
int	hashCode() Returns the hash code value for this QntPredImpl.
void	setPred(Pred pred) Sets the Pred element.
void	setSchText(SchText schText) Sets the SchText 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, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

QntPredImpl

protected QntPredImpl()

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.

QntPredImpl

protected QntPredImpl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

Compares the specified object with this QntPredImpl for equality. Returns true if and only if the specified object is also a(n) QntPredImpl 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 QntPredImpl.

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

getSchText

public SchText getSchText()

Description copied from interface: QntPred

Returns the SchText element.

Specified by:

getSchText in interface QntPred

Returns:

the SchText element.

setSchText

public void setSchText(SchText schText)

Description copied from interface: QntPred

Sets the SchText element.

Specified by:

setSchText in interface QntPred

Parameters:

schText - the SchText element.

See Also:

QntPred.getSchText()

getPred

public Pred getPred()

Description copied from interface: QntPred

Returns the Pred element.

Specified by:

getPred in interface QntPred

Returns:

the Pred element.

setPred

public void setPred(Pred pred)

Description copied from interface: QntPred

Sets the Pred element.

Specified by:

setPred in interface QntPred

Parameters:

pred - the Pred element.

See Also:

QntPred.getPred()

getZSchText

public ZSchText getZSchText()

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

Specified by:

getZSchText in interface QntPred