org.qedeq.kernel.base.module
Interface NodeType

All Known Subinterfaces:

Axiom, FunctionDefinition, PredicateDefinition, Proposition, Rule

All Known Implementing Classes:

AxiomVo, FunctionDefinitionVo, PredicateDefinitionVo, PropositionVo, 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.7 $

Method Summary

Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
FunctionDefinition	getFunctionDefinition() Get definition, if this is an instance of FunctionDefinition.
PredicateDefinition	getPredicateDefinition() Get definition, if this is an instance of PredicateDefinition.
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.

getPredicateDefinition

public PredicateDefinition getPredicateDefinition()

Get definition, if this is an instance of PredicateDefinition.

Returns:

Definition, maybe null.

getFunctionDefinition

public FunctionDefinition getFunctionDefinition()

Get definition, if this is an instance of FunctionDefinition.

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.