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