1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.logic.common; |
17 |
|
|
18 |
|
import java.util.ArrayList; |
19 |
|
import java.util.List; |
20 |
|
|
21 |
|
import org.qedeq.base.utility.EqualsUtility; |
22 |
|
import org.qedeq.kernel.se.base.list.ElementList; |
23 |
|
import org.qedeq.kernel.se.common.ModuleContext; |
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
|
28 |
|
@author |
29 |
|
|
|
|
| 46.5% |
Uncovered Elements: 23 (43) |
Complexity: 16 |
Complexity Density: 0.7 |
|
30 |
|
public final class PredicateConstant { |
31 |
|
|
32 |
|
|
33 |
|
private final PredicateKey key; |
34 |
|
|
35 |
|
|
36 |
|
private final ElementList completeFormula; |
37 |
|
|
38 |
|
|
39 |
|
private final ModuleContext context; |
40 |
|
|
41 |
|
|
42 |
|
private final ElementList predicate; |
43 |
|
|
44 |
|
|
45 |
|
private final ElementList definingFormula; |
46 |
|
|
47 |
|
|
48 |
|
private final List subjectVariables; |
49 |
|
|
50 |
|
|
51 |
|
|
52 |
|
|
53 |
|
@param |
54 |
|
@param |
55 |
|
|
56 |
|
@param |
57 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 2 |
Complexity Density: 0.22 |
|
58 |
653
|
public PredicateConstant(final PredicateKey key, final ElementList completeFormula,... |
59 |
|
final ModuleContext context) { |
60 |
653
|
this.key = key; |
61 |
653
|
this.completeFormula = completeFormula; |
62 |
653
|
this.context = new ModuleContext(context); |
63 |
653
|
final ElementList list = completeFormula.getList(); |
64 |
653
|
predicate = list.getElement(0).getList(); |
65 |
653
|
definingFormula = list.getElement(1).getList(); |
66 |
653
|
subjectVariables = new ArrayList(predicate.size() - 1); |
67 |
1374
|
for (int i = 0; i < predicate.size() - 1; i++) { |
68 |
721
|
subjectVariables.add(new SubjectVariable( |
69 |
|
predicate.getElement(i + 1).getList().getElement(0).getAtom().getString())); |
70 |
|
} |
71 |
|
} |
72 |
|
|
73 |
|
|
74 |
|
|
75 |
|
|
76 |
|
@return |
77 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
78 |
652
|
public PredicateKey getKey() {... |
79 |
652
|
return key; |
80 |
|
} |
81 |
|
|
82 |
|
|
83 |
|
|
84 |
|
|
85 |
|
@return |
86 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
87 |
0
|
public String getName() {... |
88 |
0
|
return key.getName(); |
89 |
|
} |
90 |
|
|
91 |
|
|
92 |
|
|
93 |
|
|
94 |
|
@return |
95 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
96 |
0
|
public String getArguments() {... |
97 |
0
|
return key.getArguments(); |
98 |
|
} |
99 |
|
|
100 |
|
|
101 |
|
|
102 |
|
|
103 |
|
@return |
104 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
105 |
0
|
public ElementList getCompleteFormula() {... |
106 |
0
|
return completeFormula; |
107 |
|
} |
108 |
|
|
109 |
|
|
110 |
|
|
111 |
|
|
112 |
|
@return |
113 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
114 |
6478
|
public ModuleContext getContext() {... |
115 |
6478
|
return context; |
116 |
|
} |
117 |
|
|
118 |
|
|
119 |
|
|
120 |
|
|
121 |
|
@return |
122 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
123 |
0
|
public ElementList getPredicate() {... |
124 |
0
|
return predicate; |
125 |
|
} |
126 |
|
|
127 |
|
|
128 |
|
|
129 |
|
|
130 |
|
@return |
131 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
132 |
12842
|
public List getSubjectVariables() {... |
133 |
12842
|
return subjectVariables; |
134 |
|
} |
135 |
|
|
136 |
|
|
137 |
|
|
138 |
|
|
139 |
|
@return |
140 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
141 |
12842
|
public ElementList getDefiningFormula() {... |
142 |
12842
|
return definingFormula; |
143 |
|
} |
144 |
|
|
|
|
| 0% |
Uncovered Elements: 5 (5) |
Complexity: 3 |
Complexity Density: 3 |
|
145 |
0
|
public int hashCode() {... |
146 |
0
|
return (getKey() != null ? getKey().hashCode() : 0) |
147 |
0
|
^ (getCompleteFormula() != null ? getCompleteFormula().hashCode() : 0); |
148 |
|
} |
149 |
|
|
|
|
| 0% |
Uncovered Elements: 6 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
150 |
0
|
public boolean equals(final Object obj) {... |
151 |
0
|
if (!(obj instanceof PredicateConstant)) { |
152 |
0
|
return false; |
153 |
|
} |
154 |
0
|
final PredicateConstant other = (PredicateConstant) obj; |
155 |
0
|
return EqualsUtility.equals(getKey(), other.getKey()) |
156 |
|
&& EqualsUtility.equals(getCompleteFormula(), other.getCompleteFormula()); |
157 |
|
} |
158 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
159 |
0
|
public String toString() {... |
160 |
0
|
return getName() + "[" + getArguments() + "]"; |
161 |
|
} |
162 |
|
|
163 |
|
|
164 |
|
} |