net.sourceforge.czt.zeves.impl

Class CaseAnalysisCommandImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandImpl

net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

All Implemented Interfaces:

Term, CaseAnalysisCommand, ProofCommand

public class CaseAnalysisCommandImpl
extends ProofCommandImpl
implements CaseAnalysisCommand

An implementation of the interface CaseAnalysisCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

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

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.ProofCommand

getProofStep, setProofStep

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

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

Constructor Detail

CaseAnalysisCommandImpl

protected CaseAnalysisCommandImpl()

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.

CaseAnalysisCommandImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

Overrides:

equals in class ProofCommandImpl

hashCode

public int hashCode()

Returns the hash code value for this CaseAnalysisCommandImpl.

Overrides:

hashCode in class ProofCommandImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class ProofCommandImpl

create

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

getPred

public Pred getPred()

Description copied from interface: CaseAnalysisCommand

Returns the Pred element.

Specified by:

getPred in interface CaseAnalysisCommand

Returns:

the Pred element.

setPred

public void setPred(Pred pred)

Description copied from interface: CaseAnalysisCommand

Sets the Pred element.

Specified by:

setPred in interface CaseAnalysisCommand

Parameters:

pred - the Pred element.

See Also:

CaseAnalysisCommand.getPred()

getCaseAnalysisKind

public CaseAnalysisKind getCaseAnalysisKind()

Description copied from interface: CaseAnalysisCommand

Returns the CaseAnalysisKind element.

Specified by:

getCaseAnalysisKind in interface CaseAnalysisCommand

Returns:

the CaseAnalysisKind element.

setCaseAnalysisKind

public void setCaseAnalysisKind(CaseAnalysisKind caseAnalysisKind)

Description copied from interface: CaseAnalysisCommand

Sets the CaseAnalysisKind element.

Specified by:

setCaseAnalysisKind in interface CaseAnalysisCommand

Parameters:

caseAnalysisKind - the CaseAnalysisKind element.

See Also:

CaseAnalysisCommand.getCaseAnalysisKind()