net.sourceforge.czt.zeves.impl

Class WrappedCommandImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.zeves.impl.ProofCommandImpl

net.sourceforge.czt.zeves.impl.WrappedCommandImpl

All Implemented Interfaces:

Term, ProofCommand, WrappedCommand

Direct Known Subclasses:

ComplexCommandImpl, NormalizationCommandImpl

public abstract class WrappedCommandImpl
extends ProofCommandImpl
implements WrappedCommand

An implementation of the interface WrappedCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	WrappedCommandImpl() The default constructor.
protected	WrappedCommandImpl(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 WrappedCommandImpl for equality.
ProofCommand	getProofCommand() Returns the ProofCommand element.
int	hashCode() Returns the hash code value for this WrappedCommandImpl.
void	setProofCommand(ProofCommand proofCommand) Sets the ProofCommand 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, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

WrappedCommandImpl

protected WrappedCommandImpl()

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.

WrappedCommandImpl

protected WrappedCommandImpl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

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

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

getProofCommand

public ProofCommand getProofCommand()

Description copied from interface: WrappedCommand

Returns the ProofCommand element.

Specified by:

getProofCommand in interface WrappedCommand

Returns:

the ProofCommand element.

setProofCommand

public void setProofCommand(ProofCommand proofCommand)

Description copied from interface: WrappedCommand

Sets the ProofCommand element.

Specified by:

setProofCommand in interface WrappedCommand

Parameters:

proofCommand - the ProofCommand element.

See Also:

WrappedCommand.getProofCommand()