Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
16   86   20   0.8
0   67   1.25   20
20     1  
1    
 
  DummyKernelServices       Line # 28 16 20 100% 1.0
 
  (22)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2013, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
14    */
15   
16    package org.qedeq.kernel.bo.test;
17   
18    import java.io.File;
19    import java.io.IOException;
20    import java.net.URL;
21   
22    import org.qedeq.kernel.bo.common.KernelServices;
23    import org.qedeq.kernel.bo.common.QedeqBo;
24    import org.qedeq.kernel.bo.common.ServiceProcess;
25    import org.qedeq.kernel.se.common.ModuleAddress;
26    import org.qedeq.kernel.se.common.Plugin;
27   
 
28    public class DummyKernelServices implements KernelServices {
29   
 
30  1 toggle public void removeAllModules() {
31    }
 
32  1 toggle public boolean clearLocalBuffer() {
33  1 return true;
34    }
 
35  1 toggle public QedeqBo loadModule(ModuleAddress address) {
36  1 return null;
37    }
 
38  1 toggle public boolean loadRequiredModules(ModuleAddress address) {
39  1 return false;
40    }
 
41  1 toggle public boolean loadAllModulesFromQedeq() {
42  1 return false;
43    }
 
44  1 toggle public void removeModule(ModuleAddress address) {
45    }
 
46  23 toggle public ModuleAddress[] getAllLoadedModules() {
47  23 return null;
48    }
 
49  1 toggle public QedeqBo getQedeqBo(ModuleAddress address) {
50  1 return null;
51    }
 
52  1 toggle public String getSource(ModuleAddress address) throws IOException {
53  1 return null;
54    }
 
55  1 toggle public ModuleAddress getModuleAddress(URL url) throws IOException {
56  1 return null;
57    }
 
58  1 toggle public ModuleAddress getModuleAddress(String url) throws IOException {
59  1 return null;
60    }
 
61  1 toggle public ModuleAddress getModuleAddress(File file) throws IOException {
62  1 return null;
63    }
 
64  1 toggle public boolean checkWellFormedness(ModuleAddress address) {
65  1 return false;
66    }
 
67  1 toggle public boolean checkFormallyProved(ModuleAddress address) {
68  1 return false;
69    }
 
70  2 toggle public Plugin[] getPlugins() {
71  2 return null;
72    }
 
73  1 toggle public void clearAllPluginResults(ModuleAddress address) {
74    }
 
75  1 toggle public ServiceProcess[] getServiceProcesses() {
76  1 return null;
77    }
 
78  1 toggle public ServiceProcess[] getRunningServiceProcesses() {
79  1 return null;
80    }
 
81  1 toggle public void stopAllPluginExecutions() {
82    }
 
83  1 toggle public Object executePlugin(String id, ModuleAddress address, Object data) {
84  1 return null;
85    }
86    }
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .