Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Mai 10 2007 03:16:40 CEST
file stats: LOC: 65   Methods: 2
NCLOC: 13   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
FormulaCheckException.java - 50% 50% 50%
coverage coverage
 1    /* $Id: FormulaCheckException.java,v 1.4 2007/04/12 23:50:08 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.bo.logic;
 19   
 20    import org.qedeq.kernel.base.list.Element;
 21    import org.qedeq.kernel.bo.module.ModuleContext;
 22   
 23    /**
 24    * This is an exception for logical errors within a QEDEQ module.
 25    *
 26    * A checked formula has an syntactical error. That is for example:
 27    * Mixture of free and bound occurrence of a subject variable,
 28    * element list that is has a subject variable operator but has not
 29    * exactly one element that is an atom.
 30    *
 31    * @version $Revision: 1.4 $
 32    * @author Michael Meyling
 33    */
 34    public class FormulaCheckException extends LogicalCheckException {
 35   
 36    /**
 37    * Constructs an exception.
 38    *
 39    * @param errorCode ErrorCode of this message.
 40    * @param message What is the problem.
 41    * @param element Problematic formula.
 42    * @param context Error location. Not necessarily pointing to
 43    * <code>element</code>.
 44    * @param referenceContext Reference location.
 45    */
 46  0 public FormulaCheckException(final int errorCode, final String message, final Element element,
 47    final ModuleContext context, final ModuleContext referenceContext) {
 48  0 super(errorCode, message, element, context, referenceContext);
 49    }
 50   
 51    /**
 52    * Constructs an exception.
 53    *
 54    * @param errorCode ErrorCode of this message.
 55    * @param message What is the problem.
 56    * @param element Problematic formula.
 57    * @param context Error location. Not necessarily pointing to
 58    * <code>element</code>.
 59    */
 60  78 public FormulaCheckException(final int errorCode, final String message,
 61    final Element element, final ModuleContext context) {
 62  78 super(errorCode, message, element, context);
 63    }
 64   
 65    }