|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use KernelNodeBo | |
|---|---|
| org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
| org.qedeq.kernel.bo.service.basis | Contains business object controllers. |
| Uses of KernelNodeBo in org.qedeq.kernel.bo.module |
|---|
| Methods in org.qedeq.kernel.bo.module that return KernelNodeBo | |
|---|---|
KernelNodeBo |
Reference.getNode()
Node the reference points to. |
KernelNodeBo |
DefaultReference.getNode()
|
KernelNodeBo |
ModuleLabels.getNode(java.lang.String id)
Get node for given id. |
| Constructors in org.qedeq.kernel.bo.module with parameters of type KernelNodeBo | |
|---|---|
DefaultReference(KernelNodeBo nodeCurrent,
KernelQedeqBo qedeqGoal,
java.lang.String qedeqGoalLabel,
KernelNodeBo nodeGoal,
java.lang.String nodeGoalLabel,
java.lang.String subLabel,
java.lang.String proofLineLabel)
Constructor. |
|
| Uses of KernelNodeBo in org.qedeq.kernel.bo.service.basis |
|---|
| Methods in org.qedeq.kernel.bo.service.basis that return KernelNodeBo | |
|---|---|
KernelNodeBo |
ControlVisitor.getNodeBo()
Get node that is currently parsed. |
| Methods in org.qedeq.kernel.bo.service.basis with parameters of type KernelNodeBo | |
|---|---|
java.lang.String |
ControlVisitor.getNodeDisplay(java.lang.String label,
KernelNodeBo kNode,
java.lang.String language)
Get display text for node. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||