1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.log; |
17 |
|
|
18 |
|
import java.io.ByteArrayOutputStream; |
19 |
|
import java.io.PrintStream; |
20 |
|
|
21 |
|
import org.apache.commons.lang.ArrayUtils; |
22 |
|
import org.qedeq.kernel.bo.common.ModuleReferenceList; |
23 |
|
import org.qedeq.kernel.bo.common.QedeqBo; |
24 |
|
import org.qedeq.kernel.bo.module.KernelModuleReferenceList; |
25 |
|
import org.qedeq.kernel.bo.test.QedeqBoTestCase; |
26 |
|
import org.qedeq.kernel.se.base.module.Qedeq; |
27 |
|
import org.qedeq.kernel.se.common.DefaultModuleAddress; |
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.state.AbstractState; |
32 |
|
import org.qedeq.kernel.se.state.DependencyState; |
33 |
|
import org.qedeq.kernel.se.state.FormallyProvedState; |
34 |
|
import org.qedeq.kernel.se.state.LoadingImportsState; |
35 |
|
import org.qedeq.kernel.se.state.LoadingState; |
36 |
|
import org.qedeq.kernel.se.state.WellFormedState; |
37 |
|
|
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
@author |
42 |
|
|
|
|
| 34.1% |
Uncovered Elements: 54 (82) |
Complexity: 34 |
Complexity Density: 0.71 |
|
43 |
|
public class DefaultModuleEventListenerTest extends QedeqBoTestCase { |
44 |
|
|
45 |
|
private DefaultModuleEventListener listener; |
46 |
|
private ByteArrayOutputStream out; |
47 |
|
private QedeqBo qedeq; |
48 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 1 |
Complexity Density: 0.25 |
|
49 |
4
|
protected void setUp() throws Exception {... |
50 |
4
|
super.setUp(); |
51 |
4
|
out = new ByteArrayOutputStream(); |
52 |
4
|
listener = new DefaultModuleEventListener(new PrintStream(out)); |
53 |
4
|
qedeq = new QedeqBo() { |
54 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
55 |
0
|
public boolean isSupportedLanguage(String language) {... |
56 |
0
|
return false; |
57 |
|
} |
58 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
59 |
0
|
public boolean isLoaded() {... |
60 |
0
|
return false; |
61 |
|
} |
62 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
63 |
0
|
public boolean isWellFormed() {... |
64 |
0
|
return false; |
65 |
|
} |
66 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
67 |
0
|
public boolean isFullyFormallyProved() {... |
68 |
0
|
return false; |
69 |
|
} |
70 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
71 |
0
|
public boolean hasWarnings() {... |
72 |
0
|
return false; |
73 |
|
} |
74 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
75 |
0
|
public boolean hasLoadedRequiredModules() {... |
76 |
0
|
return false; |
77 |
|
} |
78 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
79 |
0
|
public boolean hasErrors() {... |
80 |
0
|
return false; |
81 |
|
} |
82 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
83 |
0
|
public boolean hasBasicFailures() {... |
84 |
0
|
return false; |
85 |
|
} |
86 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
87 |
0
|
public SourceFileExceptionList getWarnings() {... |
88 |
0
|
return new SourceFileExceptionList(); |
89 |
|
} |
90 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
91 |
4
|
public String getUrl() {... |
92 |
4
|
return "dummy"; |
93 |
|
} |
94 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
95 |
0
|
public String[] getSupportedLanguages() {... |
96 |
0
|
return ArrayUtils.EMPTY_STRING_ARRAY; |
97 |
|
} |
98 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
99 |
1
|
public String getStateDescription() {... |
100 |
1
|
return LoadingState.STATE_LOADING_INTO_MEMORY.getText(); |
101 |
|
} |
102 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
103 |
0
|
public String getRuleVersion() {... |
104 |
0
|
return "1.00.00"; |
105 |
|
} |
106 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
107 |
0
|
public ModuleReferenceList getRequiredModules() {... |
108 |
0
|
return new KernelModuleReferenceList(); |
109 |
|
} |
110 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
111 |
0
|
public Qedeq getQedeq() {... |
112 |
0
|
return null; |
113 |
|
} |
114 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
115 |
0
|
public String getOriginalLanguage() {... |
116 |
0
|
return "en"; |
117 |
|
} |
118 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
119 |
0
|
public String getName() {... |
120 |
0
|
return "dummy"; |
121 |
|
} |
122 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
123 |
0
|
public ModuleAddress getModuleAddress() {... |
124 |
0
|
return new DefaultModuleAddress(); |
125 |
|
} |
126 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
127 |
0
|
public WellFormedState getWellFormedState() {... |
128 |
0
|
return WellFormedState.STATE_UNCHECKED; |
129 |
|
} |
130 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
131 |
0
|
public LoadingState getLoadingState() {... |
132 |
0
|
return LoadingState.STATE_LOADING_INTO_MEMORY; |
133 |
|
} |
134 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
135 |
0
|
public int getLoadingCompleteness() {... |
136 |
0
|
return 0; |
137 |
|
} |
138 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
139 |
0
|
public SourceFileExceptionList getErrors() {... |
140 |
0
|
return new SourceFileExceptionList(); |
141 |
|
} |
142 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
143 |
0
|
public DependencyState getDependencyState() {... |
144 |
0
|
return DependencyState.STATE_UNDEFINED; |
145 |
|
} |
146 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
147 |
0
|
public FormallyProvedState getFormallyProvedState() {... |
148 |
0
|
return FormallyProvedState.STATE_UNCHECKED; |
149 |
|
} |
150 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
151 |
0
|
public AbstractState getCurrentState() {... |
152 |
0
|
return LoadingState.STATE_LOADING_INTO_MEMORY; |
153 |
|
} |
154 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
155 |
0
|
public AbstractState getLastSuccessfulState() {... |
156 |
0
|
return LoadingState.STATE_UNDEFINED; |
157 |
|
} |
158 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
159 |
0
|
public Service getCurrentlyRunningService() {... |
160 |
0
|
return null; |
161 |
|
} |
162 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
163 |
0
|
public LoadingImportsState getLoadingImportsState() {... |
164 |
0
|
return null; |
165 |
|
} |
166 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
167 |
0
|
public boolean hasLoadedImports() {... |
168 |
0
|
return false; |
169 |
|
} |
170 |
|
}; |
171 |
|
|
172 |
|
} |
173 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
1
PASS
|
|
174 |
1
|
public void testAddModule() throws Exception {... |
175 |
1
|
listener.addModule(qedeq); |
176 |
|
|
177 |
1
|
assertTrue(out.toString("UTF-8").trim().endsWith("dummy")); |
178 |
1
|
assertTrue(0 <= out.toString("UTF-8").indexOf("Module added")); |
179 |
|
} |
180 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
1
PASS
|
|
181 |
1
|
public void testRemoveModule() throws Exception {... |
182 |
1
|
listener.removeModule(qedeq); |
183 |
|
|
184 |
1
|
assertTrue(out.toString("UTF-8").trim().endsWith("dummy")); |
185 |
1
|
assertTrue(0 <= out.toString("UTF-8").indexOf("Module removed")); |
186 |
|
} |
187 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
1
PASS
|
|
188 |
1
|
public void testStateChanged() throws Exception {... |
189 |
1
|
listener.stateChanged(qedeq); |
190 |
|
|
191 |
1
|
assertTrue(out.toString("UTF-8").trim().endsWith("dummy")); |
192 |
1
|
assertTrue(0 <= out.toString("UTF-8").indexOf("Module state changed")); |
193 |
|
} |
194 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 1 |
Complexity Density: 0.17 |
1
PASS
|
|
195 |
1
|
public void testSetPrintStream() throws Exception {... |
196 |
1
|
listener = new DefaultModuleEventListener(); |
197 |
1
|
ByteArrayOutputStream out2 = new ByteArrayOutputStream(); |
198 |
1
|
listener.setPrintStream(new PrintStream(out2)); |
199 |
1
|
listener.addModule(qedeq); |
200 |
|
|
201 |
1
|
assertTrue(out2.toString("UTF-8").trim().endsWith("dummy")); |
202 |
1
|
assertTrue(0 <= out2.toString("UTF-8").indexOf("add")); |
203 |
|
} |
204 |
|
|
205 |
|
} |