Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
0   55   0   -
0   14   -   0
0     -  
1    
 
  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    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sa Aug 2 2008 13:56:32 CEST.		   Clover: Open Source License registered to qedeq.org .