org.qedeq.kernel.bo.service.latex
Class QedeqBoDuplicateLanguageChecker

java.lang.Object
  org.qedeq.kernel.se.visitor.AbstractModuleVisitor
      org.qedeq.kernel.bo.service.basis.ControlVisitor
          org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker

All Implemented Interfaces:

ListVisitor, QedeqVisitor

public final class QedeqBoDuplicateLanguageChecker
extends ControlVisitor

Checks if no duplicate language entries exist.

Author:

Michael Meyling

Method Summary

static void	check(InternalModuleServiceCall call) Checks if all formulas of a QEDEQ module are well formed.
void	visitEnter(LatexList list) Visit certain element.
void	visitLeave(LatexList list) Visit certain element.

Methods inherited from class org.qedeq.kernel.bo.service.basis.ControlVisitor

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

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, 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, 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(InternalModuleServiceCall call)
                  throws SourceFileExceptionList

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

Parameters:

call - Service process we work in.

Throws:

SourceFileExceptionList - An error occurred.

visitEnter

public final void visitEnter(LatexList list)
                      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:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(LatexList list)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.