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.base.module.LatexList; |
20 |
|
import org.qedeq.kernel.se.base.module.Proof; |
21 |
|
|
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
@author |
27 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (30) |
Complexity: 14 |
Complexity Density: 1.17 |
|
28 |
|
public class ProofVo implements Proof { |
29 |
|
|
30 |
|
|
31 |
|
private String kind; |
32 |
|
|
33 |
|
|
34 |
|
private String level; |
35 |
|
|
36 |
|
|
37 |
|
private LatexList nonFormalProof; |
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
42 |
87
|
public ProofVo() {... |
43 |
|
|
44 |
|
} |
45 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
46 |
1279
|
public String getKind() {... |
47 |
1279
|
return kind; |
48 |
|
} |
49 |
|
|
50 |
|
|
51 |
|
|
52 |
|
|
53 |
|
@param |
54 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
55 |
63
|
public final void setKind(final String kind) {... |
56 |
63
|
this.kind = kind; |
57 |
|
} |
58 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
59 |
1245
|
public String getLevel() {... |
60 |
1245
|
return level; |
61 |
|
} |
62 |
|
|
63 |
|
|
64 |
|
|
65 |
|
|
66 |
|
@param |
67 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
68 |
63
|
public final void setLevel(final String level) {... |
69 |
63
|
this.level = level; |
70 |
|
} |
71 |
|
|
72 |
|
|
73 |
|
|
74 |
|
|
75 |
|
@param |
76 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
77 |
67
|
public final void setNonFormalProof(final LatexList nonFormalProof) {... |
78 |
67
|
this.nonFormalProof = nonFormalProof; |
79 |
|
} |
80 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
81 |
1263
|
public final LatexList getNonFormalProof() {... |
82 |
1263
|
return nonFormalProof; |
83 |
|
} |
84 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
85 |
260
|
public boolean equals(final Object obj) {... |
86 |
260
|
if (!(obj instanceof ProofVo)) { |
87 |
8
|
return false; |
88 |
|
} |
89 |
252
|
final ProofVo other = (ProofVo) obj; |
90 |
252
|
return EqualsUtility.equals(getKind(), other.getKind()) |
91 |
|
&& EqualsUtility.equals(getLevel(), other.getLevel()) |
92 |
|
&& EqualsUtility.equals(getNonFormalProof(), other.getNonFormalProof()); |
93 |
|
} |
94 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (7) |
Complexity: 4 |
Complexity Density: 4 |
|
95 |
281
|
public int hashCode() {... |
96 |
281
|
return (getKind() != null ? getKind().hashCode() : 0) |
97 |
281
|
^ (getLevel() != null ? 1 ^ getLevel().hashCode() : 0) |
98 |
281
|
^ (getNonFormalProof() != null ? 2 ^ getNonFormalProof().hashCode() : 0); |
99 |
|
} |
100 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
101 |
222
|
public String toString() {... |
102 |
222
|
return "Proof (" + getKind() + ", " + getLevel() + "): " + getNonFormalProof(); |
103 |
|
} |
104 |
|
|
105 |
|
} |