org.qedeq.kernel.base.module
Interface NodeType

All Known Subinterfaces:

Axiom, Definition, Proposition, Rule

All Known Implementing Classes:

AxiomBo, AxiomVo, DefinitionBo, DefinitionVo, PropositionBo, PropositionVo, RuleBo, RuleVo

public interface NodeType

Marker interface for different node types. Might be a definition or theorem or else. TODO mime 20050707: an interface must not know its implementations. This one does! This was necessary as a quick hack to get some information in QedeqBoFactory and Context2XPath. mime 20051216 I still see no solution to get round this. Some JUnit tests work against this interface and get no information about the instance. See in QedeqKernelSeTest: org.qedeq.kernel.bo.control.QedeqProxy.

Version:

$Revision: 1.4 $

Method Summary

Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
Definition	getDefinition() Get definition, if this is an instance of Definition.
Proposition	getProposition() Get proposition, if this is an instance of Proposition.
Rule	getRule() Get rule, if this is an instance of Rule.

Method Detail

getAxiom

public Axiom getAxiom()

Get axiom, if this is an instance of Axiom.

Returns:

Axiom, maybe null.

getDefinition

public Definition getDefinition()

Get definition, if this is an instance of Definition.

Returns:

Definition, maybe null.

getProposition

public Proposition getProposition()

Get proposition, if this is an instance of Proposition.

Returns:

Proposition, maybe null.

getRule

public Rule getRule()

Get rule, if this is an instance of Rule.

Returns:

Rule, maybe null.