Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: So Sep 2 2007 02:40:58 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
file stats: LOC: 153   Methods: 5
NCLOC: 88   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
NodeHandler.java 95% 96,4% 100% 96%
coverage coverage
 1    /* $Id: NodeHandler.java,v 1.14 2007/05/10 00:37:50 m31 Exp $
 2    *
 3    * This file is part of the project "Hilbert II" - http://www.qedeq.org
 4    *
 5    * Copyright 2000-2007, 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.common.SyntaxException;
 22    import org.qedeq.kernel.dto.module.NodeVo;
 23    import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
 24    import org.qedeq.kernel.xml.parser.SimpleAttributes;
 25   
 26   
 27    /**
 28    * Handles node data.
 29    *
 30    * @version $Revision: 1.14 $
 31    * @author Michael Meyling
 32    */
 33    public 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 predicate definition. */
 52    private final PredicateDefinitionHandler predicateDefinitionHandler;
 53   
 54    /** Handler for a function definition. */
 55    private final FunctionDefinitionHandler functionDefinitionHandler;
 56   
 57    /** Handler for a proposition. */
 58    private final PropositionHandler propositionHandler;
 59   
 60    /** Handler for a rule. */
 61    private final RuleHandler ruleHandler;
 62   
 63    /** Node value object. */
 64    private NodeVo node;
 65   
 66   
 67    /**
 68    * Constructor.
 69    *
 70    * @param handler Parent handler.
 71    */
 72  63 public NodeHandler(final AbstractSimpleHandler handler) {
 73  63 super(handler, "NODE");
 74  63 nameHandler = new LatexListHandler(this, "NAME");
 75  63 titleHandler = new LatexListHandler(this, "TITLE");
 76  63 precedingHandler = new LatexListHandler(this, "PRECEDING");
 77  63 succeedingHandler = new LatexListHandler(this, "SUCCEEDING");
 78  63 axiomHandler = new AxiomHandler(this);
 79  63 predicateDefinitionHandler = new PredicateDefinitionHandler(this);
 80  63 functionDefinitionHandler = new FunctionDefinitionHandler(this);
 81  63 propositionHandler = new PropositionHandler(this);
 82  63 ruleHandler = new RuleHandler(this);
 83    }
 84   
 85  786 public final void init() {
 86  786 node = null;
 87    }
 88   
 89    /**
 90    * Get node.
 91    *
 92    * @return Node.
 93    */
 94  786 public final Node getNode() {
 95  786 return node;
 96    }
 97   
 98  3302 public final void startElement(final String name, final SimpleAttributes attributes)
 99    throws SyntaxException {
 100  3302 if (getStartTag().equals(name)) {
 101  786 node = new NodeVo();
 102  786 node.setId(attributes.getString("id"));
 103  786 node.setLevel(attributes.getString("level"));
 104  2516 } else if (nameHandler.getStartTag().equals(name)) {
 105  390 changeHandler(nameHandler, name, attributes);
 106  2126 } else if (titleHandler.getStartTag().equals(name)) {
 107  386 changeHandler(titleHandler, name, attributes);
 108  1740 } else if (precedingHandler.getStartTag().equals(name)) {
 109  759 changeHandler(precedingHandler, name, attributes);
 110  981 } else if (succeedingHandler.getStartTag().equals(name)) {
 111  195 changeHandler(succeedingHandler, name, attributes);
 112  786 } else if (axiomHandler.getStartTag().equals(name)) {
 113  130 changeHandler(axiomHandler, name, attributes);
 114  656 } else if (predicateDefinitionHandler.getStartTag().equals(name)) {
 115  116 changeHandler(predicateDefinitionHandler, name, attributes);
 116  540 } else if (functionDefinitionHandler.getStartTag().equals(name)) {
 117  112 changeHandler(functionDefinitionHandler, name, attributes);
 118  428 } else if (propositionHandler.getStartTag().equals(name)) {
 119  400 changeHandler(propositionHandler, name, attributes);
 120  28 } else if (ruleHandler.getStartTag().equals(name)) {
 121  28 changeHandler(ruleHandler, name, attributes);
 122    } else {
 123  0 throw SyntaxException.createUnexpectedTagException(name);
 124    }
 125    }
 126   
 127  3302 public void endElement(final String name) throws SyntaxException {
 128  3302 if (getStartTag().equals(name)) {
 129    // thats why we handle it
 130  2516 } else if (nameHandler.getStartTag().equals(name)) {
 131  390 node.setName(nameHandler.getLatexList());
 132  2126 } else if (titleHandler.getStartTag().equals(name)) {
 133  386 node.setTitle(titleHandler.getLatexList());
 134  1740 } else if (precedingHandler.getStartTag().equals(name)) {
 135  759 node.setPrecedingText(precedingHandler.getLatexList());
 136  981 } else if (succeedingHandler.getStartTag().equals(name)) {
 137  195 node.setSucceedingText(succeedingHandler.getLatexList());
 138  786 } else if (axiomHandler.getStartTag().equals(name)) {
 139  130 node.setNodeType(axiomHandler.getAxiom());
 140  656 } else if (predicateDefinitionHandler.getStartTag().equals(name)) {
 141  116 node.setNodeType(predicateDefinitionHandler.getDefinition());
 142  540 } else if (functionDefinitionHandler.getStartTag().equals(name)) {
 143  112 node.setNodeType(functionDefinitionHandler.getDefinition());
 144  428 } else if (propositionHandler.getStartTag().equals(name)) {
 145  400 node.setNodeType(propositionHandler.getProposition());
 146  28 } else if (ruleHandler.getStartTag().equals(name)) {
 147  28 node.setNodeType(ruleHandler.getRule());
 148    } else {
 149  0 throw SyntaxException.createUnexpectedTagException(name);
 150    }
 151    }
 152   
 153    }
 
CloverReport generated by Clover Code Coverage v1.3.10
So Sep 2 2007 03:30:10 CEST.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.