net.sourceforge.czt.zeves.impl

Class WithCommandImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandImpl

net.sourceforge.czt.zeves.impl.WrappedCommandImpl

net.sourceforge.czt.zeves.impl.ComplexCommandImpl

net.sourceforge.czt.zeves.impl.WithCommandImpl

All Implemented Interfaces:

Term, ComplexCommand, ProofCommand, WithCommand, WrappedCommand

public class WithCommandImpl
extends ComplexCommandImpl
implements WithCommand

An implementation of the interface WithCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

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

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

getExpr, getNameList, getPred, getZNameList, setExpr, setNameList, setPred

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

getProofCommand, setProofCommand

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

getExpr, getNameList, getPred, getZNameList, setExpr, setNameList, setPred

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

getProofCommand, setProofCommand

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

WithCommandImpl

protected WithCommandImpl()

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.

WithCommandImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

Overrides:

equals in class ComplexCommandImpl

hashCode

public int hashCode()

Returns the hash code value for this WithCommandImpl.

Overrides:

hashCode in class ComplexCommandImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class ComplexCommandImpl

create

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

getEnabled

public Boolean getEnabled()

Description copied from interface: WithCommand

Returns the Enabled element.

Specified by:

getEnabled in interface WithCommand

Returns:

the Enabled element.

setEnabled

public void setEnabled(Boolean enabled)

Description copied from interface: WithCommand

Sets the Enabled element.

Specified by:

setEnabled in interface WithCommand

Parameters:

enabled - the Enabled element.

See Also:

WithCommand.getEnabled()