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