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.list.Element; |
19 |
|
import org.qedeq.kernel.se.base.module.Formula; |
20 |
|
import org.qedeq.kernel.se.dto.module.SubstPredVo; |
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 |
|
import org.qedeq.kernel.xml.handler.list.ElementHandler; |
25 |
|
|
26 |
|
|
27 |
|
|
28 |
|
|
29 |
|
|
30 |
|
@author |
31 |
|
|
|
|
| 90.2% |
Uncovered Elements: 4 (41) |
Complexity: 12 |
Complexity Density: 0.55 |
|
32 |
|
public class SubstPredvarHandler extends AbstractSimpleHandler { |
33 |
|
|
34 |
|
|
35 |
|
private SubstPredVo substPredvar; |
36 |
|
|
37 |
|
|
38 |
|
private String ref; |
39 |
|
|
40 |
|
|
41 |
|
private Element predicateVariable; |
42 |
|
|
43 |
|
|
44 |
|
private Formula substituteFormula; |
45 |
|
|
46 |
|
|
47 |
|
private final FormulaHandler formulaHandler; |
48 |
|
|
49 |
|
|
50 |
|
private final ElementHandler elementHandler; |
51 |
|
|
52 |
|
|
53 |
|
|
54 |
|
|
55 |
|
@param |
56 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
|
57 |
1064
|
public SubstPredvarHandler(final AbstractSimpleHandler handler) {... |
58 |
1064
|
super(handler, "SUBST_PREDVAR"); |
59 |
1064
|
formulaHandler = new FormulaHandler(this); |
60 |
1064
|
elementHandler = new ElementHandler(this); |
61 |
|
} |
62 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 1 |
Complexity Density: 0.25 |
|
63 |
2072
|
public final void init() {... |
64 |
2072
|
substPredvar = null; |
65 |
2072
|
predicateVariable = null; |
66 |
2072
|
substituteFormula = null; |
67 |
2072
|
ref = null; |
68 |
|
} |
69 |
|
|
70 |
|
|
71 |
|
|
72 |
|
|
73 |
|
@return |
74 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
75 |
2072
|
public final SubstPredVo getSubstPredVo() {... |
76 |
2072
|
return substPredvar; |
77 |
|
} |
78 |
|
|
|
|
| 84.6% |
Uncovered Elements: 2 (13) |
Complexity: 4 |
Complexity Density: 0.57 |
|
79 |
6018
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
80 |
|
throws XmlSyntaxException { |
81 |
6018
|
if (getStartTag().equals(name)) { |
82 |
2072
|
ref = attributes.getString("ref"); |
83 |
3946
|
} else if ("PREDVAR".equals(name)) { |
84 |
1973
|
changeHandler(elementHandler, name, attributes); |
85 |
1973
|
} else if (formulaHandler.getStartTag().equals(name)) { |
86 |
1973
|
changeHandler(formulaHandler, name, attributes); |
87 |
|
} else { |
88 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
89 |
|
} |
90 |
|
} |
91 |
|
|
|
|
| 86.7% |
Uncovered Elements: 2 (15) |
Complexity: 5 |
Complexity Density: 0.71 |
|
92 |
6018
|
public final void endElement(final String name) throws XmlSyntaxException {... |
93 |
6018
|
if (getStartTag().equals(name)) { |
94 |
2072
|
substPredvar = new SubstPredVo(ref, predicateVariable, |
95 |
2072
|
(substituteFormula != null ? substituteFormula.getElement() : null)); |
96 |
3946
|
} else if ("PREDVAR".equals(name)) { |
97 |
1973
|
predicateVariable = elementHandler.getElement(); |
98 |
1973
|
} else if (formulaHandler.getStartTag().equals(name)) { |
99 |
1973
|
substituteFormula = formulaHandler.getFormula(); |
100 |
|
} else { |
101 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
102 |
|
} |
103 |
|
} |
104 |
|
|
105 |
|
} |