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.qedeq.base.utility.EqualsUtility; |
19 |
|
import org.qedeq.kernel.se.base.module.Axiom; |
20 |
|
import org.qedeq.kernel.se.base.module.ChangedRuleList; |
21 |
|
import org.qedeq.kernel.se.base.module.FunctionDefinition; |
22 |
|
import org.qedeq.kernel.se.base.module.InitialFunctionDefinition; |
23 |
|
import org.qedeq.kernel.se.base.module.InitialPredicateDefinition; |
24 |
|
import org.qedeq.kernel.se.base.module.LatexList; |
25 |
|
import org.qedeq.kernel.se.base.module.LinkList; |
26 |
|
import org.qedeq.kernel.se.base.module.PredicateDefinition; |
27 |
|
import org.qedeq.kernel.se.base.module.ProofList; |
28 |
|
import org.qedeq.kernel.se.base.module.Proposition; |
29 |
|
import org.qedeq.kernel.se.base.module.Rule; |
30 |
|
|
31 |
|
|
32 |
|
|
33 |
|
|
34 |
|
|
35 |
|
@author |
36 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (87) |
Complexity: 36 |
Complexity Density: 0.88 |
|
37 |
|
public class RuleVo implements Rule { |
38 |
|
|
39 |
|
|
40 |
|
private LinkListVo linkList; |
41 |
|
|
42 |
|
|
43 |
|
private LatexList description; |
44 |
|
|
45 |
|
|
46 |
|
private String name; |
47 |
|
|
48 |
|
|
49 |
|
private String version; |
50 |
|
|
51 |
|
|
52 |
|
private ChangedRuleListVo changedRuleList; |
53 |
|
|
54 |
|
|
55 |
|
private ProofListVo proofList; |
56 |
|
|
57 |
|
|
58 |
|
|
59 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
60 |
83
|
public RuleVo() {... |
61 |
|
|
62 |
|
} |
63 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
64 |
1
|
public Axiom getAxiom() {... |
65 |
1
|
return null; |
66 |
|
} |
67 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
68 |
1
|
public InitialPredicateDefinition getInitialPredicateDefinition() {... |
69 |
1
|
return null; |
70 |
|
} |
71 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
72 |
1
|
public PredicateDefinition getPredicateDefinition() {... |
73 |
1
|
return null; |
74 |
|
} |
75 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
76 |
1
|
public InitialFunctionDefinition getInitialFunctionDefinition() {... |
77 |
1
|
return null; |
78 |
|
} |
79 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
80 |
1
|
public FunctionDefinition getFunctionDefinition() {... |
81 |
1
|
return null; |
82 |
|
} |
83 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
84 |
1
|
public Proposition getProposition() {... |
85 |
1
|
return null; |
86 |
|
} |
87 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
88 |
1
|
public Rule getRule() {... |
89 |
1
|
return this; |
90 |
|
} |
91 |
|
|
92 |
|
|
93 |
|
|
94 |
|
|
95 |
|
@param |
96 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
97 |
16
|
public final void setName(final String name) {... |
98 |
16
|
this.name = name; |
99 |
|
} |
100 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
101 |
459
|
public final String getName() {... |
102 |
459
|
return name; |
103 |
|
} |
104 |
|
|
105 |
|
|
106 |
|
|
107 |
|
|
108 |
|
@param |
109 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
110 |
16
|
public final void setVersion(final String version) {... |
111 |
16
|
this.version = version; |
112 |
|
} |
113 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
114 |
501
|
public final String getVersion() {... |
115 |
501
|
return version; |
116 |
|
} |
117 |
|
|
118 |
|
|
119 |
|
|
120 |
|
|
121 |
|
@param |
122 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
123 |
17
|
public final void setLinkList(final LinkListVo linkList) {... |
124 |
17
|
this.linkList = linkList; |
125 |
|
} |
126 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
127 |
461
|
public final LinkList getLinkList() {... |
128 |
461
|
return linkList; |
129 |
|
} |
130 |
|
|
131 |
|
|
132 |
|
|
133 |
|
|
134 |
|
@param |
135 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
136 |
7
|
public final void addLink(final String id) {... |
137 |
7
|
if (linkList == null) { |
138 |
2
|
linkList = new LinkListVo(); |
139 |
|
} |
140 |
7
|
linkList.add(id); |
141 |
|
} |
142 |
|
|
143 |
|
|
144 |
|
|
145 |
|
|
146 |
|
@param |
147 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
148 |
18
|
public final void setDescription(final LatexListVo description) {... |
149 |
18
|
this.description = description; |
150 |
|
} |
151 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
152 |
393
|
public LatexList getDescription() {... |
153 |
393
|
return description; |
154 |
|
} |
155 |
|
|
156 |
|
|
157 |
|
|
158 |
|
|
159 |
|
@param |
160 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
161 |
20
|
public final void setProofList(final ProofListVo proofList) {... |
162 |
20
|
this.proofList = proofList; |
163 |
|
} |
164 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
165 |
422
|
public final ProofList getProofList() {... |
166 |
422
|
return proofList; |
167 |
|
} |
168 |
|
|
169 |
|
|
170 |
|
|
171 |
|
|
172 |
|
@param |
173 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
174 |
7
|
public final void addProof(final ProofVo proof) {... |
175 |
7
|
if (proofList == null) { |
176 |
2
|
proofList = new ProofListVo(); |
177 |
|
} |
178 |
7
|
proofList.add(proof); |
179 |
|
} |
180 |
|
|
181 |
|
|
182 |
|
|
183 |
|
|
184 |
|
@param |
185 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
186 |
20
|
public final void setChangedRuleList(final ChangedRuleListVo changedRuleList) {... |
187 |
20
|
this.changedRuleList = changedRuleList; |
188 |
|
} |
189 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
190 |
422
|
public final ChangedRuleList getChangedRuleList() {... |
191 |
422
|
return changedRuleList; |
192 |
|
} |
193 |
|
|
194 |
|
|
195 |
|
|
196 |
|
|
197 |
|
@param |
198 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
199 |
7
|
public final void addChangedRule(final ChangedRuleVo changedRule) {... |
200 |
7
|
if (changedRuleList == null) { |
201 |
2
|
changedRuleList = new ChangedRuleListVo(); |
202 |
|
} |
203 |
7
|
changedRuleList.add(changedRule); |
204 |
|
} |
205 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
206 |
124
|
public boolean equals(final Object obj) {... |
207 |
124
|
if (!(obj instanceof RuleVo)) { |
208 |
11
|
return false; |
209 |
|
} |
210 |
113
|
final RuleVo other = (RuleVo) obj; |
211 |
113
|
return EqualsUtility.equals(getName(), other.getName()) |
212 |
|
&& EqualsUtility.equals(getVersion(), other.getVersion()) |
213 |
|
&& EqualsUtility.equals(getLinkList(), other.getLinkList()) |
214 |
|
&& EqualsUtility.equals(getDescription(), other.getDescription()) |
215 |
|
&& EqualsUtility.equals(getChangedRuleList(), other.getChangedRuleList()) |
216 |
|
&& EqualsUtility.equals(getProofList(), other.getProofList()); |
217 |
|
} |
218 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (13) |
Complexity: 7 |
Complexity Density: 7 |
|
219 |
108
|
public int hashCode() {... |
220 |
108
|
return (getName() != null ? 1 ^ getName().hashCode() : 0) |
221 |
108
|
^ (getVersion() != null ? 2 ^ getVersion().hashCode() : 0) |
222 |
108
|
^ (getLinkList() != null ? 3 ^ getLinkList().hashCode() : 0) |
223 |
108
|
^ (getDescription() != null ? 4 ^ getDescription().hashCode() : 0) |
224 |
108
|
^ (getChangedRuleList() != null ? 5 ^ getChangedRuleList().hashCode() : 0) |
225 |
108
|
^ (getProofList() != null ? 6 ^ getProofList().hashCode() : 0); |
226 |
|
} |
227 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (8) |
Complexity: 1 |
Complexity Density: 0.12 |
|
228 |
74
|
public String toString() {... |
229 |
74
|
final StringBuffer buffer = new StringBuffer(); |
230 |
74
|
buffer.append("Rule: " + getName() + " [" + getVersion() + "]\n"); |
231 |
74
|
buffer.append(getLinkList()); |
232 |
74
|
buffer.append("\nDescription:\n"); |
233 |
74
|
buffer.append(getDescription()); |
234 |
74
|
buffer.append(getProofList()); |
235 |
74
|
buffer.append(getChangedRuleList()); |
236 |
74
|
return buffer.toString(); |
237 |
|
} |
238 |
|
} |