net.sourceforge.czt.zeves.impl

Class SimplificationCommandImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandImpl

net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

All Implemented Interfaces:

Term, ProofCommand, SimplificationCommand

public class SimplificationCommandImpl
extends ProofCommandImpl
implements SimplificationCommand

An implementation of the interface SimplificationCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

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

SimplificationCommandImpl

protected SimplificationCommandImpl()

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.

SimplificationCommandImpl

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

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

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

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 SimplificationCommandImpl 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

getRewriteKind

public RewriteKind getRewriteKind()

Description copied from interface: SimplificationCommand

Returns the RewriteKind element.

Specified by:

getRewriteKind in interface SimplificationCommand

Returns:

the RewriteKind element.

setRewriteKind

public void setRewriteKind(RewriteKind rewriteKind)

Description copied from interface: SimplificationCommand

Sets the RewriteKind element.

Specified by:

setRewriteKind in interface SimplificationCommand

Parameters:

rewriteKind - the RewriteKind element.

See Also:

SimplificationCommand.getRewriteKind()

getRewritePower

public RewritePower getRewritePower()

Description copied from interface: SimplificationCommand

Returns the RewritePower element.

Specified by:

getRewritePower in interface SimplificationCommand

Returns:

the RewritePower element.

setRewritePower

public void setRewritePower(RewritePower rewritePower)

Description copied from interface: SimplificationCommand

Sets the RewritePower element.

Specified by:

setRewritePower in interface SimplificationCommand

Parameters:

rewritePower - the RewritePower element.

See Also:

SimplificationCommand.getRewritePower()