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:	36		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

FormulaHandler.java

75%

83,3%

100%

84%

1		/* $Id: FormulaOrTermHandler.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.FormulaVo;
21		import org.qedeq.kernel.xml.handler.list.ElementHandler;
22		import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
23		import org.qedeq.kernel.xml.parser.SimpleAttributes;
24		import org.qedeq.kernel.xml.parser.SyntaxException;
25
26
27		/**
28		* Parse formula.
29		*
30		* @version $Revision: 1.9 $
31		* @author Michael Meyling
32		*/
33		public final class FormulaHandler extends AbstractSimpleHandler {
34
35		/** Value object for formula. */
36		private FormulaVo formula;
37
38		/** Handles {@link org.qedeq.kernel.base.list.Element}s. */
39		private final ElementHandler elementHandler;
40
41
42		/**
43		* Handles formulas.
44		*
45		* @param handler Parent handler.
46		*/
47	81	public FormulaHandler(final AbstractSimpleHandler handler) {
48	81	super(handler, "FORMULA");
49	81	elementHandler = new ElementHandler(this);
50		}
51
52	276	public final void init() {
53	276	formula = null;
54		}
55
56		/**
57		* Get parsed result.
58		*
59		* @return FormulaOrTerm.
60		*/
61	276	public final FormulaVo getFormula() {
62	276	return formula;
63		}
64
65	552	public final void startElement(final String name, final SimpleAttributes attributes)
66		throws SyntaxException {
67	552	if (getStartTag().equals(name)) {
68		// nothing to do
69	276	} else if (getLevel() > 1) {
70	276	changeHandler(elementHandler, name, attributes);
71		} else {
72	0	throw SyntaxException.createUnexpectedTagException(name);
73		}
74		}
75
76	552	public final void endElement(final String name) throws SyntaxException {
77	552	if (getStartTag().equals(name)) {
78	276	formula = new FormulaVo(elementHandler.getElement());
79	276	} else if (getLevel() <= 1) {
80	0	throw SyntaxException.createUnexpectedTagException(name);
81		}
82		}
83		}