org.qedeq.kernel.bo.service.logic
Class WellFormedCheckerExecutor

java.lang.Object
  org.qedeq.kernel.se.visitor.AbstractModuleVisitor
      org.qedeq.kernel.bo.service.basis.ControlVisitor
          org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor

All Implemented Interfaces:

ModuleServicePluginExecutor, ServiceCompleteness, ListVisitor, QedeqVisitor

public final class WellFormedCheckerExecutor
extends ControlVisitor
implements ModuleServicePluginExecutor

Checks if all formulas of a QEDEQ module are well formed. This plugin assumes all required modules are loaded!

Author:

Michael Meyling

Method Summary

protected void	addError(ModuleDataException me) Add exception to error collection.
protected void	addError(SourceFileException me) Add exception to error collection.
java.lang.Object	executePlugin(InternalModuleServiceCall call, java.lang.Object data) Execute plugin.
void	traverse(InternalServiceJob process) Start traverse of QedeqBo.
void	visitEnter(Axiom axiom) Visit certain element.
void	visitEnter(FunctionDefinition definition) Visit certain element.
void	visitEnter(InitialFunctionDefinition definition) Visit certain element.
void	visitEnter(InitialPredicateDefinition 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	visitEnter(Specification specification) Visit certain element.
void	visitLeave(Axiom axiom) Visit certain element.
void	visitLeave(FunctionDefinition definition) Visit certain element.
void	visitLeave(InitialFunctionDefinition definition) Visit certain element.
void	visitLeave(InitialPredicateDefinition 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.service.basis.ControlVisitor

addWarning, getBlocked, getCurrentContext, getCurrentNumbers, getErrorList, getInternalServiceCall, getInterrupted, getKernelQedeqBo, getLocalRuleKey, getLocationDescription, getNodeBo, getNodeDisplay, getReference, getService, getServices, getTraverser, getVisitPercentage, getWarningList, hasErrors, hasNoErrors, setBlocked, setLocationWithinModule

Methods inherited from class org.qedeq.kernel.se.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, 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, 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

Methods inherited from interface org.qedeq.kernel.bo.service.basis.ModuleServicePluginExecutor

getInterrupted, getLocationDescription, getVisitPercentage

Method Detail

executePlugin

public java.lang.Object executePlugin(InternalModuleServiceCall call,
                                      java.lang.Object data)
                               throws InterruptException

Description copied from interface: ModuleServicePluginExecutor

Execute plugin.

Specified by:

executePlugin in interface ModuleServicePluginExecutor

Parameters:

call - Service call.

data - Process execution data.

Returns:

Plugin specific resulting object. Might be null.

Throws:

InterruptException - User canceled execution.

traverse

public void traverse(InternalServiceJob process)
              throws SourceFileExceptionList

Description copied from class: ControlVisitor

Start traverse of QedeqBo. If during the traverse a ModuleDataException occurs it is thrown till high level, transformed into a SourceFileException and added to the error list. All collected exceptions (via ControlVisitor.addError(ModuleDataException) and ControlVisitor.addError(SourceFileException)) are thrown (if there were any).
If you are interested in warnings you have to call ControlVisitor.getWarningList() afterwards.

Overrides:

traverse in class ControlVisitor

Parameters:

process - We work in this service process.

Throws:

SourceFileExceptionList - All collected error exceptions.

visitEnter

public void visitEnter(Specification specification)
                throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

specification - Begin visit of this element.

Throws:

ModuleDataException - 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

Parameters:

axiom - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

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

Parameters:

axiom - End visit of this element.

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

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

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

Parameters:

definition - End visit of this element.

visitEnter

public void visitEnter(InitialPredicateDefinition 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

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public void visitLeave(InitialPredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public void visitEnter(InitialFunctionDefinition 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

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public void visitLeave(InitialFunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

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

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

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

Parameters:

definition - End visit of this element.

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

Parameters:

proposition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

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

Parameters:

definition - End visit of this element.

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

Parameters:

rule - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

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

Parameters:

rule - End visit of this element.

addError

protected void addError(ModuleDataException me)

Description copied from class: ControlVisitor

Add exception to error collection.

Overrides:

addError in class ControlVisitor

Parameters:

me - Exception to be added.

addError

protected void addError(SourceFileException me)

Description copied from class: ControlVisitor

Add exception to error collection.

Overrides:

addError in class ControlVisitor

Parameters:

me - Exception to be added.