org.qedeq.kernel.se.base.module
Interface Header

All Known Implementing Classes:

HeaderVo

public interface Header

Header of a QEDEQ file. The header specifies such things as the location of the file, the title and abstract of that module, imports and exports.

Author:

Michael Meyling

Method Summary

AuthorList	getAuthorList() Get author list.
java.lang.String	getEmail() Get email address of module administrator.
ImportList	getImportList() Get list of needed modules.
Specification	getSpecification() Get module specification.
LatexList	getSummary() Get module summary.
LatexList	getTitle() Get module title.
UsedByList	getUsedByList() Get list of modules, that use this module.

Method Detail

getSpecification

Specification getSpecification()

Get module specification.

Returns:

Module specification.

getTitle

LatexList getTitle()

Get module title.

Returns:

Module title.

getSummary

LatexList getSummary()

Get module summary.

Returns:

Module abstract.

getAuthorList

AuthorList getAuthorList()

Get author list.

Returns:

Module author list.

getImportList

ImportList getImportList()

Get list of needed modules.

Returns:

Import list.

getUsedByList

UsedByList getUsedByList()

Get list of modules, that use this module.

Returns:

Used by list.

getEmail

java.lang.String getEmail()

Get email address of module administrator.

Returns:

Email address of module administrator.