Package org.qedeq.kernel.bo.service.dependency

Plugin for loading all required modules.

See:
Description

Interface Summary

DependencyErrors

Error codes and messages for dependency package.

Class Summary

LoadDirectlyRequiredModulesExecutor	Load all directly imported QEDEQ modules.
LoadDirectlyRequiredModulesPlugin	Load all imported modules.
LoadRequiredModulesExecutor	Load all required QEDEQ modules.
LoadRequiredModulesPlugin	Load all imported modules recursively.

Exception Summary

LoadRequiredModuleException

Loading an required QEDEQ module failed.

Package org.qedeq.kernel.bo.service.dependency Description

Plugin for loading all required modules. A module can import other modules and to check if a module is well formed or all propositions are formally correct proved we have to recursively get all imported modules.