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.FormalProofLine; |
20 |
|
import org.qedeq.kernel.se.base.module.Formula; |
21 |
|
import org.qedeq.kernel.se.base.module.Reason; |
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
@author |
28 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (40) |
Complexity: 17 |
Complexity Density: 0.94 |
|
29 |
|
public class FormalProofLineVo implements FormalProofLine { |
30 |
|
|
31 |
|
|
32 |
|
private String label; |
33 |
|
|
34 |
|
|
35 |
|
private Reason reason; |
36 |
|
|
37 |
|
|
38 |
|
private Formula formula; |
39 |
|
|
40 |
|
|
41 |
|
|
42 |
|
|
43 |
|
@param |
44 |
|
@param |
45 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
|
46 |
1
|
public FormalProofLineVo(final Formula formula, final Reason reason) {... |
47 |
1
|
this.label = null; |
48 |
1
|
this.reason = reason; |
49 |
1
|
this.formula = formula; |
50 |
|
} |
51 |
|
|
52 |
|
|
53 |
|
|
54 |
|
|
55 |
|
@param |
56 |
|
@param |
57 |
|
@param |
58 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
|
59 |
1
|
public FormalProofLineVo(final String label, final Formula formula, final Reason reason) {... |
60 |
1
|
this.label = label; |
61 |
1
|
this.reason = reason; |
62 |
1
|
this.formula = formula; |
63 |
|
} |
64 |
|
|
65 |
|
|
66 |
|
|
67 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
68 |
135
|
public FormalProofLineVo() {... |
69 |
|
|
70 |
|
} |
71 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
72 |
213
|
public Formula getFormula() {... |
73 |
213
|
return formula; |
74 |
|
} |
75 |
|
|
76 |
|
|
77 |
|
|
78 |
|
|
79 |
|
@param |
80 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
81 |
87
|
public void setFormula(final Formula formula) {... |
82 |
87
|
this.formula = formula; |
83 |
|
} |
84 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
85 |
5
|
public String getLabel() {... |
86 |
5
|
return label; |
87 |
|
} |
88 |
|
|
89 |
|
|
90 |
|
|
91 |
|
|
92 |
|
@param |
93 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
94 |
84
|
public void setLabel(final String label) {... |
95 |
84
|
this.label = label; |
96 |
|
} |
97 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
98 |
238
|
public Reason getReason() {... |
99 |
238
|
return reason; |
100 |
|
} |
101 |
|
|
102 |
|
|
103 |
|
|
104 |
|
|
105 |
|
@param |
106 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
107 |
112
|
public void setReason(final Reason reason) {... |
108 |
112
|
this.reason = reason; |
109 |
|
} |
110 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
111 |
144
|
public boolean equals(final Object obj) {... |
112 |
144
|
if (!(obj instanceof FormalProofLineVo)) { |
113 |
6
|
return false; |
114 |
|
} |
115 |
138
|
final FormalProofLineVo other = (FormalProofLineVo) obj; |
116 |
138
|
return EqualsUtility.equals(label, other.label) |
117 |
|
&& EqualsUtility.equals(formula, other.formula) |
118 |
|
&& EqualsUtility.equals(reason, other.reason); |
119 |
|
} |
120 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (7) |
Complexity: 4 |
Complexity Density: 4 |
|
121 |
217
|
public int hashCode() {... |
122 |
217
|
return (label != null ? label.hashCode() : 0) |
123 |
217
|
^ (formula != null ? 1 ^ formula.hashCode() : 0) |
124 |
217
|
^ (reason != null ? 2 ^ reason.hashCode() : 0); |
125 |
|
} |
126 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 2 |
Complexity Density: 2 |
|
127 |
173
|
public String toString() {... |
128 |
173
|
return (label != null ? "[" + label + "] " : " ") + getFormula() + " " |
129 |
|
+ getReason(); |
130 |
|
} |
131 |
|
|
132 |
|
} |