net.sourceforge.czt.z.ast

Interface Spec

All Superinterfaces:

Term

All Known Implementing Classes:

SpecImpl

public interface Spec
extends Term

A specification (C.2).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ListTerm<Sect>	getSect() Returns the Sect elements.
String	getVersion() Returns the Version element.
void	setVersion(String version) Sets the Version element.

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

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

Method Detail

getSect

ListTerm<Sect> getSect()

Returns the Sect elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Returns:

a list of Sect elements.

getVersion

String getVersion()

Returns the Version element.

Returns:

the Version element.

setVersion

void setVersion(String version)

Sets the Version element.

Parameters:

version - the Version element.

See Also:

getVersion()