QedeqKernelSe Coverage Report

Clover coverage report - QedeqKernelSe Coverage Report

Coverage timestamp: Do Jan 11 2007 09:03:50 CET

FRAMES NO FRAMES

file stats:	LOC:	83		Methods:	5
	NCLOC:	37		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

ProofHandler.java

50%

84,6%

100%

81,8%

1		/* $Id: ProofHandler.java,v 1.9 2006/10/20 20:23:02 m31 Exp $
2		*
3		* This file is part of the project "Hilbert II" - http://www.qedeq.org
4		*
5		* Copyright 2000-2006, Michael Meyling <mime@qedeq.org>.
6		*
7		* "Hilbert II" is free software; you can redistribute
8		* it and/or modify it under the terms of the GNU General Public
9		* License as published by the Free Software Foundation; either
10		* version 2 of the License, or (at your option) any later version.
11		*
12		* This program is distributed in the hope that it will be useful,
13		* but WITHOUT ANY WARRANTY; without even the implied warranty of
14		* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15		* GNU General Public License for more details.
16		*/
17
18		package org.qedeq.kernel.xml.handler.module;
19
20		import org.qedeq.kernel.dto.module.ProofVo;
21		import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
22		import org.qedeq.kernel.xml.parser.SimpleAttributes;
23		import org.qedeq.kernel.xml.parser.SyntaxException;
24
25
26		/**
27		* Parse a proposition.
28		*
29		* @version $Revision: 1.9 $
30		* @author Michael Meyling
31		*/
32		public final class ProofHandler extends AbstractSimpleHandler {
33
34		/** Handle informal proofs. */
35		private final LatexListHandler informalProofHandler;
36
37		/** Value object. */
38		private ProofVo proof;
39
40		/**
41		* Deals with propositions.
42		*
43		* @param handler Parent handler.
44		*/
45	54	public ProofHandler(final AbstractSimpleHandler handler) {
46	54	super(handler, "PROOF");
47	54	informalProofHandler = new LatexListHandler(this, "PROOF");
48		}
49
50	26	public final void init() {
51	26	proof = null;
52		}
53
54		/**
55		* Get proof.
56		*
57		* @return Proof.
58		*/
59	26	public final ProofVo getProof() {
60	26	return proof;
61		}
62
63	26	public final void startElement(final String name, final SimpleAttributes attributes)
64		throws SyntaxException {
65	26	if (getStartTag().equals(name)) {
66	26	proof = new ProofVo();
67	26	proof.setKind(attributes.getString("kind"));
68	26	proof.setLevel(attributes.getString("level"));
69	26	changeHandler(informalProofHandler, name, attributes);
70		} else {
71	0	throw SyntaxException.createUnexpectedTagException(name);
72		}
73		}
74
75	26	public final void endElement(final String name) throws SyntaxException {
76	26	if (getStartTag().equals(name)) {
77	26	proof.setNonFormalProof(informalProofHandler.getLatexList());
78		} else {
79	0	throw SyntaxException.createUnexpectedTagException(name);
80		}
81		}
82
83		}