org.qedeq.kernel.bo.control
Class ControlVisitor

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

All Implemented Interfaces:

ListVisitor, QedeqVisitor

Direct Known Subclasses:

LoadDirectlyRequiredModules, ModuleLabelsCreator, Qedeq2Latex, Qedeq2Xml, QedeqBoDuplicateLanguageChecker, QedeqBoFormalLogicChecker

public abstract class ControlVisitor

extends AbstractModuleVisitor

Basic visitor that gives some error collecting features. Also hides the traverser that does the work.

Version:

$Revision: 1.1 $

Constructor Summary

protected

ControlVisitor(KernelQedeqBo prop) Constructor.

Method Summary

protected void	addModuleDataException(ModuleDataException me) Add exception to error collection.
protected void	addSourceFileException(SourceFileException sf) Add exception to error collection.
protected ModuleContext	getCurrentContext()
protected KernelQedeqBo	getQedeqBo() Get QedeqBo.
DefaultSourceFileExceptionList	getSourceFileExceptionList() Get list of exceptions that occurred during loading referenced modules.
protected void	setBlocked(boolean blocked) Set if further traverse is blocked.
protected void	traverse() Start traverse of QedeqBo.

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ControlVisitor

protected ControlVisitor(KernelQedeqBo prop)

Constructor.

Parameters:

prop - Internal QedeqBo.

Method Detail

getQedeqBo

protected KernelQedeqBo getQedeqBo()

Get QedeqBo.

Returns:

QedeqBo.

traverse

protected void traverse()
                 throws DefaultSourceFileExceptionList

Start traverse of QedeqBo. If during the traverse a ModuleDataException occurs it is thrown till high level and transformed into a DefaultSourceFileExceptionList. Otherwise all collected exceptions (via addModuleDataException(ModuleDataException) and addSourceFileException(SourceFileException)) are thrown.

Throws:

DefaultSourceFileExceptionList - All collected exceptions.

getCurrentContext

protected ModuleContext getCurrentContext()

getSourceFileExceptionList

public DefaultSourceFileExceptionList getSourceFileExceptionList()

Get list of exceptions that occurred during loading referenced modules.

Returns:

Exception list.

addModuleDataException

protected void addModuleDataException(ModuleDataException me)

Add exception to error collection.

Parameters:

me - Exception to be added.

addSourceFileException

protected void addSourceFileException(SourceFileException sf)

Add exception to error collection.

Parameters:

sf - Exception to be added.

setBlocked

protected void setBlocked(boolean blocked)

Set if further traverse is blocked.

Parameters:

blocked - Further traverse blocked?