net.sourceforge.czt.z.impl

Class Exists1ExprImpl

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

net.sourceforge.czt.z.impl.Exists1ExprImpl

All Implemented Interfaces:

Term, Exists1Expr, Expr, Qnt1Expr, QntExpr

public class Exists1ExprImpl
extends Qnt1ExprImpl
implements Exists1Expr

An implementation of the interface Exists1Expr.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Exists1ExprImpl() The default constructor.
protected	Exists1ExprImpl(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 Exists1ExprImpl (e.g., ic >= sl)
Exists1ExprImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this Exists1ExprImpl for equality.
Object[]	getChildren()
int	hashCode() Returns the hash code value for this Exists1ExprImpl.
static long	instanceCount() Only concrete classes get the instance count method visible
static long	instancesFinalised()

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

Constructor Detail

Exists1ExprImpl

protected Exists1ExprImpl()

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.

Exists1ExprImpl

protected Exists1ExprImpl(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 Exists1ExprImpl (e.g., ic >= sl)

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

Overrides:

equals in class Qnt1ExprImpl

hashCode

public int hashCode()

Returns the hash code value for this Exists1ExprImpl.

Overrides:

hashCode in class Qnt1ExprImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class Qnt1ExprImpl

create

public Exists1ExprImpl 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