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.dto.module.ProofVo; |
19 |
|
import org.qedeq.kernel.xml.common.XmlSyntaxException; |
20 |
|
import org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler; |
21 |
|
import org.qedeq.kernel.xml.handler.common.SimpleAttributes; |
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
@version |
28 |
|
@author |
29 |
|
|
|
|
| 81.8% |
Uncovered Elements: 4 (22) |
Complexity: 7 |
Complexity Density: 0.54 |
|
30 |
|
public class ProofHandler extends AbstractSimpleHandler { |
31 |
|
|
32 |
|
|
33 |
|
private final LatexListHandler informalProofHandler; |
34 |
|
|
35 |
|
|
36 |
|
private ProofVo proof; |
37 |
|
|
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
@param |
42 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
|
43 |
1228
|
public ProofHandler(final AbstractSimpleHandler handler) {... |
44 |
1228
|
super(handler, "PROOF"); |
45 |
1228
|
informalProofHandler = new LatexListHandler(this, "PROOF"); |
46 |
|
} |
47 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
48 |
2953
|
public final void init() {... |
49 |
2953
|
proof = null; |
50 |
|
} |
51 |
|
|
52 |
|
|
53 |
|
|
54 |
|
|
55 |
|
@return |
56 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
57 |
2953
|
public final ProofVo getProof() {... |
58 |
2953
|
return proof; |
59 |
|
} |
60 |
|
|
|
|
| 75% |
Uncovered Elements: 2 (8) |
Complexity: 2 |
Complexity Density: 0.33 |
|
61 |
2953
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
62 |
|
throws XmlSyntaxException { |
63 |
2953
|
if (getStartTag().equals(name)) { |
64 |
2953
|
proof = new ProofVo(); |
65 |
2953
|
proof.setKind(attributes.getString("kind")); |
66 |
2953
|
proof.setLevel(attributes.getString("level")); |
67 |
2953
|
changeHandler(informalProofHandler, name, attributes); |
68 |
|
} else { |
69 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
70 |
|
} |
71 |
|
} |
72 |
|
|
|
|
| 60% |
Uncovered Elements: 2 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
|
73 |
2953
|
public final void endElement(final String name) throws XmlSyntaxException {... |
74 |
2953
|
if (getStartTag().equals(name)) { |
75 |
2953
|
proof.setNonFormalProof(informalProofHandler.getLatexList()); |
76 |
|
} else { |
77 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
78 |
|
} |
79 |
|
} |
80 |
|
|
81 |
|
} |