org.qedeq.kernel.bo.control
Class QedeqBoDuplicateLanguageChecker

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

All Implemented Interfaces:

ListVisitor, QedeqVisitor

public final class QedeqBoDuplicateLanguageChecker

extends AbstractModuleVisitor

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

Version:

$Revision: 1.4 $

Method Summary

static void	check(ModuleAddress globalContext, QedeqBo qedeq) 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(LatexList list) Visit certain element.
void	visitLeave(LatexList list) 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, 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

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(ModuleAddress globalContext,
                         QedeqBo qedeq)
                  throws ModuleDataException

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

Parameters:

globalContext - Module location information.

qedeq - Basic QEDEQ module object.

Throws:

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

Throws:

ModuleDataException

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

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.