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.apache.commons.lang.ArrayUtils; |
19 |
|
import org.qedeq.base.utility.EqualsUtility; |
20 |
|
import org.qedeq.kernel.se.base.module.ModusPonens; |
21 |
|
|
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
@author |
27 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (64) |
Complexity: 23 |
Complexity Density: 0.72 |
|
28 |
|
public class ModusPonensVo implements ModusPonens { |
29 |
|
|
30 |
|
|
31 |
|
private String reference1; |
32 |
|
|
33 |
|
|
34 |
|
private String reference2; |
35 |
|
|
36 |
|
|
37 |
|
|
38 |
|
|
39 |
|
@param |
40 |
|
@param |
41 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
|
42 |
8
|
public ModusPonensVo(final String reference1, final String reference2) {... |
43 |
8
|
this.reference1 = reference1; |
44 |
8
|
this.reference2 = reference2; |
45 |
|
} |
46 |
|
|
47 |
|
|
48 |
|
|
49 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
50 |
124
|
public ModusPonensVo() {... |
51 |
|
|
52 |
|
} |
53 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
54 |
3
|
public ModusPonens getModusPonens() {... |
55 |
3
|
return this; |
56 |
|
} |
57 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
58 |
1456
|
public String getReference1() {... |
59 |
1456
|
return reference1; |
60 |
|
} |
61 |
|
|
62 |
|
|
63 |
|
|
64 |
|
|
65 |
|
@param |
66 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
67 |
98
|
public void setReference1(final String reference1) {... |
68 |
98
|
this.reference1 = reference1; |
69 |
|
} |
70 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
71 |
1092
|
public String getReference2() {... |
72 |
1092
|
return reference2; |
73 |
|
} |
74 |
|
|
75 |
|
|
76 |
|
|
77 |
|
|
78 |
|
@param |
79 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
80 |
98
|
public void setReference2(final String reference2) {... |
81 |
98
|
this.reference2 = reference2; |
82 |
|
} |
83 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (13) |
Complexity: 4 |
Complexity Density: 0.57 |
|
84 |
4
|
public String[] getReferences() {... |
85 |
4
|
if (reference1 == null) { |
86 |
2
|
if (reference2 == null) { |
87 |
1
|
return ArrayUtils.EMPTY_STRING_ARRAY; |
88 |
|
} |
89 |
1
|
return new String[] {reference2 }; |
90 |
|
} |
91 |
2
|
if (reference2 == null) { |
92 |
1
|
return new String[] {reference1 }; |
93 |
|
} |
94 |
1
|
return new String[] {reference1, reference2 }; |
95 |
|
} |
96 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
97 |
151
|
public boolean equals(final Object obj) {... |
98 |
151
|
if (!(obj instanceof ModusPonens)) { |
99 |
6
|
return false; |
100 |
|
} |
101 |
145
|
final ModusPonens other = (ModusPonens) obj; |
102 |
145
|
return EqualsUtility.equals(getReference1(), other.getReference1()) |
103 |
|
&& EqualsUtility.equals(getReference2(), other.getReference2()); |
104 |
|
} |
105 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 3 |
Complexity Density: 3 |
|
106 |
235
|
public int hashCode() {... |
107 |
235
|
return (getReference1() != null ? getReference1().hashCode() : 0) |
108 |
235
|
+ (getReference2() != null ? 1 ^ getReference2().hashCode() : 0); |
109 |
|
} |
110 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (20) |
Complexity: 6 |
Complexity Density: 0.5 |
|
111 |
187
|
public String toString() {... |
112 |
187
|
StringBuffer result = new StringBuffer(); |
113 |
187
|
result.append(getName()); |
114 |
187
|
if (getReference1() != null || getReference2() != null) { |
115 |
174
|
result.append(" ("); |
116 |
174
|
if (getReference1() != null) { |
117 |
173
|
result.append(getReference1()); |
118 |
|
} |
119 |
174
|
if (getReference2() != null) { |
120 |
171
|
if (getReference1() != null) { |
121 |
170
|
result.append(", "); |
122 |
|
} |
123 |
171
|
result.append(getReference2()); |
124 |
|
} |
125 |
174
|
result.append(")"); |
126 |
|
} |
127 |
187
|
return result.toString(); |
128 |
|
} |
129 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
130 |
189
|
public String getName() {... |
131 |
189
|
return "MP"; |
132 |
|
} |
133 |
|
|
134 |
|
} |