Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
17   87   20   0.85
0   68   1.18   20
20     1  
1    
 
  DummyKernelServices       Line # 28 17 20 100% 1.0
 
  (22)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2014, 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.ServiceJob;
25    import org.qedeq.kernel.se.common.ModuleAddress;
26    import org.qedeq.kernel.se.common.ModuleService;
27   
 
28    public class DummyKernelServices implements KernelServices {
29   
 
30  1 toggle public boolean removeAllModules() {
31  1 return true;
32    }
 
33  1 toggle public boolean clearLocalBuffer() {
34  1 return true;
35    }
 
36  1 toggle public QedeqBo loadModule(ModuleAddress address) {
37  1 return null;
38    }
 
39  1 toggle public boolean loadRequiredModules(ModuleAddress address) {
40  1 return false;
41    }
 
42  1 toggle public boolean loadAllModulesFromQedeq() {
43  1 return false;
44    }
 
45  1 toggle public void removeModule(ModuleAddress address) {
46    }
 
47  23 toggle public ModuleAddress[] getAllLoadedModules() {
48  23 return null;
49    }
 
50  1 toggle public QedeqBo getQedeqBo(ModuleAddress address) {
51  1 return null;
52    }
 
53  1 toggle public String getSource(ModuleAddress address) throws IOException {
54  1 return null;
55    }
 
56  1 toggle public ModuleAddress getModuleAddress(URL url) throws IOException {
57  1 return null;
58    }
 
59  1 toggle public ModuleAddress getModuleAddress(String url) throws IOException {
60  1 return null;
61    }
 
62  1 toggle public ModuleAddress getModuleAddress(File file) throws IOException {
63  1 return null;
64    }
 
65  1 toggle public boolean checkWellFormedness(ModuleAddress address) {
66  1 return false;
67    }
 
68  1 toggle public boolean checkFormallyProved(ModuleAddress address) {
69  1 return false;
70    }
 
71  2 toggle public ModuleService[] getPlugins() {
72  2 return null;
73    }
 
74  1 toggle public void clearAllPluginResults(ModuleAddress address) {
75    }
 
76  1 toggle public ServiceJob[] getServiceProcesses() {
77  1 return null;
78    }
 
79  1 toggle public ServiceJob[] getRunningServiceProcesses() {
80  1 return null;
81    }
 
82  1 toggle public void terminateAllServiceProcesses() {
83    }
 
84  1 toggle public Object executePlugin(String id, ModuleAddress address, Object data) {
85  1 return null;
86    }
87    }