net.sourceforge.czt.zeves.ast

Interface ZEvesLabel

All Superinterfaces:

Term

All Known Implementing Classes:

ZEvesLabelImpl

public interface ZEvesLabel
extends Term

Label to theorems and axiomatic predicates

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
LabelAbility	getLabelAbility() Returns the LabelAbility element.
LabelUsage	getLabelUsage() Returns the LabelUsage element.
Name	getName() Returns the Name element.
ZName	getZName() This is a convenience method.
void	setLabelAbility(LabelAbility labelAbility) Sets the LabelAbility element.
void	setLabelUsage(LabelUsage labelUsage) Sets the LabelUsage element.
void	setName(Name name) Sets the Name 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()

getLabelAbility

LabelAbility getLabelAbility()

Returns the LabelAbility element.

Returns:

the LabelAbility element.

setLabelAbility

void setLabelAbility(LabelAbility labelAbility)

Sets the LabelAbility element.

Parameters:

labelAbility - the LabelAbility element.

See Also:

getLabelAbility()

getLabelUsage

LabelUsage getLabelUsage()

Returns the LabelUsage element.

Returns:

the LabelUsage element.

setLabelUsage

void setLabelUsage(LabelUsage labelUsage)

Sets the LabelUsage element.

Parameters:

labelUsage - the LabelUsage element.

See Also:

getLabelUsage()

getZName

ZName getZName()

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