org.qedeq.kernel.bo.control
Class QedeqBoFormalLogicChecker

java.lang.Object
  org.qedeq.kernel.bo.visitor.AbstractModuleVisitor
      org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

All Implemented Interfaces:

ListVisitor, QedeqVisitor

public final class QedeqBoFormalLogicChecker

extends AbstractModuleVisitor

Checks if all formulas of a QEDEQ module are well formed.

Version:

$Revision: 1.6 $

Method Summary

static void	check(ModuleProperties prop) Checks if all formulas of a QEDEQ module are well formed.
ModuleContext	getCurrentContext() Get current context within original.
protected Qedeq	getQedeqOriginal() Get original QEDEQ module.
void	setLocationWithinModule(String locationWithinModule) Set location information where are we within the original module.
void	visitEnter(Axiom axiom) Visit certain element.
void	visitEnter(FunctionDefinition definition) Visit certain element.
void	visitEnter(PredicateDefinition definition) Visit certain element.
void	visitEnter(Proposition proposition) Visit certain element.
void	visitEnter(Rule rule) Visit certain element.
void	visitLeave(Axiom axiom) Visit certain element.
void	visitLeave(FunctionDefinition definition) Visit certain element.
void	visitLeave(PredicateDefinition definition) Visit certain element.
void	visitLeave(Proposition definition) Visit certain element.
void	visitLeave(Rule rule) Visit certain element.

Methods inherited from class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor

visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

check

public static void check(ModuleProperties prop)
                  throws SourceFileExceptionList

Checks if all formulas of a QEDEQ module are well formed.

Parameters:

prop - QEDEQ module properties object.

Throws:

SourceFileExceptionList - Major problem occurred.

visitEnter

public void visitEnter(Axiom axiom)
                throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Throws:

ModuleDataException

visitLeave

public void visitLeave(Axiom axiom)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

visitEnter

public void visitEnter(PredicateDefinition definition)
                throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Throws:

ModuleDataException

visitLeave

public void visitLeave(PredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

visitEnter

public void visitEnter(FunctionDefinition definition)
                throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Throws:

ModuleDataException

visitLeave

public void visitLeave(FunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

visitEnter

public void visitEnter(Proposition proposition)
                throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Throws:

ModuleDataException

visitLeave

public void visitLeave(Proposition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

visitEnter

public void visitEnter(Rule rule)
                throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Throws:

ModuleDataException

visitLeave

public void visitLeave(Rule rule)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

setLocationWithinModule

public void setLocationWithinModule(String locationWithinModule)

Set location information where are we within the original module.

Parameters:

locationWithinModule - Location within module.

getCurrentContext

public final ModuleContext getCurrentContext()

Get current context within original.

Returns:

Current context.

getQedeqOriginal

protected final Qedeq getQedeqOriginal()

Get original QEDEQ module.

Returns:

Original QEDEQ module.