net.sourceforge.czt.circus.ast

Interface NameSetPara

All Superinterfaces:

Para, Term

All Known Implementing Classes:

NameSetParaImpl

public interface NameSetPara
extends Para

A name set paragraph that introduces a name for a name set. A name set encapsulates a Z Expr.

It represents the nameset N == NSExpression grammar rule, where N is a Name

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Name	getName() Returns the Name element.
NameSet	getNameSet() Returns the NameSet element.
ZName	getZName() This is a convenience method.
void	setName(Name name) Sets the Name element.
void	setNameSet(NameSet nameSet) Sets the NameSet 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()

getNameSet

NameSet getNameSet()

Returns the NameSet element.

Returns:

the NameSet element.

setNameSet

void setNameSet(NameSet nameSet)

Sets the NameSet element.

Parameters:

nameSet - the NameSet element.

See Also:

getNameSet()

getZName

ZName getZName()

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