net.sourceforge.czt.z.ast

Interface ConjPara

All Superinterfaces:

Para, Term

All Known Implementing Classes:

ConjParaImpl

public interface ConjPara
extends Para

A (generic) conjecture paragraph (C.4.11, C.4.12).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
String	getName() This is a convenience method for getting the name of a conjecture.
NameList	getNameList() Returns the NameList element.
Pred	getPred() Returns the Pred element.
ZNameList	getZNameList() This is a convenience method.
void	setName(Name name)
void	setNameList(NameList nameList) Sets the NameList element.
void	setPred(Pred pred) Sets the Pred element.

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()

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()

getName

String getName()

This is a convenience method for getting the name of a conjecture. Conjecture names are currently optional at the Unicode level, and are stored as annotations rather than as normal entries in the CZT XML format. This method returns a non-null String if the conjecture has a name annotation, or null otherwise. If the Z standard is extended in the future so that conjecture names are compulsory in the Unicode markup (as they are in the LaTeX markup), then this method may be replaced by an equivalent method that is automatically generated from the CZT XML schema.

setName

void setName(Name name)