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 |
|
import org.qedeq.base.utility.EqualsUtility; |
19 |
|
import org.qedeq.kernel.se.dto.list.DefaultAtom; |
20 |
|
|
21 |
|
|
22 |
|
|
23 |
|
@link |
24 |
|
|
25 |
|
@author |
26 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (26) |
Complexity: 5 |
Complexity Density: 0.24 |
|
27 |
|
public class ConditionalProofVoTest extends AbstractVoModuleTestCase { |
28 |
|
|
29 |
|
|
30 |
|
private Class clazz = ConditionalProofVo.class; |
31 |
|
|
32 |
|
private ConditionalProofVo vo1; |
33 |
|
private ConditionalProofVo vo2; |
34 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (10) |
Complexity: 1 |
Complexity Density: 0.1 |
|
35 |
4
|
protected void setUp() throws Exception {... |
36 |
4
|
super.setUp(); |
37 |
4
|
removeMethodToCheck("getFormula"); |
38 |
4
|
removeMethodToCheck("getLabel"); |
39 |
4
|
removeMethodToCheck("getConditionalProof"); |
40 |
4
|
removeMethodToCheck("getReason"); |
41 |
4
|
removeMethodToCheck("getName"); |
42 |
4
|
removeMethodToCheck("getReferences"); |
43 |
4
|
vo1 = new ConditionalProofVo(); |
44 |
4
|
vo1.setConclusion(new ConclusionVo("first", new FormulaVo(new DefaultAtom("dummy")))); |
45 |
4
|
vo2 = new ConditionalProofVo(null, null, null); |
46 |
|
} |
47 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
48 |
73
|
protected Class getTestedClass() {... |
49 |
73
|
return clazz; |
50 |
|
} |
51 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
1
PASS
|
|
52 |
1
|
public void testGetLabel() {... |
53 |
1
|
assertEquals("first", vo1.getLabel()); |
54 |
1
|
assertEquals(null, vo2.getLabel()); |
55 |
|
} |
56 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
1
PASS
|
|
57 |
1
|
public void testGetFormula() {... |
58 |
1
|
assertEquals(new FormulaVo(new DefaultAtom("dummy")), vo1.getFormula()); |
59 |
1
|
assertEquals(null, vo2.getFormula()); |
60 |
|
} |
61 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 1 |
Complexity Density: 0.17 |
1
PASS
|
|
62 |
1
|
public void testUnuasalGetter() {... |
63 |
1
|
assertTrue(EqualsUtility.equals(new FormulaVo(new DefaultAtom("dummy")), vo1.getFormula())); |
64 |
1
|
assertTrue(EqualsUtility.equals("first", vo1.getLabel())); |
65 |
1
|
assertTrue(EqualsUtility.equals(vo1, vo1.getConditionalProof())); |
66 |
1
|
assertTrue(EqualsUtility.equals(vo1, vo1.getReason())); |
67 |
1
|
assertTrue(EqualsUtility.equals("CP", vo1.getName())); |
68 |
1
|
assertTrue(EqualsUtility.equals(new String[] {}, vo1.getReferences())); |
69 |
|
} |
70 |
|
|
71 |
|
} |