net.sourceforge.czt.zeves.impl

Class UseCommandImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandImpl

net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

net.sourceforge.czt.zeves.impl.UseCommandImpl

All Implemented Interfaces:

Term, InstantiationCommand, ProofCommand, UseCommand

public class UseCommandImpl
extends InstantiationCommandImpl
implements UseCommand

An implementation of the interface UseCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

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

Methods inherited from class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

getInstantiationList, setInstantiationList

Methods inherited from class net.sourceforge.czt.zeves.impl.ProofCommandImpl

getProofStep, setProofStep

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.zeves.ast.InstantiationCommand

getInstantiationList, setInstantiationList

Methods inherited from interface net.sourceforge.czt.zeves.ast.ProofCommand

getProofStep, setProofStep

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

annsSize, getAnn, getAnns, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

UseCommandImpl

protected UseCommandImpl()

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.

UseCommandImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

Overrides:

equals in class InstantiationCommandImpl

hashCode

public int hashCode()

Returns the hash code value for this UseCommandImpl.

Overrides:

hashCode in class InstantiationCommandImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class InstantiationCommandImpl

create

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

getTheoremRef

public RefExpr getTheoremRef()

Description copied from interface: UseCommand

Returns the TheoremRef element.

Specified by:

getTheoremRef in interface UseCommand

Returns:

the TheoremRef element.

setTheoremRef

public void setTheoremRef(RefExpr theoremRef)

Description copied from interface: UseCommand

Sets the TheoremRef element.

Specified by:

setTheoremRef in interface UseCommand

Parameters:

theoremRef - the TheoremRef element.

See Also:

UseCommand.getTheoremRef()