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.FormalProofList; |
21 |
|
import org.qedeq.kernel.se.base.module.Formula; |
22 |
|
import org.qedeq.kernel.se.base.module.FunctionDefinition; |
23 |
|
import org.qedeq.kernel.se.base.module.InitialFunctionDefinition; |
24 |
|
import org.qedeq.kernel.se.base.module.InitialPredicateDefinition; |
25 |
|
import org.qedeq.kernel.se.base.module.LatexList; |
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 (71) |
Complexity: 28 |
Complexity Density: 0.78 |
|
37 |
|
public class PropositionVo implements Proposition { |
38 |
|
|
39 |
|
|
40 |
|
private Formula formula; |
41 |
|
|
42 |
|
|
43 |
|
private LatexList description; |
44 |
|
|
45 |
|
|
46 |
|
private ProofListVo proofList; |
47 |
|
|
48 |
|
|
49 |
|
private FormalProofListVo formalProofList; |
50 |
|
|
51 |
|
|
52 |
|
|
53 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
54 |
117
|
public PropositionVo() {... |
55 |
|
|
56 |
|
} |
57 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
58 |
1
|
public Axiom getAxiom() {... |
59 |
1
|
return null; |
60 |
|
} |
61 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
62 |
1
|
public InitialPredicateDefinition getInitialPredicateDefinition() {... |
63 |
1
|
return null; |
64 |
|
} |
65 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
66 |
1
|
public PredicateDefinition getPredicateDefinition() {... |
67 |
1
|
return null; |
68 |
|
} |
69 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
70 |
1
|
public InitialFunctionDefinition getInitialFunctionDefinition() {... |
71 |
1
|
return null; |
72 |
|
} |
73 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
74 |
1
|
public FunctionDefinition getFunctionDefinition() {... |
75 |
1
|
return null; |
76 |
|
} |
77 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
78 |
1
|
public Proposition getProposition() {... |
79 |
1
|
return this; |
80 |
|
} |
81 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
82 |
1
|
public Rule getRule() {... |
83 |
1
|
return null; |
84 |
|
} |
85 |
|
|
86 |
|
|
87 |
|
|
88 |
|
|
89 |
|
@param |
90 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
91 |
19
|
public final void setFormula(final FormulaVo formula) {... |
92 |
19
|
this.formula = formula; |
93 |
|
} |
94 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
95 |
410
|
public final Formula getFormula() {... |
96 |
410
|
return formula; |
97 |
|
} |
98 |
|
|
99 |
|
|
100 |
|
|
101 |
|
|
102 |
|
@param |
103 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
104 |
18
|
public final void setDescription(final LatexListVo description) {... |
105 |
18
|
this.description = description; |
106 |
|
} |
107 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
108 |
357
|
public LatexList getDescription() {... |
109 |
357
|
return description; |
110 |
|
} |
111 |
|
|
112 |
|
|
113 |
|
|
114 |
|
|
115 |
|
@param |
116 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
117 |
20
|
public final void setProofList(final ProofListVo proofList) {... |
118 |
20
|
this.proofList = proofList; |
119 |
|
} |
120 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
121 |
384
|
public final ProofList getProofList() {... |
122 |
384
|
return proofList; |
123 |
|
} |
124 |
|
|
125 |
|
|
126 |
|
|
127 |
|
|
128 |
|
@param |
129 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
130 |
7
|
public final void addProof(final ProofVo proof) {... |
131 |
7
|
if (proofList == null) { |
132 |
2
|
proofList = new ProofListVo(); |
133 |
|
} |
134 |
7
|
proofList.add(proof); |
135 |
|
} |
136 |
|
|
137 |
|
|
138 |
|
|
139 |
|
|
140 |
|
@param |
141 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
142 |
64
|
public final void setFormalProofList(final FormalProofListVo formalProofList) {... |
143 |
64
|
this.formalProofList = formalProofList; |
144 |
|
} |
145 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
146 |
394
|
public final FormalProofList getFormalProofList() {... |
147 |
394
|
return formalProofList; |
148 |
|
} |
149 |
|
|
150 |
|
|
151 |
|
|
152 |
|
|
153 |
|
@param |
154 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
155 |
7
|
public final void addFormalProof(final FormalProofVo proof) {... |
156 |
7
|
if (formalProofList == null) { |
157 |
2
|
formalProofList = new FormalProofListVo(); |
158 |
|
} |
159 |
7
|
formalProofList.add(proof); |
160 |
|
} |
161 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
162 |
86
|
public boolean equals(final Object obj) {... |
163 |
86
|
if (!(obj instanceof PropositionVo)) { |
164 |
8
|
return false; |
165 |
|
} |
166 |
78
|
final PropositionVo other = (PropositionVo) obj; |
167 |
78
|
return EqualsUtility.equals(getFormula(), other.getFormula()) |
168 |
|
&& EqualsUtility.equals(getDescription(), other.getDescription()) |
169 |
|
&& EqualsUtility.equals(getProofList(), other.getProofList()) |
170 |
|
&& EqualsUtility.equals(getFormalProofList(), other.getFormalProofList()); |
171 |
|
} |
172 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (9) |
Complexity: 5 |
Complexity Density: 5 |
|
173 |
80
|
public int hashCode() {... |
174 |
80
|
return (getFormula() != null ? getFormula().hashCode() : 0) |
175 |
80
|
^ (getDescription() != null ? 1 ^ getDescription().hashCode() : 0) |
176 |
80
|
^ (getProofList() != null ? 2 ^ getProofList().hashCode() : 0) |
177 |
80
|
^ (getFormalProofList() != null ? 3 ^ getFormalProofList().hashCode() : 0); |
178 |
|
} |
179 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (10) |
Complexity: 1 |
Complexity Density: 0.1 |
|
180 |
58
|
public String toString() {... |
181 |
58
|
final StringBuffer buffer = new StringBuffer(); |
182 |
58
|
buffer.append("Proposition:\n"); |
183 |
58
|
buffer.append(getFormula()); |
184 |
58
|
buffer.append("\nDescription:\n"); |
185 |
58
|
buffer.append(getDescription()); |
186 |
58
|
buffer.append("\nProofs:\n"); |
187 |
58
|
buffer.append(getProofList()); |
188 |
58
|
buffer.append("\nFormal Proofs:\n"); |
189 |
58
|
buffer.append(getFormalProofList()); |
190 |
58
|
return buffer.toString(); |
191 |
|
} |
192 |
|
|
193 |
|
} |