net.sourceforge.czt.zeves.impl

Class ProofCommandImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandImpl

All Implemented Interfaces:

Term, ProofCommand

Direct Known Subclasses:

CaseAnalysisCommandImpl, InstantiationCommandImpl, SimplificationCommandImpl, SorryCommandImpl, WrappedCommandImpl

public abstract class ProofCommandImpl
extends TermImpl
implements ProofCommand

An implementation of the interface ProofCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProofCommandImpl() The default constructor.
protected	ProofCommandImpl(BaseFactory factory)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> v) Accepts a visitor.
boolean	equals(Object obj) Compares the specified object with this ProofCommandImpl for equality.
BigInteger	getProofStep() Returns the ProofStep element.
int	hashCode() Returns the hash code value for this ProofCommandImpl.
void	setProofStep(BigInteger proofStep) Sets the ProofStep 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, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

ProofCommandImpl

protected ProofCommandImpl()

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.

ProofCommandImpl

protected ProofCommandImpl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

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

Overrides:

equals in class TermImpl

hashCode

public int hashCode()

Returns the hash code value for this ProofCommandImpl.

Overrides:

hashCode in class TermImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class TermImpl

getProofStep

public BigInteger getProofStep()

Description copied from interface: ProofCommand

Returns the ProofStep element.

Specified by:

getProofStep in interface ProofCommand

Returns:

the ProofStep element.

setProofStep

public void setProofStep(BigInteger proofStep)

Description copied from interface: ProofCommand

Sets the ProofStep element.

Specified by:

setProofStep in interface ProofCommand

Parameters:

proofStep - the ProofStep element.

See Also:

ProofCommand.getProofStep()