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 |
|
|
21 |
|
import org.qedeq.base.io.Parameters; |
22 |
|
import org.qedeq.kernel.bo.module.InternalKernelServices; |
23 |
|
import org.qedeq.kernel.bo.module.InternalModuleServiceCall; |
24 |
|
import org.qedeq.kernel.bo.module.InternalServiceJob; |
25 |
|
import org.qedeq.kernel.bo.module.KernelQedeqBo; |
26 |
|
import org.qedeq.kernel.bo.module.QedeqFileDao; |
27 |
|
import org.qedeq.kernel.se.base.module.Specification; |
28 |
|
import org.qedeq.kernel.se.common.ModuleAddress; |
29 |
|
import org.qedeq.kernel.se.common.Service; |
30 |
|
import org.qedeq.kernel.se.common.SourceFileExceptionList; |
31 |
|
import org.qedeq.kernel.se.config.QedeqConfig; |
32 |
|
import org.qedeq.kernel.se.visitor.ContextChecker; |
33 |
|
import org.qedeq.kernel.se.visitor.InterruptException; |
34 |
|
|
|
|
| 0% |
Uncovered Elements: 58 (58) |
Complexity: 30 |
Complexity Density: 1.07 |
|
35 |
|
public class DummyInternalKernelServices implements InternalKernelServices { |
36 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
37 |
0
|
public File getBufferDirectory() {... |
38 |
0
|
return null; |
39 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
40 |
0
|
public File getGenerationDirectory() {... |
41 |
0
|
return null; |
42 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
43 |
0
|
public File getLocalFilePath(ModuleAddress address) {... |
44 |
0
|
return null; |
45 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
46 |
0
|
public QedeqFileDao getQedeqFileDao() {... |
47 |
0
|
return null; |
48 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
49 |
0
|
public KernelQedeqBo getKernelQedeqBo(ModuleAddress address) {... |
50 |
0
|
return null; |
51 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
52 |
0
|
public KernelQedeqBo loadKernelModule(InternalServiceJob proc, ModuleAddress parent,... |
53 |
|
Specification spec) throws SourceFileExceptionList { |
54 |
0
|
return null; |
55 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
56 |
0
|
public SourceFileExceptionList createSourceFileExceptionList(int code, String message, String address,... |
57 |
|
IOException e) { |
58 |
0
|
return null; |
59 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
60 |
0
|
public SourceFileExceptionList createSourceFileExceptionList(int code, String message, String address,... |
61 |
|
Exception e) { |
62 |
0
|
return null; |
63 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
64 |
0
|
public SourceFileExceptionList createSourceFileExceptionList(int code, String message, String address,... |
65 |
|
RuntimeException e) { |
66 |
0
|
return null; |
67 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
68 |
0
|
public String getBuildId() {... |
69 |
0
|
return null; |
70 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
71 |
0
|
public QedeqConfig getConfig() {... |
72 |
0
|
return null; |
73 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
74 |
0
|
public String getDedication() {... |
75 |
0
|
return null; |
76 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
77 |
0
|
public String getDescriptiveKernelVersion() {... |
78 |
0
|
return null; |
79 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
80 |
0
|
public String getKernelCodeName() {... |
81 |
0
|
return null; |
82 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
83 |
0
|
public String getKernelVersion() {... |
84 |
0
|
return null; |
85 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
86 |
0
|
public String getKernelVersionDirectory() {... |
87 |
0
|
return null; |
88 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
89 |
0
|
public String getMaximalRuleVersion() {... |
90 |
0
|
return null; |
91 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
92 |
0
|
public boolean isRuleVersionSupported(String ruleVersion) {... |
93 |
0
|
return false; |
94 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
95 |
0
|
public boolean isSetConnectionTimeOutSupported() {... |
96 |
0
|
return false; |
97 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
98 |
0
|
public boolean isSetReadTimeoutSupported() {... |
99 |
0
|
return false; |
100 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
101 |
0
|
public ContextChecker getContextChecker() {... |
102 |
0
|
return null; |
103 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
104 |
0
|
public boolean loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq) {... |
105 |
0
|
return false; |
106 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
107 |
0
|
public boolean checkWellFormedness(InternalServiceJob process, KernelQedeqBo qedeq) {... |
108 |
0
|
return false; |
109 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
110 |
0
|
public boolean checkFormallyProved(InternalServiceJob process, KernelQedeqBo qedeq) {... |
111 |
0
|
return false; |
112 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
113 |
0
|
public Object executePlugin(InternalServiceJob parent, String id, KernelQedeqBo qedeq, Object data) {... |
114 |
0
|
return null; |
115 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
116 |
0
|
public InternalServiceJob createServiceProcess(String action) {... |
117 |
0
|
return null; |
118 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
119 |
0
|
public InternalModuleServiceCall createServiceCall(Service service, KernelQedeqBo qedeq,... |
120 |
|
Parameters configParameters, Parameters parameters, |
121 |
|
InternalServiceJob process, InternalModuleServiceCall parent) { |
122 |
0
|
return null; |
123 |
|
} |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
124 |
0
|
public KernelQedeqBo loadKernelModule(InternalServiceJob process,... |
125 |
|
ModuleAddress address) throws InterruptException { |
126 |
0
|
return null; |
127 |
|
} |
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
128 |
0
|
public void lockModule(InternalModuleServiceCall call) throws InterruptException {... |
129 |
|
} |
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
130 |
0
|
public void unlockModule(InternalModuleServiceCall call) {... |
131 |
|
} |
132 |
|
|
133 |
|
} |