net.sourceforge.czt.z.impl

Class Qnt1ExprImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.ExprImpl

net.sourceforge.czt.z.impl.QntExprImpl

net.sourceforge.czt.z.impl.Qnt1ExprImpl

All Implemented Interfaces:

Term, Expr, Qnt1Expr, QntExpr

Direct Known Subclasses:

Exists1ExprImpl, ExistsExprImpl, ForallExprImpl, LambdaExprImpl, LetExprImpl

public abstract class Qnt1ExprImpl
extends QntExprImpl
implements Qnt1Expr

An implementation of the interface Qnt1Expr.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Qnt1ExprImpl() The default constructor.
protected	Qnt1ExprImpl(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 Qnt1ExprImpl for equality.
int	hashCode() Returns the hash code value for this Qnt1ExprImpl.

Methods inherited from class net.sourceforge.czt.z.impl.QntExprImpl

getExpr, getSchText, getZSchText, setExpr, setSchText

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.z.ast.QntExpr

getExpr, getSchText, getZSchText, setExpr, setSchText

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

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

Constructor Detail

Qnt1ExprImpl

protected Qnt1ExprImpl()

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.

Qnt1ExprImpl

protected Qnt1ExprImpl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

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

Overrides:

equals in class QntExprImpl

hashCode

public int hashCode()

Returns the hash code value for this Qnt1ExprImpl.

Overrides:

hashCode in class QntExprImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class QntExprImpl