Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Mai 10 2007 03:16:40 CEST
file stats: LOC: 126   Methods: 5
NCLOC: 68   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
HeaderHandler.java 92,9% 94,9% 100% 94,4%
coverage coverage
 1    /* $Id: HeaderHandler.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.common.SyntaxException;
 21    import org.qedeq.kernel.dto.module.HeaderVo;
 22    import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
 23    import org.qedeq.kernel.xml.parser.SimpleAttributes;
 24   
 25   
 26    /**
 27    * Parse header informations.
 28    *
 29    * @version $Revision: 1.14 $
 30    * @author Michael Meyling
 31    */
 32    public class HeaderHandler extends AbstractSimpleHandler {
 33   
 34    /** Value object for module header. */
 35    private HeaderVo header;
 36   
 37    /** Handler for module specification. */
 38    private final SpecificationHandler specificationHandler;
 39   
 40    /** Handler for module title. */
 41    private final LatexListHandler titleHandler;
 42   
 43    /** Handler for module abstract. */
 44    private final LatexListHandler abstractHandler;
 45   
 46    /** Handler for list of module authors. */
 47    private final AuthorListHandler authorListHandler;
 48   
 49    /** Handler for list of module imports. */
 50    private final ImportListHandler importListHandler;
 51   
 52    /** Handler for list of modules that need this one. */
 53    private final UsedByListHandler usedbyListHandler;
 54   
 55   
 56    /**
 57    * Deals with header of qedeq file.
 58    *
 59    * @param handler Parent handler.
 60    */
 61  46 public HeaderHandler(final AbstractSimpleHandler handler) {
 62  46 super(handler, "HEADER");
 63  46 titleHandler = new LatexListHandler(this, "TITLE");
 64  46 abstractHandler = new LatexListHandler(this, "ABSTRACT");
 65  46 specificationHandler = new SpecificationHandler(this);
 66  46 authorListHandler = new AuthorListHandler(this);
 67  46 importListHandler = new ImportListHandler(this);
 68  46 usedbyListHandler = new UsedByListHandler(this);
 69    }
 70   
 71  41 public final void init() {
 72  41 header = null;
 73    }
 74   
 75    /**
 76    * Get header of qedeq module.
 77    *
 78    * @return Header of qedeq module.
 79    */
 80  41 public final HeaderVo getHeader() {
 81  41 return header;
 82    }
 83   
 84  257 public final void startElement(final String name, final SimpleAttributes attributes)
 85    throws SyntaxException {
 86  257 if (getStartTag().equals(name)) {
 87  41 header = new HeaderVo();
 88  41 header.setEmail(attributes.getString("email"));
 89  216 } else if (specificationHandler.getStartTag().equals(name)) {
 90  41 changeHandler(specificationHandler, name, attributes);
 91  175 } else if (titleHandler.getStartTag().equals(name)) {
 92  41 changeHandler(titleHandler, name, attributes);
 93  134 } else if (abstractHandler.getStartTag().equals(name)) {
 94  41 changeHandler(abstractHandler, name, attributes);
 95  93 } else if (authorListHandler.getStartTag().equals(name)) {
 96  41 changeHandler(authorListHandler, name, attributes);
 97  52 } else if (importListHandler.getStartTag().equals(name)) {
 98  28 changeHandler(importListHandler, name, attributes);
 99  24 } else if (usedbyListHandler.getStartTag().equals(name)) {
 100  24 changeHandler(usedbyListHandler, name, attributes);
 101    } else {
 102  0 throw SyntaxException.createUnexpectedTagException(name);
 103    }
 104    }
 105   
 106  257 public final void endElement(final String name) throws SyntaxException {
 107  257 if (getStartTag().equals(name)) {
 108    // nothing to do
 109  216 } else if (specificationHandler.getStartTag().equals(name)) {
 110  41 header.setSpecification(specificationHandler.getSpecification());
 111  175 } else if (titleHandler.getStartTag().equals(name)) {
 112  41 header.setTitle(titleHandler.getLatexList());
 113  134 } else if (abstractHandler.getStartTag().equals(name)) {
 114  41 header.setSummary(abstractHandler.getLatexList());
 115  93 } else if (authorListHandler.getStartTag().equals(name)) {
 116  41 header.setAuthorList(authorListHandler.getAuthorList());
 117  52 } else if (importListHandler.getStartTag().equals(name)) {
 118  28 header.setImportList(importListHandler.getImportList());
 119  24 } else if (usedbyListHandler.getStartTag().equals(name)) {
 120  24 header.setUsedByList(usedbyListHandler.getUsedByList());
 121    } else {
 122  0 throw SyntaxException.createUnexpectedTagException(name);
 123    }
 124    }
 125   
 126    }