net.sourceforge.czt.zeves.ast

Interface ComplexCommand

All Superinterfaces:

ProofCommand, Term, WrappedCommand

All Known Subinterfaces:

ApplyCommand, SubstitutionCommand, WithCommand

All Known Implementing Classes:

ApplyCommandImpl, ComplexCommandImpl, SubstitutionCommandImpl, WithCommandImpl

public interface ComplexCommand
extends WrappedCommand

Abstract complex command. It extends a wrapped command with other information like a specific predicate or expressions where the command is to be applied to. It also contains a list of names, which may be references to theorem names participating in the command's execution.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
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.
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 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

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getNameList

NameList getNameList()

Returns the NameList element.

Returns:

the NameList element.

getZNameList

ZNameList getZNameList()

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

setNameList

void setNameList(NameList nameList)

Sets the NameList element.

Parameters:

nameList - the NameList element.

See Also:

getNameList()

getExpr

Expr getExpr()

Returns the Expr element.

Returns:

the Expr element.

setExpr

void setExpr(Expr expr)

Sets the Expr element.

Parameters:

expr - the Expr element.

See Also:

getExpr()

getPred

Pred getPred()

Returns the Pred element.

Returns:

the Pred element.

setPred

void setPred(Pred pred)

Sets the Pred element.

Parameters:

pred - the Pred element.

See Also:

getPred()