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.FormalProofVo;
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
28
29 public class FormalProofHandler extends AbstractSimpleHandler {
30
31
32 private final FormalProofLineListHandler formalProofLineListHandler;
33
34
35 private FormalProofVo proof;
36
37
38
39
40
41
42 public FormalProofHandler(final AbstractSimpleHandler handler) {
43 super(handler, "FORMAL_PROOF");
44 formalProofLineListHandler = new FormalProofLineListHandler(this);
45 }
46
47 public final void init() {
48 proof = null;
49 }
50
51
52
53
54
55
56 public final FormalProofVo getProof() {
57 return proof;
58 }
59
60 public final void startElement(final String name, final SimpleAttributes attributes)
61 throws XmlSyntaxException {
62 if (getStartTag().equals(name)) {
63 proof = new FormalProofVo();
64 } else if (formalProofLineListHandler.getStartTag().equals(name)) {
65 changeHandler(formalProofLineListHandler, name, attributes);
66 } else {
67 throw XmlSyntaxException.createUnexpectedTagException(name);
68 }
69 }
70
71 public final void endElement(final String name) throws XmlSyntaxException {
72 if (getStartTag().equals(name)) {
73
74 } else if (formalProofLineListHandler.getStartTag().equals(name)) {
75 proof.setFormalProofLineList(formalProofLineListHandler.getFormalProofLineList());
76 } else {
77 throw XmlSyntaxException.createUnexpectedTagException(name);
78 }
79 }
80
81 }