|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.qedeq.kernel.se.dto.module.HeaderVo
public class HeaderVo
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.
Constructor Summary | |
---|---|
HeaderVo()
Constructs a new module header. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
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. |
int |
hashCode()
|
void |
setAuthorList(AuthorListVo authors)
Set list of authors of this module. |
void |
setEmail(java.lang.String email)
Set email address of module administrator. |
void |
setImportList(ImportListVo imports)
Set list of imports needed for this module. |
void |
setSpecification(SpecificationVo specification)
Set module specification. |
void |
setSummary(LatexListVo summary)
Set module summary text. |
void |
setTitle(LatexListVo title)
Set module title. |
void |
setUsedByList(UsedByListVo usedby)
Set list of known modules that need this module. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public HeaderVo()
Method Detail |
---|
public final void setSpecification(SpecificationVo specification)
specification
- Module specification.public final Specification getSpecification()
Header
getSpecification
in interface Header
public final void setTitle(LatexListVo title)
title
- Module title texts.public final LatexList getTitle()
Header
getTitle
in interface Header
public final void setSummary(LatexListVo summary)
summary
- Module summary text.public final LatexList getSummary()
Header
getSummary
in interface Header
public final void setAuthorList(AuthorListVo authors)
authors
- Author list.public final AuthorList getAuthorList()
Header
getAuthorList
in interface Header
public final void setImportList(ImportListVo imports)
imports
- Module import list.public final ImportList getImportList()
Header
getImportList
in interface Header
public final void setUsedByList(UsedByListVo usedby)
usedby
- List of modules.public final UsedByList getUsedByList()
Header
getUsedByList
in interface Header
public final void setEmail(java.lang.String email)
email
- Email address.public final java.lang.String getEmail()
Header
getEmail
in interface Header
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |