1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.xml.handler.module; |
17 |
|
|
18 |
|
import org.qedeq.kernel.se.base.module.Reason; |
19 |
|
import org.qedeq.kernel.se.dto.module.FormalProofLineListVo; |
20 |
|
import org.qedeq.kernel.se.dto.module.FormalProofLineVo; |
21 |
|
import org.qedeq.kernel.xml.common.XmlSyntaxException; |
22 |
|
import org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler; |
23 |
|
import org.qedeq.kernel.xml.handler.common.SimpleAttributes; |
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
|
28 |
|
|
29 |
|
@author |
30 |
|
|
|
|
| 96.6% |
Uncovered Elements: 4 (117) |
Complexity: 29 |
Complexity Density: 0.45 |
|
31 |
|
public class FormalProofLineListHandler extends AbstractSimpleHandler { |
32 |
|
|
33 |
|
|
34 |
|
private FormalProofLineListVo list; |
35 |
|
|
36 |
|
|
37 |
|
private final FormulaHandler formulaHandler; |
38 |
|
|
39 |
|
|
40 |
|
private final ModusPonensHandler modusPonensHandler; |
41 |
|
|
42 |
|
|
43 |
|
private final AddHandler addHandler; |
44 |
|
|
45 |
|
|
46 |
|
private final RenameHandler renameHandler; |
47 |
|
|
48 |
|
|
49 |
|
private final SubstPredvarHandler substPredvarHandler; |
50 |
|
|
51 |
|
|
52 |
|
private final SubstFreevarHandler substFreevarHandler; |
53 |
|
|
54 |
|
|
55 |
|
private final SubstFuncvarHandler substFuncvarHandler; |
56 |
|
|
57 |
|
|
58 |
|
private final ExistentialHandler existentialHandler; |
59 |
|
|
60 |
|
|
61 |
|
private final UniversalHandler universalHandler; |
62 |
|
|
63 |
|
|
64 |
|
private final ConditionalProofHandler conditionalProofHandler; |
65 |
|
|
66 |
|
|
67 |
|
private String label; |
68 |
|
|
69 |
|
|
70 |
|
private Reason reason; |
71 |
|
|
72 |
|
|
73 |
|
|
74 |
|
|
75 |
|
|
76 |
|
@param |
77 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 1 |
Complexity Density: 0.09 |
|
78 |
197
|
public FormalProofLineListHandler(final AbstractSimpleHandler handler) {... |
79 |
197
|
super(handler, "LINES"); |
80 |
197
|
formulaHandler = new FormulaHandler(this); |
81 |
197
|
modusPonensHandler = new ModusPonensHandler(this); |
82 |
197
|
addHandler = new AddHandler(this); |
83 |
197
|
substPredvarHandler = new SubstPredvarHandler(this); |
84 |
197
|
renameHandler = new RenameHandler(this); |
85 |
197
|
substFreevarHandler = new SubstFreevarHandler(this); |
86 |
197
|
substFuncvarHandler = new SubstFuncvarHandler(this); |
87 |
197
|
existentialHandler = new ExistentialHandler(this); |
88 |
197
|
universalHandler = new UniversalHandler(this); |
89 |
197
|
conditionalProofHandler = new ConditionalProofHandler(this); |
90 |
|
} |
91 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
|
92 |
103
|
public final void init() {... |
93 |
103
|
list = null; |
94 |
103
|
reason = null; |
95 |
103
|
label = null; |
96 |
|
} |
97 |
|
|
98 |
|
|
99 |
|
|
100 |
|
|
101 |
|
@return |
102 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
103 |
103
|
public final FormalProofLineListVo getFormalProofLineList() {... |
104 |
103
|
return list; |
105 |
|
} |
106 |
|
|
|
|
| 96% |
Uncovered Elements: 2 (50) |
Complexity: 13 |
Complexity Density: 0.5 |
|
107 |
1773
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
108 |
|
throws XmlSyntaxException { |
109 |
1773
|
if (getStartTag().equals(name)) { |
110 |
103
|
list = new FormalProofLineListVo(); |
111 |
1670
|
} else if ("L".equals(name)) { |
112 |
540
|
label = attributes.getString("label"); |
113 |
540
|
reason = null; |
114 |
1130
|
} else if (formulaHandler.getStartTag().equals(name)) { |
115 |
540
|
changeHandler(formulaHandler, name, attributes); |
116 |
590
|
} else if (modusPonensHandler.getStartTag().equals(name)) { |
117 |
152
|
changeHandler(modusPonensHandler, name, attributes); |
118 |
438
|
} else if (addHandler.getStartTag().equals(name)) { |
119 |
121
|
changeHandler(addHandler, name, attributes); |
120 |
317
|
} else if (substPredvarHandler.getStartTag().equals(name)) { |
121 |
206
|
changeHandler(substPredvarHandler, name, attributes); |
122 |
111
|
} else if (renameHandler.getStartTag().equals(name)) { |
123 |
26
|
changeHandler(renameHandler, name, attributes); |
124 |
85
|
} else if (substFreevarHandler.getStartTag().equals(name)) { |
125 |
15
|
changeHandler(substFreevarHandler, name, attributes); |
126 |
70
|
} else if (substFuncvarHandler.getStartTag().equals(name)) { |
127 |
5
|
changeHandler(substFuncvarHandler, name, attributes); |
128 |
65
|
} else if (existentialHandler.getStartTag().equals(name)) { |
129 |
3
|
changeHandler(existentialHandler, name, attributes); |
130 |
62
|
} else if (universalHandler.getStartTag().equals(name)) { |
131 |
12
|
changeHandler(universalHandler, name, attributes); |
132 |
50
|
} else if (conditionalProofHandler.getStartTag().equals(name)) { |
133 |
50
|
changeHandler(conditionalProofHandler, name, attributes); |
134 |
|
} else { |
135 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
136 |
|
} |
137 |
|
} |
138 |
|
|
|
|
| 95.7% |
Uncovered Elements: 2 (47) |
Complexity: 13 |
Complexity Density: 0.57 |
|
139 |
1773
|
public final void endElement(final String name) throws XmlSyntaxException {... |
140 |
1773
|
if (getStartTag().equals(name)) { |
141 |
|
|
142 |
1670
|
} else if (formulaHandler.getStartTag().equals(name)) { |
143 |
|
|
144 |
1130
|
} else if ("L".equals(name)) { |
145 |
540
|
list.add(new FormalProofLineVo(label, formulaHandler.getFormula(), reason)); |
146 |
590
|
} else if (modusPonensHandler.getStartTag().equals(name)) { |
147 |
152
|
reason = modusPonensHandler.getModusPonensVo(); |
148 |
438
|
} else if (addHandler.getStartTag().equals(name)) { |
149 |
121
|
reason = addHandler.getAddVo(); |
150 |
317
|
} else if (substPredvarHandler.getStartTag().equals(name)) { |
151 |
206
|
reason = substPredvarHandler.getSubstPredVo(); |
152 |
111
|
} else if (renameHandler.getStartTag().equals(name)) { |
153 |
26
|
reason = renameHandler.getRenameVo(); |
154 |
85
|
} else if (substFreevarHandler.getStartTag().equals(name)) { |
155 |
15
|
reason = substFreevarHandler.getSubstFreeVo(); |
156 |
70
|
} else if (substFuncvarHandler.getStartTag().equals(name)) { |
157 |
5
|
reason = substFuncvarHandler.getSubstFuncVo(); |
158 |
65
|
} else if (existentialHandler.getStartTag().equals(name)) { |
159 |
3
|
reason = existentialHandler.getExistentialVo(); |
160 |
62
|
} else if (universalHandler.getStartTag().equals(name)) { |
161 |
12
|
reason = universalHandler.getUniversalVo(); |
162 |
50
|
} else if (conditionalProofHandler.getStartTag().equals(name)) { |
163 |
50
|
list.add(conditionalProofHandler.getConditionalProofVo()); |
164 |
|
} else { |
165 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
166 |
|
} |
167 |
|
} |
168 |
|
} |