Clover Coverage Report
Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
39   124   19   7.8
28   68   0.49   5
5     3.8  
1    
 
  HeaderHandler       Line # 30 39 19 94.4% 0.9444444
 
  (55)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2010, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
14    */
15   
16    package org.qedeq.kernel.xml.handler.module;
17   
18    import org.qedeq.kernel.dto.module.HeaderVo;
19    import org.qedeq.kernel.xml.common.XmlSyntaxException;
20    import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
21    import org.qedeq.kernel.xml.parser.SimpleAttributes;
22   
23   
24    /**
25    * Parse header informations.
26    *
27    * @version $Revision: 1.1 $
28    * @author Michael Meyling
29    */
 
30    public class HeaderHandler extends AbstractSimpleHandler {
31   
32    /** Value object for module header. */
33    private HeaderVo header;
34   
35    /** Handler for module specification. */
36    private final SpecificationHandler specificationHandler;
37   
38    /** Handler for module title. */
39    private final LatexListHandler titleHandler;
40   
41    /** Handler for module abstract. */
42    private final LatexListHandler abstractHandler;
43   
44    /** Handler for list of module authors. */
45    private final AuthorListHandler authorListHandler;
46   
47    /** Handler for list of module imports. */
48    private final ImportListHandler importListHandler;
49   
50    /** Handler for list of modules that need this one. */
51    private final UsedByListHandler usedbyListHandler;
52   
53   
54    /**
55    * Deals with header of qedeq file.
56    *
57    * @param handler Parent handler.
58    */
 
59  177 toggle public HeaderHandler(final AbstractSimpleHandler handler) {
60  177 super(handler, "HEADER");
61  177 titleHandler = new LatexListHandler(this, "TITLE");
62  177 abstractHandler = new LatexListHandler(this, "ABSTRACT");
63  177 specificationHandler = new SpecificationHandler(this);
64  177 authorListHandler = new AuthorListHandler(this);
65  177 importListHandler = new ImportListHandler(this);
66  177 usedbyListHandler = new UsedByListHandler(this);
67    }
68   
 
69  170 toggle public final void init() {
70  170 header = null;
71    }
72   
73    /**
74    * Get header of qedeq module.
75    *
76    * @return Header of qedeq module.
77    */
 
78  170 toggle public final HeaderVo getHeader() {
79  170 return header;
80    }
81   
 
82  1004 toggle public final void startElement(final String name, final SimpleAttributes attributes)
83    throws XmlSyntaxException {
84  1004 if (getStartTag().equals(name)) {
85  170 header = new HeaderVo();
86  170 header.setEmail(attributes.getString("email"));
87  834 } else if (specificationHandler.getStartTag().equals(name)) {
88  170 changeHandler(specificationHandler, name, attributes);
89  664 } else if (titleHandler.getStartTag().equals(name)) {
90  170 changeHandler(titleHandler, name, attributes);
91  494 } else if (abstractHandler.getStartTag().equals(name)) {
92  170 changeHandler(abstractHandler, name, attributes);
93  324 } else if (authorListHandler.getStartTag().equals(name)) {
94  170 changeHandler(authorListHandler, name, attributes);
95  154 } else if (importListHandler.getStartTag().equals(name)) {
96  111 changeHandler(importListHandler, name, attributes);
97  43 } else if (usedbyListHandler.getStartTag().equals(name)) {
98  43 changeHandler(usedbyListHandler, name, attributes);
99    } else {
100  0 throw XmlSyntaxException.createUnexpectedTagException(name);
101    }
102    }
103   
 
104  1004 toggle public final void endElement(final String name) throws XmlSyntaxException {
105  1004 if (getStartTag().equals(name)) {
106    // nothing to do
107  834 } else if (specificationHandler.getStartTag().equals(name)) {
108  170 header.setSpecification(specificationHandler.getSpecification());
109  664 } else if (titleHandler.getStartTag().equals(name)) {
110  170 header.setTitle(titleHandler.getLatexList());
111  494 } else if (abstractHandler.getStartTag().equals(name)) {
112  170 header.setSummary(abstractHandler.getLatexList());
113  324 } else if (authorListHandler.getStartTag().equals(name)) {
114  170 header.setAuthorList(authorListHandler.getAuthorList());
115  154 } else if (importListHandler.getStartTag().equals(name)) {
116  111 header.setImportList(importListHandler.getImportList());
117  43 } else if (usedbyListHandler.getStartTag().equals(name)) {
118  43 header.setUsedByList(usedbyListHandler.getUsedByList());
119    } else {
120  0 throw XmlSyntaxException.createUnexpectedTagException(name);
121    }
122    }
123   
124    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sat Sep 18 2010 04:09:52 UTC.		   Clover: Open Source License registered to qedeq.org .