net.sourceforge.czt.z.impl

Class ExistsExprImpl

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.ExistsExprImpl

All Implemented Interfaces:

Term, ExistsExpr, Expr, Qnt1Expr, QntExpr

public class ExistsExprImpl
extends Qnt1ExprImpl
implements ExistsExpr

An implementation of the interface ExistsExpr.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExistsExprImpl() The default constructor.
protected	ExistsExprImpl(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 ExistsExprImpl (e.g., ic >= sl)
ExistsExprImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this ExistsExprImpl for equality.
Object[]	getChildren()
int	hashCode() Returns the hash code value for this ExistsExprImpl.
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

ExistsExprImpl

protected ExistsExprImpl()

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.

ExistsExprImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

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 ExistsExprImpl 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