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.Term; |
20 |
|
import org.qedeq.kernel.se.dto.module.SubstFreeVo; |
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 SubstFreevarHandler extends AbstractSimpleHandler { |
33 |
|
|
34 |
|
|
35 |
|
private SubstFreeVo substFreevar; |
36 |
|
|
37 |
|
|
38 |
|
private String ref; |
39 |
|
|
40 |
|
|
41 |
|
private Element subjectVariable; |
42 |
|
|
43 |
|
|
44 |
|
private Term substituteTerm; |
45 |
|
|
46 |
|
|
47 |
|
private final TermHandler termHandler; |
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 |
197
|
public SubstFreevarHandler(final AbstractSimpleHandler handler) {... |
58 |
197
|
super(handler, "SUBST_FREE"); |
59 |
197
|
termHandler = new TermHandler(this); |
60 |
197
|
elementHandler = new ElementHandler(this); |
61 |
|
} |
62 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 1 |
Complexity Density: 0.25 |
|
63 |
15
|
public final void init() {... |
64 |
15
|
substFreevar = null; |
65 |
15
|
subjectVariable = null; |
66 |
15
|
substituteTerm = null; |
67 |
15
|
ref = null; |
68 |
|
} |
69 |
|
|
70 |
|
|
71 |
|
|
72 |
|
|
73 |
|
@return |
74 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
75 |
15
|
public final SubstFreeVo getSubstFreeVo() {... |
76 |
15
|
return substFreevar; |
77 |
|
} |
78 |
|
|
|
|
| 84.6% |
Uncovered Elements: 2 (13) |
Complexity: 4 |
Complexity Density: 0.57 |
|
79 |
40
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
80 |
|
throws XmlSyntaxException { |
81 |
40
|
if (getStartTag().equals(name)) { |
82 |
15
|
ref = attributes.getString("ref"); |
83 |
25
|
} else if ("VAR".equals(name)) { |
84 |
11
|
changeHandler(elementHandler, name, attributes); |
85 |
14
|
} else if (termHandler.getStartTag().equals(name)) { |
86 |
14
|
changeHandler(termHandler, 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 |
40
|
public final void endElement(final String name) throws XmlSyntaxException {... |
93 |
40
|
if (getStartTag().equals(name)) { |
94 |
15
|
substFreevar = new SubstFreeVo(ref, subjectVariable, |
95 |
15
|
(substituteTerm != null ? substituteTerm.getElement() : null)); |
96 |
25
|
} else if ("VAR".equals(name)) { |
97 |
11
|
subjectVariable = elementHandler.getElement(); |
98 |
14
|
} else if (termHandler.getStartTag().equals(name)) { |
99 |
14
|
substituteTerm = termHandler.getTerm(); |
100 |
|
} else { |
101 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
102 |
|
} |
103 |
|
} |
104 |
|
|
105 |
|
} |