Hilbert II - Version 0.03.08

org.qedeq.kernel.bo.control
Class LoadRequiredModules

java.lang.Object
  extended byorg.qedeq.kernel.bo.visitor.AbstractModuleVisitor
      extended byorg.qedeq.kernel.bo.control.LoadRequiredModules
All Implemented Interfaces:
ListVisitor, QedeqVisitor

public final class LoadRequiredModules
extends AbstractModuleVisitor

Load all required QEDEQ modules.

Version:
$Revision: 1.2 $

Method Summary
static void loadRequired(ModuleProperties prop)
          Load all required QEDEQ modules for a given QEDEQ module.
 void visitEnter(Import imp)
          Visit certain element.
 void visitLeave(ImportList imports)
          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

loadRequired

public static void loadRequired(ModuleProperties prop)
                         throws SourceFileExceptionList
Load all required QEDEQ modules for a given QEDEQ module.

Parameters:
prop - Module properties.
Throws:
SourceFileExceptionList - Failure(s).

visitEnter

public void visitEnter(Import imp)
                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 void visitLeave(ImportList imports)
Description copied from interface: QedeqVisitor
Visit certain element. End of visit.

Specified by:
visitLeave in interface QedeqVisitor
Overrides:
visitLeave in class AbstractModuleVisitor

Hilbert II - Version 0.03.08

©left GNU General Public Licence
All Rights Reserved.