net.sourceforge.czt.zeves.impl

Class ProofCommandInfoImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

All Implemented Interfaces:

Term, ProofCommandInfo

public class ProofCommandInfoImpl
extends TermImpl
implements ProofCommandInfo

An implementation of the interface ProofCommandInfo.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProofCommandInfoImpl() The default constructor.
protected	ProofCommandInfoImpl(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 ProofCommandInfoImpl (e.g., ic >= sl)
ProofCommandInfoImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this ProofCommandInfoImpl for equality.
Object[]	getChildren()
ProofStepKind	getProofStepKind() Returns the ProofStepKind element.
BigInteger	getProofStepRank() Returns the ProofStepRank element.
ProofStepScope	getProofStepScope() Returns the ProofStepScope element.
int	hashCode() Returns the hash code value for this ProofCommandInfoImpl.
static long	instanceCount() Only concrete classes get the instance count method visible
static long	instancesFinalised()
void	setProofStepKind(ProofStepKind proofStepKind) Sets the ProofStepKind element.
void	setProofStepRank(BigInteger proofStepRank) Sets the ProofStepRank element.
void	setProofStepScope(ProofStepScope proofStepScope) Sets the ProofStepScope 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

ProofCommandInfoImpl

protected ProofCommandInfoImpl()

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.

ProofCommandInfoImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

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

create

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

getProofStepRank

public BigInteger getProofStepRank()

Description copied from interface: ProofCommandInfo

Returns the ProofStepRank element.

Specified by:

getProofStepRank in interface ProofCommandInfo

Returns:

the ProofStepRank element.

setProofStepRank

public void setProofStepRank(BigInteger proofStepRank)

Description copied from interface: ProofCommandInfo

Sets the ProofStepRank element.

Specified by:

setProofStepRank in interface ProofCommandInfo

Parameters:

proofStepRank - the ProofStepRank element.

See Also:

ProofCommandInfo.getProofStepRank()

getProofStepKind

public ProofStepKind getProofStepKind()

Description copied from interface: ProofCommandInfo

Returns the ProofStepKind element.

Specified by:

getProofStepKind in interface ProofCommandInfo

Returns:

the ProofStepKind element.

setProofStepKind

public void setProofStepKind(ProofStepKind proofStepKind)

Description copied from interface: ProofCommandInfo

Sets the ProofStepKind element.

Specified by:

setProofStepKind in interface ProofCommandInfo

Parameters:

proofStepKind - the ProofStepKind element.

See Also:

ProofCommandInfo.getProofStepKind()

getProofStepScope

public ProofStepScope getProofStepScope()

Description copied from interface: ProofCommandInfo

Returns the ProofStepScope element.

Specified by:

getProofStepScope in interface ProofCommandInfo

Returns:

the ProofStepScope element.

setProofStepScope

public void setProofStepScope(ProofStepScope proofStepScope)

Description copied from interface: ProofCommandInfo

Sets the ProofStepScope element.

Specified by:

setProofStepScope in interface ProofCommandInfo

Parameters:

proofStepScope - the ProofStepScope element.

See Also:

ProofCommandInfo.getProofStepScope()