net.sourceforge.czt.z.impl

Class ConjParaImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.ParaImpl

net.sourceforge.czt.z.impl.ConjParaImpl

All Implemented Interfaces:

Term, ConjPara, Para

public class ConjParaImpl
extends ParaImpl
implements ConjPara

An implementation of the interface ConjPara.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ConjParaImpl() The default constructor.
protected	ConjParaImpl(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 ConjParaImpl (e.g., ic >= sl)
ConjParaImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this ConjParaImpl for equality.
Object[]	getChildren()
String	getName() This is a convenience method for getting the name of a conjecture.
NameList	getNameList() Returns the NameList element.
Pred	getPred() Returns the Pred element.
ZNameList	getZNameList() This is a convenience method.
int	hashCode() Returns the hash code value for this ConjParaImpl.
static long	instanceCount() Only concrete classes get the instance count method visible
static long	instancesFinalised()
void	setName(Name name)
void	setNameList(NameList nameList) Sets the NameList element.
void	setPred(Pred pred) Sets the Pred 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, getAnn, getAnns, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

ConjParaImpl

protected ConjParaImpl()

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.

ConjParaImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

Overrides:

equals in class ParaImpl

hashCode

public int hashCode()

Returns the hash code value for this ConjParaImpl.

Overrides:

hashCode in class ParaImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class ParaImpl

create

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

getNameList

public NameList getNameList()

Description copied from interface: ConjPara

Returns the NameList element.

Specified by:

getNameList in interface ConjPara

Returns:

the NameList element.

setNameList

public void setNameList(NameList nameList)

Description copied from interface: ConjPara

Sets the NameList element.

Specified by:

setNameList in interface ConjPara

Parameters:

nameList - the NameList element.

See Also:

ConjPara.getNameList()

getZNameList

public ZNameList getZNameList()

This is a convenience method. It returns a ZNameList if #getNameList returns an instance of ZNameList and throws an UnsupportedAstClassException otherwise.

Specified by:

getZNameList in interface ConjPara

getPred

public Pred getPred()

Description copied from interface: ConjPara

Returns the Pred element.

Specified by:

getPred in interface ConjPara

Returns:

the Pred element.

setPred

public void setPred(Pred pred)

Description copied from interface: ConjPara

Sets the Pred element.

Specified by:

setPred in interface ConjPara

Parameters:

pred - the Pred element.

See Also:

ConjPara.getPred()

getName

public String getName()

This is a convenience method for getting the name of a conjecture. Conjecture names are currently optional at the Unicode level, and are stored as annotations rather than as normal entries in the CZT XML format. This method returns a non-null String if the conjecture has a name annotation, or null otherwise. If the Z standard is extended in the future so that conjecture names are compulsory in the Unicode markup (as they are in the LaTeX markup), then this method may be replaced by an equivalent method that is automatically generated from the CZT XML schema.

Specified by:

getName in interface ConjPara

setName

public void setName(Name name)

Specified by:

setName in interface ConjPara