Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Mo Jun 11 2007 14:25:28 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 68,2% 75% 100% 73,8%
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  81 public ParserHandler(final SaxDefaultHandler defaultHandler) {
 66  81 super(defaultHandler, "parser");
 67    }
 68   
 69  81 public final void init() {
 70  81 operators.clear();
 71    }
 72   
 73    /**
 74    * Get list of operators.
 75    *
 76    * @return Operator list.
 77    */
 78  81 public final List getOperators() {
 79  81 return operators;
 80    }
 81   
 82  1317 public final void startElement(final String name, final SimpleAttributes attributes)
 83    throws SyntaxException {
 84  1317 if (getStartTag().equals(name)) {
 85    // nothing todo
 86  1236 } else if ("prefixOperator".equals(name)) {
 87  426 setBasisAttributes(name, attributes);
 88  426 addOperator(Operator.SIMPLE_PREFIX);
 89  810 } else if ("infixOperator".equals(name)) {
 90  648 setBasisAttributes(name, attributes);
 91  648 addOperator(Operator.INFIX);
 92  162 } else if ("functionOperator".equals(name)) {
 93  0 setBasisAttributes(name, attributes);
 94  0 addOperator(Operator.FUNCTION);
 95  162 } else if ("complexOperator".equals(name)) {
 96  162 setBasisAttributes(name, attributes);
 97  162 final String separatorSymbol = attributes.getString("separatorSymbol");
 98  162 if (separatorSymbol == null) {
 99  0 SyntaxException.createEmptyAttributeException(name, "separatorSymbol");
 100    }
 101  162 if (separatorSymbol.length() == 0) {
 102  0 SyntaxException.createMissingAttributeException(name, "separatorSymbol");
 103    }
 104  162 final String endSymbol = attributes.getString("endSymbol");
 105  162 if (endSymbol == null) {
 106  0 SyntaxException.createEmptyAttributeException(name, "endSymbol");
 107    }
 108  162 if (endSymbol.length() == 0) {
 109  0 SyntaxException.createMissingAttributeException(name, "endSymbol");
 110    }
 111  162 if (max == null) {
 112  81 operators.add(new Operator(startSymbol, separatorSymbol, endSymbol, qedeq,
 113    qedeqArgument, priority.intValue(), min.intValue()));
 114    } else {
 115  81 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  1074 private void addOperator(final int type) {
 124  1074 if (max == null) {
 125  456 operators.add(new Operator(startSymbol, qedeq, qedeqArgument, priority.intValue(),
 126    type, min.intValue()));
 127    } else {
 128  618 operators.add(new Operator(startSymbol, qedeq, qedeqArgument, priority.intValue(),
 129    type, min.intValue(), max.intValue()));
 130    }
 131    }
 132   
 133  1236 private void setBasisAttributes(final String element, final SimpleAttributes attributes)
 134    throws SyntaxException {
 135  1236 startSymbol = attributes.getString("startSymbol");
 136  1236 if (startSymbol == null) {
 137  0 throw SyntaxException.createMissingAttributeException(element, "startSymbol");
 138    }
 139  1236 if (startSymbol.length() == 0) {
 140  0 throw SyntaxException.createEmptyAttributeException(element, "startSymbol");
 141    }
 142  1236 qedeq = attributes.getString("qedeq");
 143  1236 if (qedeq == null) {
 144  0 throw SyntaxException.createMissingAttributeException(element, "qedeq");
 145    }
 146  1236 if (qedeq.length() == 0) {
 147  0 throw SyntaxException.createEmptyAttributeException(element, "qedeq");
 148    }
 149  1236 qedeqArgument = attributes.getString("qedeqArgument");
 150  1236 priority = attributes.getInteger("priority");
 151  1236 if (priority == null || priority.intValue() < 0) {
 152  0 throw SyntaxException.createMissingAttributeException(element, "priority");
 153    }
 154  1236 min = attributes.getInteger("min");
 155  1236 if (min == null) {
 156  0 min = new Integer(0);
 157    }
 158  1236 max = attributes.getInteger("max");
 159    }
 160   
 161  1317 public final void endElement(final String name) throws SyntaxException {
 162  1317 if (getStartTag().equals(name)) {
 163    // nothing to do
 164  1236 } else if ("prefixOperator".equals(name)) {
 165    // nothing to do
 166  810 } else if ("infixOperator".equals(name)) {
 167    // nothing to do
 168  162 } else if ("functionOperator".equals(name)) {
 169    // nothing to do
 170  162 } 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
Mo Jun 11 2007 16:22:40 CEST.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.