Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
../../../../../../img/srcFileCovDistChart9.png 45% of files have more coverage
13   81   9   2.6
8   37   0.69   5
5     1.8  
1    
 
  FormalProofHandler       Line # 29 13 9 84.6% 0.84615386
 
  (116)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2014, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
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    * Parse a proposition.
26    *
27    * @author Michael Meyling
28    */
 
29    public class FormalProofHandler extends AbstractSimpleHandler {
30   
31    /** Handle formal proofs. */
32    private final FormalProofLineListHandler formalProofLineListHandler;
33   
34    /** Value object. */
35    private FormalProofVo proof;
36   
37    /**
38    * Deals with propositions.
39    *
40    * @param handler Parent handler.
41    */
 
42  680 toggle public FormalProofHandler(final AbstractSimpleHandler handler) {
43  680 super(handler, "FORMAL_PROOF");
44  680 formalProofLineListHandler = new FormalProofLineListHandler(this);
45    }
46   
 
47  623 toggle public final void init() {
48  623 proof = null;
49    }
50   
51    /**
52    * Get proof.
53    *
54    * @return Proof.
55    */
 
56  623 toggle public final FormalProofVo getProof() {
57  623 return proof;
58    }
59   
 
60  1246 toggle public final void startElement(final String name, final SimpleAttributes attributes)
61    throws XmlSyntaxException {
62  1246 if (getStartTag().equals(name)) {
63  623 proof = new FormalProofVo();
64  623 } else if (formalProofLineListHandler.getStartTag().equals(name)) {
65  623 changeHandler(formalProofLineListHandler, name, attributes);
66    } else {
67  0 throw XmlSyntaxException.createUnexpectedTagException(name);
68    }
69    }
70   
 
71  1246 toggle public final void endElement(final String name) throws XmlSyntaxException {
72  1246 if (getStartTag().equals(name)) {
73    // nothing to do
74  623 } else if (formalProofLineListHandler.getStartTag().equals(name)) {
75  623 proof.setFormalProofLineList(formalProofLineListHandler.getFormalProofLineList());
76    } else {
77  0 throw XmlSyntaxException.createUnexpectedTagException(name);
78    }
79    }
80   
81    }