Uses of Interface
org.qedeq.kernel.base.module.Specification

Packages that use Specification

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.latex	LaTeX export abilities of the kernel.

Uses of Specification in org.qedeq.kernel.base.module

Methods in org.qedeq.kernel.base.module that return Specification

Specification	UsedByList.get(int index) Get index-th element of list.
Specification	Import.getSpecification() Get import specification.
Specification	Header.getSpecification() Get module specification.

Uses of Specification in org.qedeq.kernel.bo.visitor

Methods in org.qedeq.kernel.bo.visitor with parameters of type Specification

void	QedeqVisitor.visitEnter(Specification specification) Visit certain element.
void	QedeqVisitor.visitLeave(Specification specification) Visit certain element.
void	QedeqTransverser.accept(Specification specification) Traverse specification.
void	QedeqNotNullTransverser.accept(Specification specification)
void	AbstractModuleVisitor.visitEnter(Specification specification)
void	AbstractModuleVisitor.visitLeave(Specification specification)

Uses of Specification in org.qedeq.kernel.dto.module

Classes in org.qedeq.kernel.dto.module that implement Specification

class

SpecificationVo Describes a specification of a module, that means its name, versions and possible "physical" locations.

Methods in org.qedeq.kernel.dto.module that return Specification

Specification	UsedByListVo.get(int index)
Specification	ImportVo.getSpecification()
Specification	HeaderVo.getSpecification()

Uses of Specification in org.qedeq.kernel.latex

Methods in org.qedeq.kernel.latex with parameters of type Specification

void	Qedeq2Xml.visitEnter(Specification specification)
void	Qedeq2Xml.visitLeave(Specification specification)