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.Formula; |
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.PredicateDefinition; |
26 |
|
import org.qedeq.kernel.se.base.module.Proposition; |
27 |
|
import org.qedeq.kernel.se.base.module.Rule; |
28 |
|
|
29 |
|
|
30 |
|
|
31 |
|
|
32 |
|
|
33 |
|
@author |
34 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (54) |
Complexity: 22 |
Complexity Density: 0.81 |
|
35 |
|
public class AxiomVo implements Axiom { |
36 |
|
|
37 |
|
|
38 |
|
private Formula formula; |
39 |
|
|
40 |
|
|
41 |
|
private LatexList description; |
42 |
|
|
43 |
|
|
44 |
|
private String definedOperator; |
45 |
|
|
46 |
|
|
47 |
|
|
48 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
49 |
56
|
public AxiomVo() {... |
50 |
|
|
51 |
|
} |
52 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
53 |
1
|
public Axiom getAxiom() {... |
54 |
1
|
return this; |
55 |
|
} |
56 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
57 |
1
|
public InitialPredicateDefinition getInitialPredicateDefinition() {... |
58 |
1
|
return null; |
59 |
|
} |
60 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
61 |
1
|
public PredicateDefinition getPredicateDefinition() {... |
62 |
1
|
return null; |
63 |
|
} |
64 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
65 |
1
|
public InitialFunctionDefinition getInitialFunctionDefinition() {... |
66 |
1
|
return null; |
67 |
|
} |
68 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
69 |
1
|
public FunctionDefinition getFunctionDefinition() {... |
70 |
1
|
return null; |
71 |
|
} |
72 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
73 |
1
|
public Proposition getProposition() {... |
74 |
1
|
return null; |
75 |
|
} |
76 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
77 |
1
|
public Rule getRule() {... |
78 |
1
|
return null; |
79 |
|
} |
80 |
|
|
81 |
|
|
82 |
|
|
83 |
|
|
84 |
|
@param |
85 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
86 |
19
|
public final void setFormula(final FormulaVo formula) {... |
87 |
19
|
this.formula = formula; |
88 |
|
} |
89 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
90 |
234
|
public final Formula getFormula() {... |
91 |
234
|
return formula; |
92 |
|
} |
93 |
|
|
94 |
|
|
95 |
|
|
96 |
|
|
97 |
|
@param |
98 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
99 |
18
|
public final void setDescription(final LatexListVo description) {... |
100 |
18
|
this.description = description; |
101 |
|
} |
102 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
103 |
197
|
public LatexList getDescription() {... |
104 |
197
|
return description; |
105 |
|
} |
106 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
107 |
155
|
public String getDefinedOperator() {... |
108 |
155
|
return definedOperator; |
109 |
|
} |
110 |
|
|
111 |
|
|
112 |
|
|
113 |
|
|
114 |
|
|
115 |
|
@param |
116 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
117 |
16
|
public void setDefinedOperator(final String definedOperator) {... |
118 |
16
|
this.definedOperator = definedOperator; |
119 |
|
} |
120 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
121 |
46
|
public boolean equals(final Object obj) {... |
122 |
46
|
if (!(obj instanceof AxiomVo)) { |
123 |
5
|
return false; |
124 |
|
} |
125 |
41
|
final AxiomVo other = (AxiomVo) obj; |
126 |
41
|
return EqualsUtility.equals(getFormula(), other.getFormula()) |
127 |
|
&& EqualsUtility.equals(getDescription(), other.getDescription()) |
128 |
|
&& EqualsUtility.equals(getDefinedOperator(), other.getDefinedOperator()); |
129 |
|
} |
130 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (7) |
Complexity: 4 |
Complexity Density: 4 |
|
131 |
60
|
public int hashCode() {... |
132 |
60
|
return (getFormula() != null ? getFormula().hashCode() : 0) |
133 |
60
|
^ (getDefinedOperator() != null ? 1 ^ getDefinedOperator().hashCode() : 0) |
134 |
60
|
^ (getDescription() != null ? 1 ^ getDescription().hashCode() : 0); |
135 |
|
} |
136 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 2 |
Complexity Density: 0.22 |
|
137 |
44
|
public String toString() {... |
138 |
44
|
final StringBuffer buffer = new StringBuffer(); |
139 |
44
|
buffer.append("Axiom"); |
140 |
44
|
if (definedOperator != null) { |
141 |
18
|
buffer.append(" (defines: " + definedOperator); |
142 |
|
} |
143 |
44
|
buffer.append(":\n"); |
144 |
44
|
buffer.append(getFormula()); |
145 |
44
|
buffer.append("\nDescription:\n"); |
146 |
44
|
buffer.append(getDescription()); |
147 |
44
|
return buffer.toString(); |
148 |
|
} |
149 |
|
} |