Hilbert II - Version 0.03.01

org.qedeq.kernel.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.

Version:
$Revision: 1.4 $

Method Summary
 AuthorList getAuthorList()
          Get author list.
 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

public Specification getSpecification()
Get module specification.

Returns:
Module specification.

getTitle

public LatexList getTitle()
Get module title.

Returns:
Module title.

getSummary

public LatexList getSummary()
Get module summary.

Returns:
Module abstract.

getAuthorList

public AuthorList getAuthorList()
Get author list.

Returns:
Module author list.

getImportList

public ImportList getImportList()
Get list of needed modules.

Returns:
Import list.

getUsedByList

public UsedByList getUsedByList()
Get list of modules, that use this module.

Returns:
Used by list.

getEmail

public String getEmail()
Get email address of module administrator.

Returns:
Email address of module administrator.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.