|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.dto.module.NodeVo
Special subsection of a qedeq file.
| Constructor Summary | |
NodeVo()
Constructs a new empty node. |
|
| Method Summary | |
boolean |
equals(Object obj)
|
String |
getId()
Get label of node. |
String |
getLevel()
Get level of node. |
LatexList |
getName()
Set name of node. |
NodeType |
getNodeType()
Get node content. |
LatexList |
getPrecedingText()
Get text before the formula. |
LatexList |
getSucceedingText()
Get text after the formula. |
LatexList |
getTitle()
Get title of subsection. |
int |
hashCode()
|
void |
setId(String id)
Set label for this node. |
void |
setLevel(String level)
Set node level. |
void |
setName(LatexListVo name)
Set node name. |
void |
setNodeType(NodeType nodeType)
Set the concrete theorem or definition or else. |
void |
setPrecedingText(LatexListVo precedingText)
Set preceding LaTeX text. |
void |
setSucceedingText(LatexListVo succeedingText)
Set succeeding LaTeX text. |
void |
setTitle(LatexListVo title)
Set node title. |
String |
toString()
|
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public NodeVo()
| Method Detail |
public final void setId(String id)
id - Label for referencing.public final String getId()
Node
getId in interface Nodepublic final void setLevel(String level)
level - Level of this node.public final String getLevel()
Node
getLevel in interface Nodepublic final void setName(LatexListVo name)
name - Name of this node.public final LatexList getName()
Node
getName in interface Nodepublic final void setTitle(LatexListVo title)
title - Title of node.public final LatexList getTitle()
Node
getTitle in interface Nodepublic final void setPrecedingText(LatexListVo precedingText)
precedingText - Preceding LaTeX text.public final LatexList getPrecedingText()
Node
getPrecedingText in interface Nodepublic final void setNodeType(NodeType nodeType)
nodeType - An instance of NodeType.public final NodeType getNodeType()
Node
getNodeType in interface Nodepublic final void setSucceedingText(LatexListVo succeedingText)
succeedingText - Succeeding LaTeX text.public final LatexList getSucceedingText()
Node
getSucceedingText in interface Nodepublic boolean equals(Object obj)
public int hashCode()
public String toString()
|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |