|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.qedeq.kernel.se.dto.module.NodeVo
public class NodeVo
Special subsection of a QEDEQ file.
Constructor Summary | |
---|---|
NodeVo()
Constructs a new empty node. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
java.lang.String |
getId()
Get label of node. |
java.lang.String |
getLevel()
Get level of node. |
LatexList |
getName()
Set name of node. |
Node |
getNode()
Get Node, if this is an instance of Node . |
NodeType |
getNodeType()
Get node content. |
LatexList |
getPrecedingText()
Get text before the formula. |
Subsection |
getSubsection()
Get subsection, if this is an instance of Subsection . |
LatexList |
getSucceedingText()
Get text after the formula. |
LatexList |
getTitle()
Get title of subsection. |
int |
hashCode()
|
void |
setId(java.lang.String id)
Set label for this node. |
void |
setLevel(java.lang.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. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public NodeVo()
Method Detail |
---|
public Node getNode()
SubsectionType
Node
.
getNode
in interface SubsectionType
null
.public Subsection getSubsection()
SubsectionType
Subsection
.
getSubsection
in interface SubsectionType
null
.public final void setId(java.lang.String id)
id
- Label for referencing.public final java.lang.String getId()
Node
getId
in interface Node
public final void setLevel(java.lang.String level)
level
- Level of this node.public final java.lang.String getLevel()
Node
getLevel
in interface Node
public final void setName(LatexListVo name)
name
- Name of this node.public final LatexList getName()
Node
getName
in interface Node
public final void setTitle(LatexListVo title)
title
- Title of node.public final LatexList getTitle()
Node
getTitle
in interface Node
public final void setPrecedingText(LatexListVo precedingText)
precedingText
- Preceding LaTeX text.public final LatexList getPrecedingText()
Node
getPrecedingText
in interface Node
public final void setNodeType(NodeType nodeType)
nodeType
- An instance of NodeType
.public final NodeType getNodeType()
Node
getNodeType
in interface Node
public final void setSucceedingText(LatexListVo succeedingText)
succeedingText
- Succeeding LaTeX text.public final LatexList getSucceedingText()
Node
getSucceedingText
in interface Node
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 |