Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Mai 10 2007 03:16:40 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
file stats: LOC: 177   Methods: 7
NCLOC: 111   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
ParserHandler.java 72,7% 78,6% 100% 77,6%
coverage coverage
 1    /* $Id: ParserHandler.java,v 1.4 2007/04/12 23:50:09 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.parser;
 19   
 20    import java.util.ArrayList;
 21    import java.util.List;
 22   
 23    import org.qedeq.kernel.common.SyntaxException;
 24    import org.qedeq.kernel.parser.Operator;
 25    import org.qedeq.kernel.xml.parser.AbstractSimpleHandler;
 26    import org.qedeq.kernel.xml.parser.SaxDefaultHandler;
 27    import org.qedeq.kernel.xml.parser.SimpleAttributes;
 28   
 29   
 30    /**
 31    * Parses list of operators. Result is a list of all parsed operators.
 32    *
 33    * @version $Revision: 1.4 $
 34    * @author Michael Meyling
 35    */
 36    public final class ParserHandler extends AbstractSimpleHandler {
 37   
 38    /** List of all Operators. */
 39    private List operators = new ArrayList();
 40   
 41    /** Operator start symbol. */
 42    private String startSymbol;
 43   
 44    /** QEDEQ representation. E.g. "PREDCON". */
 45    private String qedeq;
 46   
 47    /** QEDEQ argument. E.g. "equal". */
 48    private String qedeqArgument;
 49   
 50    /** Operator priority. */
 51    private Integer priority;
 52   
 53    /** Minimum argument number. */
 54    private Integer min;
 55   
 56    /** Maximum argument number. */
 57    private Integer max;
 58   
 59   
 60    /**
 61    * Handle a parser XML file.
 62    *
 63    * @param defaultHandler Startup handler.
 64    */
 65  82 public ParserHandler(final SaxDefaultHandler defaultHandler) {
 66  82 super(defaultHandler, "parser");
 67    }
 68   
 69  82 public final void init() {
 70  82 operators.clear();
 71    }
 72   
 73    /**
 74    * Get list of operators.
 75    *
 76    * @return Operator list.
 77    */
 78  82 public final List getOperators() {
 79  82 return operators;
 80    }
 81   
 82  1362 public final void startElement(final String name, final SimpleAttributes attributes)
 83    throws SyntaxException {
 84  1362 if (getStartTag().equals(name)) {
 85    // nothing todo
 86  1280 } else if ("prefixOperator".equals(name)) {
 87  432 setBasisAttributes(name, attributes);
 88  432 addOperator(Operator.SIMPLE_PREFIX);
 89  848 } else if ("infixOperator".equals(name)) {
 90  663 setBasisAttributes(name, attributes);
 91  663 addOperator(Operator.INFIX);
 92  185 } else if ("functionOperator".equals(name)) {
 93  21 setBasisAttributes(name, attributes);
 94  21 addOperator(Operator.FUNCTION);
 95  164 } else if ("complexOperator".equals(name)) {
 96  164 setBasisAttributes(name, attributes);
 97  164 final String separatorSymbol = attributes.getString("separatorSymbol");
 98  164 if (separatorSymbol == null) {
 99  0 SyntaxException.createEmptyAttributeException(name, "separatorSymbol");
 100    }
 101  164 if (separatorSymbol.length() == 0) {
 102  0 SyntaxException.createMissingAttributeException(name, "separatorSymbol");
 103    }
 104  164 final String endSymbol = attributes.getString("endSymbol");
 105  164 if (endSymbol == null) {
 106  0 SyntaxException.createEmptyAttributeException(name, "endSymbol");
 107    }
 108  164 if (endSymbol.length() == 0) {
 109  0 SyntaxException.createMissingAttributeException(name, "endSymbol");
 110    }
 111  164 if (max == null) {
 112  82 operators.add(new Operator(startSymbol, separatorSymbol, endSymbol, qedeq,
 113    qedeqArgument, priority.intValue(), min.intValue()));
 114    } else {
 115  82 operators.add(new Operator(startSymbol, separatorSymbol, endSymbol, qedeq,
 116    qedeqArgument, priority.intValue(), min.intValue(), max.intValue()));
 117    }
 118    } else {
 119  0 throw SyntaxException.createUnexpectedTagException(name);
 120    }
 121    }
 122   
 123  1116 private void addOperator(final int type) {
 124  1116 if (max == null) {
 125  474 operators.add(new Operator(startSymbol, qedeq, qedeqArgument, priority.intValue(),
 126    type, min.intValue()));
 127    } else {
 128  642 operators.add(new Operator(startSymbol, qedeq, qedeqArgument, priority.intValue(),
 129    type, min.intValue(), max.intValue()));
 130    }
 131    }
 132   
 133  1280 private void setBasisAttributes(final String element, final SimpleAttributes attributes)
 134    throws SyntaxException {
 135  1280 startSymbol = attributes.getString("startSymbol");
 136  1280 if (startSymbol == null) {
 137  0 throw SyntaxException.createMissingAttributeException(element, "startSymbol");
 138    }
 139  1280 if (startSymbol.length() == 0) {
 140  0 throw SyntaxException.createEmptyAttributeException(element, "startSymbol");
 141    }
 142  1280 qedeq = attributes.getString("qedeq");
 143  1280 if (qedeq == null) {
 144  0 throw SyntaxException.createMissingAttributeException(element, "qedeq");
 145    }
 146  1280 if (qedeq.length() == 0) {
 147  0 throw SyntaxException.createEmptyAttributeException(element, "qedeq");
 148    }
 149  1280 qedeqArgument = attributes.getString("qedeqArgument");
 150  1280 priority = attributes.getInteger("priority");
 151  1280 if (priority == null || priority.intValue() < 0) {
 152  0 throw SyntaxException.createMissingAttributeException(element, "priority");
 153    }
 154  1280 min = attributes.getInteger("min");
 155  1280 if (min == null) {
 156  0 min = new Integer(0);
 157    }
 158  1280 max = attributes.getInteger("max");
 159    }
 160   
 161  1362 public final void endElement(final String name) throws SyntaxException {
 162  1362 if (getStartTag().equals(name)) {
 163    // nothing to do
 164  1280 } else if ("prefixOperator".equals(name)) {
 165    // nothing to do
 166  848 } else if ("infixOperator".equals(name)) {
 167    // nothing to do
 168  185 } else if ("functionOperator".equals(name)) {
 169    // nothing to do
 170  164 } else if ("complexOperator".equals(name)) {
 171    // nothing to do
 172    } else {
 173  0 throw SyntaxException.createUnexpectedTagException(name);
 174    }
 175    }
 176   
 177    }
 
CloverReport generated by Clover Code Coverage v1.3.10
Do Mai 10 2007 04:02:49 CEST.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.