1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
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 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (37) |
Complexity: 20 |
Complexity Density: 1.18 |
|
28 |
|
public class DummyKernelServices implements KernelServices { |
29 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
30 |
1
|
public boolean removeAllModules() {... |
31 |
1
|
return true; |
32 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
33 |
1
|
public boolean clearLocalBuffer() {... |
34 |
1
|
return true; |
35 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
36 |
1
|
public QedeqBo loadModule(ModuleAddress address) {... |
37 |
1
|
return null; |
38 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
39 |
1
|
public boolean loadRequiredModules(ModuleAddress address) {... |
40 |
1
|
return false; |
41 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
42 |
1
|
public boolean loadAllModulesFromQedeq() {... |
43 |
1
|
return false; |
44 |
|
} |
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
45 |
1
|
public void removeModule(ModuleAddress address) {... |
46 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
47 |
23
|
public ModuleAddress[] getAllLoadedModules() {... |
48 |
23
|
return null; |
49 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
50 |
1
|
public QedeqBo getQedeqBo(ModuleAddress address) {... |
51 |
1
|
return null; |
52 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
53 |
1
|
public String getSource(ModuleAddress address) throws IOException {... |
54 |
1
|
return null; |
55 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
56 |
1
|
public ModuleAddress getModuleAddress(URL url) throws IOException {... |
57 |
1
|
return null; |
58 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
59 |
1
|
public ModuleAddress getModuleAddress(String url) throws IOException {... |
60 |
1
|
return null; |
61 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
62 |
1
|
public ModuleAddress getModuleAddress(File file) throws IOException {... |
63 |
1
|
return null; |
64 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
65 |
1
|
public boolean checkWellFormedness(ModuleAddress address) {... |
66 |
1
|
return false; |
67 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
68 |
1
|
public boolean checkFormallyProved(ModuleAddress address) {... |
69 |
1
|
return false; |
70 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
71 |
2
|
public ModuleService[] getPlugins() {... |
72 |
2
|
return null; |
73 |
|
} |
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
74 |
1
|
public void clearAllPluginResults(ModuleAddress address) {... |
75 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
76 |
1
|
public ServiceJob[] getServiceProcesses() {... |
77 |
1
|
return null; |
78 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
79 |
1
|
public ServiceJob[] getRunningServiceProcesses() {... |
80 |
1
|
return null; |
81 |
|
} |
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
82 |
1
|
public void terminateAllServiceProcesses() {... |
83 |
|
} |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
84 |
1
|
public Object executePlugin(String id, ModuleAddress address, Object data) {... |
85 |
1
|
return null; |
86 |
|
} |
87 |
|
} |