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.Axiom; |
19 |
|
import org.qedeq.kernel.se.dto.module.AxiomVo; |
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 |
|
@version |
29 |
|
@author |
30 |
|
|
|
|
| 66.7% |
Uncovered Elements: 12 (36) |
Complexity: 11 |
Complexity Density: 0.58 |
|
31 |
|
public class AxiomHandler extends AbstractSimpleHandler { |
32 |
|
|
33 |
|
|
34 |
|
private final FormulaHandler formulaHandler; |
35 |
|
|
36 |
|
|
37 |
|
private final LatexListHandler descriptionHandler; |
38 |
|
|
39 |
|
|
40 |
|
private AxiomVo axiom; |
41 |
|
|
42 |
|
|
43 |
|
|
44 |
|
|
45 |
|
@param |
46 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0.33 |
|
47 |
147
|
public AxiomHandler(final AbstractSimpleHandler handler) {... |
48 |
147
|
super(handler, "AXIOM"); |
49 |
147
|
formulaHandler = new FormulaHandler(this); |
50 |
147
|
descriptionHandler = new LatexListHandler(this, "DESCRIPTION"); |
51 |
|
} |
52 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
53 |
145
|
public final void init() {... |
54 |
145
|
axiom = null; |
55 |
|
} |
56 |
|
|
57 |
|
|
58 |
|
|
59 |
|
|
60 |
|
@return |
61 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
62 |
145
|
public final Axiom getAxiom() {... |
63 |
145
|
return axiom; |
64 |
|
} |
65 |
|
|
|
|
| 57.1% |
Uncovered Elements: 6 (14) |
Complexity: 4 |
Complexity Density: 0.5 |
|
66 |
290
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
67 |
|
throws XmlSyntaxException { |
68 |
290
|
if (getStartTag().equals(name)) { |
69 |
145
|
axiom = new AxiomVo(); |
70 |
145
|
axiom.setDefinedOperator(attributes.getString("definedOperator")); |
71 |
145
|
} else if (formulaHandler.getStartTag().equals(name)) { |
72 |
145
|
changeHandler(formulaHandler, name, attributes); |
73 |
0
|
} else if (descriptionHandler.getStartTag().equals(name)) { |
74 |
0
|
changeHandler(descriptionHandler, name, attributes); |
75 |
|
} else { |
76 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
77 |
|
} |
78 |
|
} |
79 |
|
|
|
|
| 50% |
Uncovered Elements: 6 (12) |
Complexity: 4 |
Complexity Density: 0.67 |
|
80 |
290
|
public final void endElement(final String name) throws XmlSyntaxException {... |
81 |
290
|
if (getStartTag().equals(name)) { |
82 |
|
|
83 |
145
|
} else if (formulaHandler.getStartTag().equals(name)) { |
84 |
145
|
axiom.setFormula(formulaHandler.getFormula()); |
85 |
0
|
} else if (descriptionHandler.getStartTag().equals(name)) { |
86 |
0
|
axiom.setDescription(descriptionHandler.getLatexList()); |
87 |
|
} else { |
88 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
89 |
|
} |
90 |
|
} |
91 |
|
|
92 |
|
} |