net.sourceforge.czt.zeves.ast

Interface ProofScript

All Superinterfaces:

Para, Term

All Known Implementing Classes:

ProofScriptImpl

public interface ProofScript
extends Para

Sequence of proof commands

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Name	getName() Returns the Name element.
ProofCommandList	getProofCommandList() Returns the ProofCommandList element.
ZName	getZName() This is a convenience method.
void	setName(Name name) Sets the Name element.
void	setProofCommandList(ProofCommandList proofCommandList) Sets the ProofCommandList element.

Methods inherited from interface net.sourceforge.czt.base.ast.Term

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

Method Detail

getName

Name getName()

Returns the Name element.

Returns:

the Name element.

setName

void setName(Name name)

Sets the Name element.

Parameters:

name - the Name element.

See Also:

getName()

getProofCommandList

ProofCommandList getProofCommandList()

Returns the ProofCommandList element.

Returns:

the ProofCommandList element.

setProofCommandList

void setProofCommandList(ProofCommandList proofCommandList)

Sets the ProofCommandList element.

Parameters:

proofCommandList - the ProofCommandList element.

See Also:

getProofCommandList()

getZName

ZName getZName()

This is a convenience method. It returns the ZName if Name is an instance of ZName and throws an UnsupportedAstClassException otherwise.