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.Rule; |
19 |
|
import org.qedeq.kernel.se.dto.module.RuleVo; |
20 |
|
import org.qedeq.kernel.xml.common.XmlSyntaxException; |
21 |
|
import org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler; |
22 |
|
import org.qedeq.kernel.xml.handler.common.SimpleAttributes; |
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
|
28 |
|
@author |
29 |
|
|
|
|
| 84.6% |
Uncovered Elements: 10 (65) |
Complexity: 18 |
Complexity Density: 0.53 |
|
30 |
|
public class RuleHandler extends AbstractSimpleHandler { |
31 |
|
|
32 |
|
|
33 |
|
private final LatexListHandler descriptionHandler; |
34 |
|
|
35 |
|
|
36 |
|
private final ProofHandler proofHandler; |
37 |
|
|
38 |
|
|
39 |
|
private final ChangedRuleHandler changedRuleHandler; |
40 |
|
|
41 |
|
|
42 |
|
private RuleVo rule; |
43 |
|
|
44 |
|
|
45 |
|
|
46 |
|
|
47 |
|
@param |
48 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 1 |
Complexity Density: 0.25 |
|
49 |
147
|
public RuleHandler(final AbstractSimpleHandler handler) {... |
50 |
147
|
super(handler, "RULE"); |
51 |
147
|
descriptionHandler = new LatexListHandler(this, "DESCRIPTION"); |
52 |
147
|
changedRuleHandler = new ChangedRuleHandler(this); |
53 |
147
|
proofHandler = new ProofHandler(this); |
54 |
|
} |
55 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
56 |
68
|
public final void init() {... |
57 |
68
|
rule = null; |
58 |
|
} |
59 |
|
|
60 |
|
|
61 |
|
|
62 |
|
|
63 |
|
@return |
64 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
65 |
68
|
public final Rule getRule() {... |
66 |
68
|
return rule; |
67 |
|
} |
68 |
|
|
|
|
| 77.1% |
Uncovered Elements: 8 (35) |
Complexity: 9 |
Complexity Density: 0.47 |
|
69 |
162
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
70 |
|
throws XmlSyntaxException { |
71 |
162
|
if (getStartTag().equals(name)) { |
72 |
68
|
rule = new RuleVo(); |
73 |
68
|
if (null != attributes.getString("name")) { |
74 |
68
|
rule.setName(attributes.getString("name")); |
75 |
|
} else { |
76 |
0
|
throw XmlSyntaxException.createMissingAttributeException(name, "name"); |
77 |
|
} |
78 |
68
|
if (null != attributes.getString("version")) { |
79 |
68
|
rule.setVersion(attributes.getString("version")); |
80 |
|
} else { |
81 |
0
|
throw XmlSyntaxException.createMissingAttributeException(name, "version"); |
82 |
|
} |
83 |
94
|
} else if ("LINK".equals(name)) { |
84 |
17
|
if (null != attributes.getString("id")) { |
85 |
17
|
rule.addLink(attributes.getString("id")); |
86 |
|
} else { |
87 |
0
|
throw XmlSyntaxException.createMissingAttributeException(name, "id"); |
88 |
|
} |
89 |
77
|
} else if (descriptionHandler.getStartTag().equals(name)) { |
90 |
68
|
changeHandler(descriptionHandler, name, attributes); |
91 |
9
|
} else if (proofHandler.getStartTag().equals(name)) { |
92 |
1
|
changeHandler(proofHandler, name, attributes); |
93 |
8
|
} else if (changedRuleHandler.getStartTag().equals(name)) { |
94 |
8
|
changeHandler(changedRuleHandler, name, attributes); |
95 |
|
} else { |
96 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
97 |
|
} |
98 |
|
} |
99 |
|
|
|
|
| 89.5% |
Uncovered Elements: 2 (19) |
Complexity: 6 |
Complexity Density: 0.67 |
|
100 |
162
|
public final void endElement(final String name) throws XmlSyntaxException {... |
101 |
162
|
if (getStartTag().equals(name)) { |
102 |
|
|
103 |
94
|
} else if ("LINK".equals(name)) { |
104 |
|
|
105 |
77
|
} else if (descriptionHandler.getStartTag().equals(name)) { |
106 |
68
|
rule.setDescription(descriptionHandler.getLatexList()); |
107 |
9
|
} else if (proofHandler.getStartTag().equals(name)) { |
108 |
1
|
rule.addProof(proofHandler.getProof()); |
109 |
8
|
} else if (changedRuleHandler.getStartTag().equals(name)) { |
110 |
8
|
rule.addChangedRule(changedRuleHandler.getChangedRule()); |
111 |
|
} else { |
112 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
113 |
|
} |
114 |
|
} |
115 |
|
|
116 |
|
|
117 |
|
} |