1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.logic.model; |
17 |
|
|
18 |
|
|
19 |
|
|
20 |
|
|
21 |
|
@author |
22 |
|
|
|
|
| 75% |
Uncovered Elements: 6 (24) |
Complexity: 7 |
Complexity Density: 0.41 |
|
23 |
|
public final class UnaryDynamicModel extends DynamicModel { |
24 |
|
|
25 |
|
|
26 |
|
public static final Entity ZERO = new Entity(0, "0", "{} or empty set"); |
27 |
|
|
28 |
|
|
29 |
|
public static final Function FUNCTION_ZERO = new Function(0, 99, "->0", "always 0") { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
30 |
6
|
public Entity map(final Entity[] entities) {... |
31 |
6
|
return ZERO; |
32 |
|
} |
33 |
|
}; |
34 |
|
|
35 |
|
|
36 |
|
|
37 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 1 |
Complexity Density: 0.09 |
|
38 |
47
|
public UnaryDynamicModel() {... |
39 |
47
|
super("one element"); |
40 |
47
|
addEntity(ZERO); |
41 |
|
|
42 |
|
|
43 |
|
|
44 |
47
|
addPredicate(0, FALSE); |
45 |
47
|
addPredicate(0, TRUE); |
46 |
47
|
addPredicate(1, FALSE); |
47 |
47
|
addPredicate(1, TRUE); |
48 |
47
|
addPredicate(2, FALSE); |
49 |
47
|
addPredicate(2, TRUE); |
50 |
47
|
addPredicate(3, FALSE); |
51 |
47
|
addPredicate(3, TRUE); |
52 |
|
|
53 |
47
|
addPredicateConstant(new ModelPredicateConstant("in", 2), FALSE); |
54 |
|
|
55 |
|
} |
56 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
57 |
0
|
public String getDescription() {... |
58 |
0
|
return "This model has only one entity. The \" is element of\" relation is never fullfilled."; |
59 |
|
} |
60 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
61 |
3
|
public int getFunctionSize(final int size) {... |
62 |
3
|
return 1; |
63 |
|
} |
64 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
65 |
6
|
public Function getFunction(final int size, final int number) {... |
66 |
6
|
return FUNCTION_ZERO; |
67 |
|
} |
68 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
69 |
0
|
public Function getFunctionConstant(final ModelFunctionConstant con) {... |
70 |
0
|
return FUNCTION_ZERO; |
71 |
|
} |
72 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
73 |
0
|
public Entity comprehension(final Entity[] array) {... |
74 |
0
|
return ZERO; |
75 |
|
} |
76 |
|
|
77 |
|
} |