Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Dez 29 2005 18:38:29 CET
Overview   Package   File
    FRAMES   NO FRAMES  
file stats: LOC: 145   Methods: 5
NCLOC: 82   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
NodeHandler.java 94,4% 96% 100% 95,6%
coverage coverage
 1    /* $Id: NodeHandler.java,v 1.10 2005/12/09 18:24:23 m31 Exp $
 2    *
 3    * This file is part of the project "Hilbert II" - http://www.qedeq.org
 4    *
 5    * Copyright 2000-2005, 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.base.module.Node;
 21    import org.qedeq.kernel.dto.module.NodeVo;
 22    import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
 23    import org.qedeq.kernel.xml.parser.SyntaxException;
 24    import org.qedeq.kernel.xml.parser.SimpleAttributes;
 25   
 26   
 27    /**
 28    * Handles node data.
 29    *
 30    * @version $Revision: 1.10 $
 31    * @author Michael Meyling
 32    */
 33    public final class NodeHandler extends AbstractSimpleHandler {
 34   
 35    /** Handler for node name. The node name is a visible, language specific node reference,
 36    * e.g. "Axiom of Choice" or "is set". */
 37    private final LatexListHandler nameHandler;
 38   
 39    /** Handler for title. This is simply the title of this subsection. */
 40    private final LatexListHandler titleHandler;
 41   
 42    /** Handler for the formula preceding text. */
 43    private final LatexListHandler precedingHandler;
 44   
 45    /** Handler for the formula succeeding text. */
 46    private final LatexListHandler succeedingHandler;
 47   
 48    /** Handler for an axiom. */
 49    private final AxiomHandler axiomHandler;
 50   
 51    /** Handler for a definition. */
 52    private final DefinitionHandler definitionHandler;
 53   
 54    /** Handler for a proposition. */
 55    private final PropositionHandler propositionHandler;
 56   
 57    /** Handler for a rule. */
 58    private final RuleHandler ruleHandler;
 59   
 60    /** Node value object. */
 61    private NodeVo node;
 62   
 63   
 64    /**
 65    * Constructor.
 66    *
 67    * @param handler Parent handler.
 68    */
 69  17 public NodeHandler(final AbstractSimpleHandler handler) {
 70  17 super(handler, "NODE");
 71  17 nameHandler = new LatexListHandler(this, "NAME");
 72  17 titleHandler = new LatexListHandler(this, "TITLE");
 73  17 precedingHandler = new LatexListHandler(this, "PRECEDING");
 74  17 succeedingHandler = new LatexListHandler(this, "SUCCEEDING");
 75  17 axiomHandler = new AxiomHandler(this);
 76  17 definitionHandler = new DefinitionHandler(this);
 77  17 propositionHandler = new PropositionHandler(this);
 78  17 ruleHandler = new RuleHandler(this);
 79    }
 80   
 81  64 public final void init() {
 82  64 node = null;
 83    }
 84   
 85    /**
 86    * Get node.
 87    *
 88    * @return Node.
 89    */
 90  64 public final Node getNode() {
 91  64 return node;
 92    }
 93   
 94  322 public final void startElement(final String name, final SimpleAttributes attributes)
 95    throws SyntaxException {
 96  322 if (getStartTag().equals(name)) {
 97  64 node = new NodeVo();
 98  64 node.setId(attributes.getString("id"));
 99  64 node.setLevel(attributes.getString("level"));
 100  258 } else if (nameHandler.getStartTag().equals(name)) {
 101  46 changeHandler(nameHandler, name, attributes);
 102  212 } else if (titleHandler.getStartTag().equals(name)) {
 103  42 changeHandler(titleHandler, name, attributes);
 104  170 } else if (precedingHandler.getStartTag().equals(name)) {
 105  64 changeHandler(precedingHandler, name, attributes);
 106  106 } else if (succeedingHandler.getStartTag().equals(name)) {
 107  42 changeHandler(succeedingHandler, name, attributes);
 108  64 } else if (axiomHandler.getStartTag().equals(name)) {
 109  15 changeHandler(axiomHandler, name, attributes);
 110  49 } else if (definitionHandler.getStartTag().equals(name)) {
 111  28 changeHandler(definitionHandler, name, attributes);
 112  21 } else if (propositionHandler.getStartTag().equals(name)) {
 113  19 changeHandler(propositionHandler, name, attributes);
 114  2 } else if (ruleHandler.getStartTag().equals(name)) {
 115  2 changeHandler(ruleHandler, name, attributes);
 116    } else {
 117  0 throw SyntaxException.createUnexpectedTagException(name);
 118    }
 119    }
 120   
 121  322 public void endElement(final String name) throws SyntaxException {
 122  322 if (getStartTag().equals(name)) {
 123    // thats why we handle it
 124  258 } else if (nameHandler.getStartTag().equals(name)) {
 125  46 node.setName(nameHandler.getLatexList());
 126  212 } else if (titleHandler.getStartTag().equals(name)) {
 127  42 node.setTitle(titleHandler.getLatexList());
 128  170 } else if (precedingHandler.getStartTag().equals(name)) {
 129  64 node.setPrecedingText(precedingHandler.getLatexList());
 130  106 } else if (succeedingHandler.getStartTag().equals(name)) {
 131  42 node.setSucceedingText(succeedingHandler.getLatexList());
 132  64 } else if (axiomHandler.getStartTag().equals(name)) {
 133  15 node.setNodeType(axiomHandler.getAxiom());
 134  49 } else if (definitionHandler.getStartTag().equals(name)) {
 135  28 node.setNodeType(definitionHandler.getDefinition());
 136  21 } else if (propositionHandler.getStartTag().equals(name)) {
 137  19 node.setNodeType(propositionHandler.getProposition());
 138  2 } else if (ruleHandler.getStartTag().equals(name)) {
 139  2 node.setNodeType(ruleHandler.getRule());
 140    } else {
 141  0 throw SyntaxException.createUnexpectedTagException(name);
 142    }
 143    }
 144   
 145    }
 
CloverReport generated by Clover Code Coverage v1.3.8
Do Dez 29 2005 18:39:59 CET.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.