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.list.Element; |
20 |
|
import org.qedeq.kernel.se.base.module.Axiom; |
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 |
|
|
34 |
|
@author |
35 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (62) |
Complexity: 27 |
Complexity Density: 0.93 |
|
36 |
|
public class InitialFunctionDefinitionVo implements InitialFunctionDefinition { |
37 |
|
|
38 |
|
|
39 |
|
private String argumentNumber; |
40 |
|
|
41 |
|
|
42 |
|
private String name; |
43 |
|
|
44 |
|
|
45 |
|
|
46 |
|
|
47 |
|
private String latexPattern; |
48 |
|
|
49 |
|
|
50 |
|
private Element funCon; |
51 |
|
|
52 |
|
|
53 |
|
private LatexList description; |
54 |
|
|
55 |
|
|
56 |
|
|
57 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
58 |
65
|
public InitialFunctionDefinitionVo() {... |
59 |
|
|
60 |
|
} |
61 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
62 |
1
|
public Axiom getAxiom() {... |
63 |
1
|
return null; |
64 |
|
} |
65 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
66 |
1
|
public InitialPredicateDefinition getInitialPredicateDefinition() {... |
67 |
1
|
return null; |
68 |
|
} |
69 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
70 |
1
|
public PredicateDefinition getPredicateDefinition() {... |
71 |
1
|
return null; |
72 |
|
} |
73 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
74 |
1
|
public InitialFunctionDefinition getInitialFunctionDefinition() {... |
75 |
1
|
return this; |
76 |
|
} |
77 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
78 |
1
|
public FunctionDefinition getFunctionDefinition() {... |
79 |
1
|
return null; |
80 |
|
} |
81 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
82 |
1
|
public Proposition getProposition() {... |
83 |
1
|
return null; |
84 |
|
} |
85 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
86 |
1
|
public Rule getRule() {... |
87 |
1
|
return null; |
88 |
|
} |
89 |
|
|
90 |
|
|
91 |
|
|
92 |
|
|
93 |
|
@param |
94 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
95 |
16
|
public final void setArgumentNumber(final String argumentNumber) {... |
96 |
16
|
this.argumentNumber = argumentNumber; |
97 |
|
} |
98 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
99 |
325
|
public final String getArgumentNumber() {... |
100 |
325
|
return argumentNumber; |
101 |
|
} |
102 |
|
|
103 |
|
|
104 |
|
@link |
105 |
|
|
106 |
|
|
107 |
|
@param |
108 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
109 |
16
|
public void setName(final String name) {... |
110 |
16
|
this.name = name; |
111 |
|
} |
112 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
113 |
281
|
public String getName() {... |
114 |
281
|
return name; |
115 |
|
} |
116 |
|
|
117 |
|
|
118 |
|
|
119 |
|
|
120 |
|
|
121 |
|
|
122 |
|
@param |
123 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
124 |
16
|
public final void setLatexPattern(final String latexPattern) {... |
125 |
16
|
this.latexPattern = latexPattern; |
126 |
|
} |
127 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
128 |
299
|
public final String getLatexPattern() {... |
129 |
299
|
return latexPattern; |
130 |
|
} |
131 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
132 |
288
|
public Element getFunCon() {... |
133 |
288
|
return funCon; |
134 |
|
} |
135 |
|
|
136 |
|
|
137 |
|
|
138 |
|
@link@link |
139 |
|
|
140 |
|
@param |
141 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
142 |
18
|
public void setFunCon(final Element funCon) {... |
143 |
18
|
this.funCon = funCon; |
144 |
|
} |
145 |
|
|
146 |
|
|
147 |
|
|
148 |
|
|
149 |
|
@param |
150 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
151 |
18
|
public final void setDescription(final LatexListVo description) {... |
152 |
18
|
this.description = description; |
153 |
|
} |
154 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
155 |
252
|
public LatexList getDescription() {... |
156 |
252
|
return description; |
157 |
|
} |
158 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
|
159 |
70
|
public boolean equals(final Object obj) {... |
160 |
70
|
if (!(obj instanceof InitialFunctionDefinition)) { |
161 |
7
|
return false; |
162 |
|
} |
163 |
63
|
final InitialFunctionDefinition other = (InitialFunctionDefinition) obj; |
164 |
63
|
return EqualsUtility.equals(getArgumentNumber(), other.getArgumentNumber()) |
165 |
|
&& EqualsUtility.equals(getName(), other.getName()) |
166 |
|
&& EqualsUtility.equals(getLatexPattern(), other.getLatexPattern()) |
167 |
|
&& EqualsUtility.equals(getFunCon(), other.getFunCon()) |
168 |
|
&& EqualsUtility.equals(getDescription(), other.getDescription()); |
169 |
|
} |
170 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 6 |
Complexity Density: 6 |
|
171 |
84
|
public int hashCode() {... |
172 |
84
|
return (getArgumentNumber() != null ? getArgumentNumber().hashCode() : 0) |
173 |
84
|
^ (getName() != null ? 1 ^ getName().hashCode() : 0) |
174 |
84
|
^ (getLatexPattern() != null ? 2 ^ getLatexPattern().hashCode() : 0) |
175 |
84
|
^ (getFunCon() != null ? 3 ^ getFunCon().hashCode() : 0) |
176 |
84
|
^ (getDescription() != null ? 5 ^ getDescription().hashCode() : 0); |
177 |
|
} |
178 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (7) |
Complexity: 1 |
Complexity Density: 0.14 |
|
179 |
56
|
public String toString() {... |
180 |
56
|
final StringBuffer buffer = new StringBuffer(); |
181 |
56
|
buffer.append("Initial Function Definition arguments=" + getArgumentNumber() + "\n"); |
182 |
56
|
buffer.append("\tname=" + getName() + "\n"); |
183 |
56
|
buffer.append("\tpattern=" + getLatexPattern() + "\n"); |
184 |
56
|
buffer.append("\tfuncon=" + getFunCon() + "\n"); |
185 |
56
|
buffer.append("\tdescription:\n" + getDescription() + "\n"); |
186 |
56
|
return buffer.toString(); |
187 |
|
} |
188 |
|
|
189 |
|
} |