org.qedeq.kernel.bo.service.basis
Class ModuleLabelsCreator

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

All Implemented Interfaces:

ListVisitor, QedeqVisitor

public final class ModuleLabelsCreator
extends ControlVisitor

Create mapping from labels to NodeVo for a QEDEQ module.

Author:

Michael Meyling

Constructor Summary

ModuleLabelsCreator(Service service, KernelQedeqBo prop)
Constructor.

Method Summary

void	createLabels(InternalServiceJob process, ModuleLabels labels) Fill QEDEQ module labels.
ModuleLabels	getLabels() Get QEDEQ module labels.
void	visitEnter(Axiom axiom) Visit certain element.
void	visitEnter(FunctionDefinition funcDef) Increase function definition counter.
void	visitEnter(Import imp) Visit import.
void	visitEnter(Node node) Visit certain element.
void	visitEnter(PredicateDefinition predDef) Visit certain element.
void	visitEnter(Proposition proposition) Visit certain element.
void	visitEnter(Rule rule) Visit certain element.
void	visitLeave(Node node) 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, 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

Constructor Detail

ModuleLabelsCreator

public ModuleLabelsCreator(Service service,
                           KernelQedeqBo prop)

Constructor.

Parameters:

service - This service we work for.

prop - Internal QedeqBo.

Method Detail

visitEnter

public void visitEnter(Import imp)

Visit import. Loads referenced QEDEQ module and saves reference.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

imp - Begin visit of this element.

visitEnter

public void visitEnter(Axiom axiom)

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.

visitEnter

public void visitEnter(Proposition proposition)

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.

visitEnter

public void visitEnter(FunctionDefinition funcDef)

Increase function definition counter.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

funcDef - Begin visit of this element.

visitEnter

public void visitEnter(PredicateDefinition predDef)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

predDef - Begin visit of this element.

visitEnter

public void visitEnter(Rule rule)

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.

visitEnter

public void visitEnter(Node node)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

node - Begin visit of this element.

visitLeave

public void visitLeave(Node node)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

node - End visit of this element.

createLabels

public void createLabels(InternalServiceJob process,
                         ModuleLabels labels)
                  throws SourceFileExceptionList

Fill QEDEQ module labels.

Parameters:

process - We work for this process.

labels - Herein the labels are filled.

Throws:

SourceFileExceptionList - Traverse lead to errors.

getLabels

public ModuleLabels getLabels()

Get QEDEQ module labels.

Returns:

QEDEQ module labels.