org.qedeq.kernel.se.base.module
Interface NodeType

All Known Subinterfaces:

Axiom, FunctionDefinition, InitialFunctionDefinition, InitialPredicateDefinition, PredicateDefinition, Proposition, Rule

All Known Implementing Classes:

AxiomVo, FunctionDefinitionVo, InitialFunctionDefinitionVo, InitialPredicateDefinitionVo, 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.

Author:

Michael Meyling

Method Summary

Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
FunctionDefinition	getFunctionDefinition() Get definition, if this is an instance of FunctionDefinition.
InitialFunctionDefinition	getInitialFunctionDefinition() Get definition, if this is an instance of InitialFunctionDefinition.
InitialPredicateDefinition	getInitialPredicateDefinition() Get initial definition, if this is an instance of InitialPredicateDefinition.
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

Axiom getAxiom()

Get axiom, if this is an instance of Axiom.

Returns:

Axiom, maybe null.

getPredicateDefinition

PredicateDefinition getPredicateDefinition()

Get definition, if this is an instance of PredicateDefinition.

Returns:

Definition, maybe null.

getInitialPredicateDefinition

InitialPredicateDefinition getInitialPredicateDefinition()

Get initial definition, if this is an instance of InitialPredicateDefinition.

Returns:

Definition, maybe null.

getInitialFunctionDefinition

InitialFunctionDefinition getInitialFunctionDefinition()

Get definition, if this is an instance of InitialFunctionDefinition.

Returns:

Definition, maybe null.

getFunctionDefinition

FunctionDefinition getFunctionDefinition()

Get definition, if this is an instance of FunctionDefinition.

Returns:

Definition, maybe null.

getProposition

Proposition getProposition()

Get proposition, if this is an instance of Proposition.

Returns:

Proposition, maybe null.

getRule

Rule getRule()

Get rule, if this is an instance of Rule.

Returns:

Rule, maybe null.