|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
KernelQedeqBo | Line # 15 | 0 | 0 | - |
-1.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
No Tests | |||
1 | package org.qedeq.kernel.bo.module; | |
2 | ||
3 | import org.qedeq.kernel.bo.QedeqBo; | |
4 | import org.qedeq.kernel.bo.logic.wf.ExistenceChecker; | |
5 | import org.qedeq.kernel.common.ModuleDataException; | |
6 | import org.qedeq.kernel.common.ModuleLabels; | |
7 | import org.qedeq.kernel.common.SourceFileException; | |
8 | ||
9 | /** | |
10 | * Kernel internal QedeqBo with additional methods. | |
11 | * | |
12 | * @version $Revision: 1.1 $ | |
13 | * @author Michael Meyling | |
14 | */ | |
15 | public interface KernelQedeqBo extends QedeqBo { | |
16 | ||
17 | /** | |
18 | * Get internal kernel services. | |
19 | * | |
20 | * @return Internal kernel services. | |
21 | */ | |
22 | public InternalKernelServices getKernelServices(); | |
23 | ||
24 | /** | |
25 | * Get labels and URLs of all referenced modules. | |
26 | * | |
27 | * @return URLs of all referenced modules. | |
28 | */ | |
29 | public KernelModuleReferenceList getKernelRequiredModules(); | |
30 | ||
31 | /** | |
32 | * Get label references for QEDEQ module. | |
33 | * | |
34 | * @return Label references. | |
35 | */ | |
36 | public ModuleLabels getLabels(); | |
37 | ||
38 | /** | |
39 | * Get the predicate and function existence checker. Is only not <code>null</code> | |
40 | * if logic was successfully checked. | |
41 | * | |
42 | * @return Checker. Checks if a predicate or function constant is defined. | |
43 | */ | |
44 | public ExistenceChecker getExistenceChecker(); | |
45 | ||
46 | /** | |
47 | * Create exception out of {@link ModuleDataException}. | |
48 | * | |
49 | * @param exception Take this exception. | |
50 | * @return Newly created instance. | |
51 | */ | |
52 | public SourceFileException createSourceFileException(final ModuleDataException | |
53 | exception); | |
54 | ||
55 | } |
|