net.sourceforge.czt.z.ast

Interface AxPara

All Superinterfaces:

Para, Term

All Known Implementing Classes:

AxParaImpl

public interface AxPara
extends Para

A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition

• C.4.3 (Axiomatic description) and C.4.5 (Generic description). In this case, Box=AxBox. NameList contains the generic parameters, so is empty for an axiomatic description. For example, \begin{axdef} x,y: \nat \where x \neq y \end{axdef} \begin{gendef}[T] x,y: T \where x \neq y \end{gendef} both translate into an AxPara with Box=AxBox and SchText containing the declaration of x and y, and the predicate x \neq y. For the axdef example, NameList is empty, whereas for the gendef example it contains T.
• C.4.4 (Schema definition) and C.4.6 (Generic schema definition). In this case, Box=SchBox. For example, \begin{schema}{S} x,y: \nat \where x \neq y \end{schema} is translated into a nongeneric AxPara (see 12.2.3.1 or C.4.4.2) whose SchText contains a single ConstDecl, S == [x,y:\nat | x \neq y]. A generic schema definition is similar but has a non empty NameList (see 12.2.3.2 or C.4.6.2).
• C.4.7 (Horizontal definition) and C.4.8 (Generic horizontal definition). In this case, Box=OmitBox. For example, \begin{zed}S == [x,y: \nat | x \neq y]\end{zed} is translated into a nongeneric AxPara (see 12.2.3.3 or C.4.7.2) whose SchText contains a single ConstDecl, S == [x,y:\nat | x \neq y]. A generic horizontal definition is similar but has a non empty NameList (see 12.2.3.4 or C.4.8.2).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Box	getBox() Returns the Box element.
ZNameList	getName()
NameList	getNameList() Returns the NameList element.
SchText	getSchText() Returns the SchText element.
ZNameList	getZNameList() This is a convenience method.
ZSchText	getZSchText() This is a convenience method.
void	setBox(Box box) Sets the Box element.
void	setNameList(NameList nameList) Sets the NameList element.
void	setSchText(SchText schText) Sets the SchText 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()

getSchText

SchText getSchText()

Returns the SchText element.

Returns:

the SchText element.

setSchText

void setSchText(SchText schText)

Sets the SchText element.

Parameters:

schText - the SchText element.

See Also:

getSchText()

getBox

Box getBox()

Returns the Box element.

Returns:

the Box element.

setBox

void setBox(Box box)

Sets the Box element.

Parameters:

box - the Box element.

See Also:

getBox()

getZSchText

ZSchText getZSchText()

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

getName

ZNameList getName()