net.sourceforge.czt.zeves.impl

Class ComplexCommandImpl

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

All Implemented Interfaces:

Term, ComplexCommand, ProofCommand, WrappedCommand

Direct Known Subclasses:

ApplyCommandImpl, SubstitutionCommandImpl, WithCommandImpl

public abstract class ComplexCommandImpl
extends WrappedCommandImpl
implements ComplexCommand

An implementation of the interface ComplexCommand.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ComplexCommandImpl() The default constructor.
protected	ComplexCommandImpl(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 ComplexCommandImpl for equality.
Expr	getExpr() Returns the Expr element.
NameList	getNameList() Returns the NameList element.
Pred	getPred() Returns the Pred element.
ZNameList	getZNameList() This is a convenience method.
int	hashCode() Returns the hash code value for this ComplexCommandImpl.
void	setExpr(Expr expr) Sets the Expr element.
void	setNameList(NameList nameList) Sets the NameList element.
void	setPred(Pred pred) Sets the Pred element.

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.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, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

ComplexCommandImpl

protected ComplexCommandImpl()

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.

ComplexCommandImpl

protected ComplexCommandImpl(BaseFactory factory)

Method Detail

equals

public boolean equals(Object obj)

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

Overrides:

equals in class WrappedCommandImpl

hashCode

public int hashCode()

Returns the hash code value for this ComplexCommandImpl.

Overrides:

hashCode in class WrappedCommandImpl

accept

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

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class WrappedCommandImpl

getNameList

public NameList getNameList()

Description copied from interface: ComplexCommand

Returns the NameList element.

Specified by:

getNameList in interface ComplexCommand

Returns:

the NameList element.

setNameList

public void setNameList(NameList nameList)

Description copied from interface: ComplexCommand

Sets the NameList element.

Specified by:

setNameList in interface ComplexCommand

Parameters:

nameList - the NameList element.

See Also:

ComplexCommand.getNameList()

getZNameList

public ZNameList getZNameList()

This is a convenience method. It returns a ZNameList if #getNameList returns an instance of ZNameList and throws an UnsupportedAstClassException otherwise.

Specified by:

getZNameList in interface ComplexCommand

getExpr

public Expr getExpr()

Description copied from interface: ComplexCommand

Returns the Expr element.

Specified by:

getExpr in interface ComplexCommand

Returns:

the Expr element.

setExpr

public void setExpr(Expr expr)

Description copied from interface: ComplexCommand

Sets the Expr element.

Specified by:

setExpr in interface ComplexCommand

Parameters:

expr - the Expr element.

See Also:

ComplexCommand.getExpr()

getPred

public Pred getPred()

Description copied from interface: ComplexCommand

Returns the Pred element.

Specified by:

getPred in interface ComplexCommand

Returns:

the Pred element.

setPred

public void setPred(Pred pred)

Description copied from interface: ComplexCommand

Sets the Pred element.

Specified by:

setPred in interface ComplexCommand

Parameters:

pred - the Pred element.

See Also:

ComplexCommand.getPred()