1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.logic.work; |
17 |
|
|
18 |
|
import java.util.Arrays; |
19 |
|
import java.util.HashSet; |
20 |
|
import java.util.Iterator; |
21 |
|
import java.util.List; |
22 |
|
import java.util.Set; |
23 |
|
|
24 |
|
import org.qedeq.kernel.se.base.list.Element; |
25 |
|
import org.qedeq.kernel.se.base.list.ElementList; |
26 |
|
|
27 |
|
|
28 |
|
|
29 |
|
@link |
30 |
|
|
31 |
|
@version |
32 |
|
|
|
|
| 0% |
Uncovered Elements: 112 (112) |
Complexity: 33 |
Complexity Density: 0.53 |
|
33 |
|
public class EqualFormulaSet { |
34 |
|
|
35 |
|
|
36 |
|
private final Set formulas; |
37 |
|
|
38 |
|
|
39 |
|
private static final String NULLPOINTER_AS_WORD_IS_NOT_ALLOWED |
40 |
|
= "NullPointer as element is not allowed"; |
41 |
|
|
42 |
|
|
43 |
|
private static final String NULLPOINTER_AS_SET_IS_NOT_ALLOWED |
44 |
|
= "NullPointer as set is not allowed"; |
45 |
|
|
46 |
|
|
47 |
|
|
48 |
|
|
49 |
|
|
50 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
51 |
0
|
public EqualFormulaSet() {... |
52 |
0
|
this.formulas = new HashSet(); |
53 |
|
} |
54 |
|
|
55 |
|
|
56 |
|
|
57 |
|
|
58 |
|
@param |
59 |
|
@throws |
60 |
|
|
61 |
|
|
|
|
| 0% |
Uncovered Elements: 5 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
62 |
0
|
public EqualFormulaSet(final EqualFormula[] formulas) {... |
63 |
0
|
if (formulas == null) { |
64 |
0
|
throw new IllegalArgumentException( |
65 |
|
"NullPointer as element array is not allowed"); |
66 |
|
} |
67 |
0
|
this.formulas = new HashSet(Arrays.asList(formulas)); |
68 |
|
} |
69 |
|
|
70 |
|
|
71 |
|
|
72 |
|
|
73 |
|
@param |
74 |
|
@throws |
75 |
|
|
76 |
|
|
|
|
| 0% |
Uncovered Elements: 5 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
77 |
0
|
EqualFormulaSet(final EqualFormulaSet set) {... |
78 |
0
|
if (set == null) { |
79 |
0
|
throw new IllegalArgumentException( |
80 |
|
NULLPOINTER_AS_SET_IS_NOT_ALLOWED); |
81 |
|
} |
82 |
0
|
this.formulas = new HashSet(set.formulas); |
83 |
|
} |
84 |
|
|
85 |
|
|
86 |
|
|
87 |
|
|
88 |
|
|
89 |
|
@param |
90 |
|
|
91 |
|
@throws |
92 |
|
|
93 |
|
|
|
|
| 0% |
Uncovered Elements: 14 (14) |
Complexity: 4 |
Complexity Density: 0.5 |
|
94 |
0
|
public EqualFormulaSet(final ElementList element) {... |
95 |
0
|
if (element == null) { |
96 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_WORD_IS_NOT_ALLOWED); |
97 |
|
} |
98 |
0
|
if (element.isAtom()) { |
99 |
0
|
throw new IllegalArgumentException( |
100 |
|
"atom as element is not allowed"); |
101 |
|
} |
102 |
0
|
List list = element.getElements(); |
103 |
0
|
this.formulas = new HashSet(); |
104 |
0
|
for (int i = 0; i < list.size(); i++) { |
105 |
0
|
this.formulas.add(new EqualFormula((Element) list.get(i))); |
106 |
|
} |
107 |
|
} |
108 |
|
|
109 |
|
|
110 |
|
|
111 |
|
|
112 |
|
@param |
113 |
|
@return |
114 |
|
@throws |
115 |
|
|
116 |
|
|
|
|
| 0% |
Uncovered Elements: 5 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
117 |
0
|
public final boolean contains(final EqualFormula formula) {... |
118 |
0
|
if (formula == null) { |
119 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_WORD_IS_NOT_ALLOWED); |
120 |
|
} |
121 |
0
|
return this.formulas.contains(formula); |
122 |
|
} |
123 |
|
|
124 |
|
|
125 |
|
|
126 |
|
|
127 |
|
@return |
128 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
129 |
0
|
public final boolean isEmpty() {... |
130 |
0
|
return formulas.isEmpty(); |
131 |
|
} |
132 |
|
|
133 |
|
|
134 |
|
|
135 |
|
|
136 |
|
@param |
137 |
|
@return |
138 |
|
@throws |
139 |
|
|
140 |
|
|
|
|
| 0% |
Uncovered Elements: 5 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
141 |
0
|
public final boolean isSubset(final EqualFormulaSet set) {... |
142 |
0
|
if (set == null) { |
143 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_SET_IS_NOT_ALLOWED); |
144 |
|
} |
145 |
0
|
return this.formulas.containsAll(set.formulas); |
146 |
|
} |
147 |
|
|
148 |
|
|
149 |
|
|
150 |
|
|
151 |
|
|
152 |
|
@param |
153 |
|
@return |
154 |
|
@throws |
155 |
|
|
156 |
|
|
|
|
| 0% |
Uncovered Elements: 6 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
157 |
0
|
public final EqualFormulaSet add(final EqualFormula formula) {... |
158 |
0
|
if (formula == null) { |
159 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_WORD_IS_NOT_ALLOWED); |
160 |
|
} |
161 |
0
|
formulas.add(formula); |
162 |
0
|
return this; |
163 |
|
} |
164 |
|
|
165 |
|
|
166 |
|
|
167 |
|
|
168 |
|
@param |
169 |
|
@return |
170 |
|
@throws |
171 |
|
|
|
|
| 0% |
Uncovered Elements: 6 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
172 |
0
|
public final EqualFormulaSet union(final EqualFormulaSet set) {... |
173 |
0
|
if (set == null) { |
174 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_SET_IS_NOT_ALLOWED); |
175 |
|
} |
176 |
0
|
formulas.addAll(set.formulas); |
177 |
0
|
return this; |
178 |
|
} |
179 |
|
|
180 |
|
|
181 |
|
|
182 |
|
|
183 |
|
@param |
184 |
|
@return |
185 |
|
@throws |
186 |
|
|
|
|
| 0% |
Uncovered Elements: 6 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
187 |
0
|
public final EqualFormulaSet remove(final EqualFormula formula) {... |
188 |
0
|
if (formula == null) { |
189 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_WORD_IS_NOT_ALLOWED); |
190 |
|
} |
191 |
0
|
formulas.remove(formula); |
192 |
0
|
return this; |
193 |
|
} |
194 |
|
|
195 |
|
|
196 |
|
@link |
197 |
|
|
198 |
|
|
199 |
|
|
200 |
|
@param |
201 |
|
|
202 |
|
@return |
203 |
|
@throws |
204 |
|
|
205 |
|
|
|
|
| 0% |
Uncovered Elements: 6 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
206 |
0
|
public final EqualFormulaSet minus(final EqualFormulaSet set) {... |
207 |
0
|
if (set == null) { |
208 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_SET_IS_NOT_ALLOWED); |
209 |
|
} |
210 |
0
|
this.formulas.removeAll(set.formulas); |
211 |
0
|
return this; |
212 |
|
} |
213 |
|
|
214 |
|
|
215 |
|
|
216 |
|
|
217 |
|
@param |
218 |
|
@return |
219 |
|
@throws |
220 |
|
|
221 |
|
|
|
|
| 0% |
Uncovered Elements: 6 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
222 |
0
|
public final EqualFormulaSet intersection(final EqualFormulaSet set) {... |
223 |
0
|
if (set == null) { |
224 |
0
|
throw new IllegalArgumentException(NULLPOINTER_AS_SET_IS_NOT_ALLOWED); |
225 |
|
} |
226 |
0
|
this.formulas.retainAll(set.formulas); |
227 |
0
|
return this; |
228 |
|
} |
229 |
|
|
230 |
|
|
231 |
|
|
232 |
|
|
233 |
|
@param |
234 |
|
@return |
235 |
|
@throws |
236 |
|
|
237 |
|
|
|
|
| 0% |
Uncovered Elements: 7 (7) |
Complexity: 2 |
Complexity Density: 0.4 |
|
238 |
0
|
public final EqualFormulaSet newIntersection(final EqualFormulaSet set) {... |
239 |
0
|
if (set == null) { |
240 |
0
|
throw new IllegalArgumentException( |
241 |
|
NULLPOINTER_AS_SET_IS_NOT_ALLOWED); |
242 |
|
} |
243 |
0
|
final EqualFormulaSet result = new EqualFormulaSet(this); |
244 |
0
|
result.formulas.retainAll(set.formulas); |
245 |
0
|
return result; |
246 |
|
} |
247 |
|
|
|
|
| 0% |
Uncovered Elements: 9 (9) |
Complexity: 3 |
Complexity Density: 0.6 |
|
248 |
0
|
public final boolean equals(final Object obj) {... |
249 |
0
|
if (obj == null) { |
250 |
0
|
return false; |
251 |
|
} |
252 |
0
|
if (obj.getClass() == EqualFormulaSet.class) { |
253 |
0
|
return this.formulas.equals(((EqualFormulaSet) obj).formulas); |
254 |
|
} |
255 |
0
|
return false; |
256 |
|
} |
257 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
258 |
0
|
public final int hashCode() {... |
259 |
0
|
return formulas.hashCode(); |
260 |
|
} |
261 |
|
|
|
|
| 0% |
Uncovered Elements: 13 (13) |
Complexity: 3 |
Complexity Density: 0.33 |
|
262 |
0
|
public final String toString() {... |
263 |
0
|
final StringBuffer result = new StringBuffer(); |
264 |
0
|
result.append("{"); |
265 |
0
|
final Iterator iterator = formulas.iterator(); |
266 |
0
|
while (iterator.hasNext()) { |
267 |
0
|
result.append(iterator.next()); |
268 |
0
|
if (iterator.hasNext()) { |
269 |
0
|
result.append(", "); |
270 |
|
} |
271 |
|
} |
272 |
0
|
result.append("}"); |
273 |
0
|
return result.toString(); |
274 |
|
} |
275 |
|
|
276 |
|
} |