1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.se.dto.module; |
17 |
|
|
18 |
|
|
19 |
|
|
20 |
|
@link |
21 |
|
|
22 |
|
@author |
23 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (16) |
Complexity: 2 |
Complexity Density: 0.14 |
|
24 |
|
public class FormalProofLineVoTest extends AbstractVoModuleTestCase { |
25 |
|
|
26 |
|
|
27 |
|
private Class clazz = FormalProofLineVo.class; |
28 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
29 |
59
|
protected Class getTestedClass() {... |
30 |
59
|
return clazz; |
31 |
|
} |
32 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (13) |
Complexity: 1 |
Complexity Density: 0.08 |
1
PASS
|
|
33 |
1
|
public void testConstructos() {... |
34 |
1
|
FormalProofLineVo vo = null; |
35 |
1
|
vo = new FormalProofLineVo(null, null); |
36 |
1
|
assertNull(vo.getLabel()); |
37 |
1
|
assertNull(vo.getFormula()); |
38 |
1
|
assertNull(vo.getReason()); |
39 |
1
|
vo.hashCode(); |
40 |
1
|
assertEquals(" null null", vo.toString()); |
41 |
1
|
vo = new FormalProofLineVo(null, null, null); |
42 |
1
|
assertNull(vo.getLabel()); |
43 |
1
|
assertNull(vo.getFormula()); |
44 |
1
|
assertNull(vo.getReason()); |
45 |
1
|
vo.hashCode(); |
46 |
1
|
assertEquals(" null null", vo.toString()); |
47 |
|
} |
48 |
|
|
49 |
|
} |