net.sourceforge.czt.zeves.impl

Class ProofScriptImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.ParaImpl

net.sourceforge.czt.zeves.impl.ProofScriptImpl

All Implemented Interfaces:

Term, Para, ProofScript

public class ProofScriptImpl
extends ParaImpl
implements ProofScript

An implementation of the interface ProofScript.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProofScriptImpl() The default constructor.
protected	ProofScriptImpl(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 ProofScriptImpl (e.g., ic >= sl)
ProofScriptImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this ProofScriptImpl for equality.
Object[]	getChildren()
Name	getName() Returns the Name element.
ProofCommandList	getProofCommandList() Returns the ProofCommandList element.
ZName	getZName() This is a convenience method.
int	hashCode() Returns the hash code value for this ProofScriptImpl.
static long	instanceCount() Only concrete classes get the instance count method visible
static long	instancesFinalised()
void	setName(Name name) Sets the Name element.
void	setProofCommandList(ProofCommandList proofCommandList) Sets the ProofCommandList 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

ProofScriptImpl

protected ProofScriptImpl()

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.

ProofScriptImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

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

getName

public Name getName()

Description copied from interface: ProofScript

Returns the Name element.

Specified by:

getName in interface ProofScript

Returns:

the Name element.

setName

public void setName(Name name)

Description copied from interface: ProofScript

Sets the Name element.

Specified by:

setName in interface ProofScript

Parameters:

name - the Name element.

See Also:

ProofScript.getName()

getProofCommandList

public ProofCommandList getProofCommandList()

Description copied from interface: ProofScript

Returns the ProofCommandList element.

Specified by:

getProofCommandList in interface ProofScript

Returns:

the ProofCommandList element.

setProofCommandList

public void setProofCommandList(ProofCommandList proofCommandList)

Description copied from interface: ProofScript

Sets the ProofCommandList element.

Specified by:

setProofCommandList in interface ProofScript

Parameters:

proofCommandList - the ProofCommandList element.

See Also:

ProofScript.getProofCommandList()

getZName

public ZName getZName()

Description copied from interface: ProofScript

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

Specified by:

getZName in interface ProofScript