net.sourceforge.czt.z.ast

Interface ZName

All Superinterfaces:

Name, Term

All Known Implementing Classes:

ZNameImpl

public interface ZName
extends Name

A Z name.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
String	getId() Returns the Id element.
OperatorName	getOperatorName() Returns an OperatorName, if this name is an operator name, null otherwise.
OperatorName	getOperatorName(Fixity fixity) Returns an OperatorName with specific fixity, if this name is an operator name, null otherwise.
StrokeList	getStrokeList() Returns the StrokeList element.
String	getWord() Returns the Word element.
ZStrokeList	getZStrokeList() This is a convenience method.
void	setId(String id) Sets the Id element.
void	setStrokeList(StrokeList strokeList) Sets the StrokeList element.
void	setWord(String word) Sets the Word element.

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

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

Method Detail

getWord

String getWord()

Returns the Word element.

Returns:

the Word element.

setWord

void setWord(String word)

Sets the Word element.

Parameters:

word - the Word element.

See Also:

getWord()

getStrokeList

StrokeList getStrokeList()

Returns the StrokeList element.

Returns:

the StrokeList element.

setStrokeList

void setStrokeList(StrokeList strokeList)

Sets the StrokeList element.

Parameters:

strokeList - the StrokeList element.

See Also:

getStrokeList()

getId

String getId()

Returns the Id element.

Returns:

the Id element.

setId

void setId(String id)

Sets the Id element.

Parameters:

id - the Id element.

See Also:

getId()

getOperatorName

OperatorName getOperatorName()

Returns an OperatorName, if this name is an operator name, null otherwise.

Returns:

getOperatorName

OperatorName getOperatorName(Fixity fixity)

Returns an OperatorName with specific fixity, if this name is an operator name, null otherwise.

Returns:

getZStrokeList

ZStrokeList getZStrokeList()

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

Returns: