Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
file stats: LOC: 76   Methods: 4
NCLOC: 16   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
TimeoutException.java - 25% 25% 25%
coverage coverage
 1    /*
 2    * The OpenSAT project
 3    * Copyright (c) 2002-2003, Joao Marques-Silva and Daniel Le Berre
 4    *
 5    *
 6    * This library is free software; you can redistribute it and/or
 7    * modify it under the terms of the GNU Lesser General Public
 8    * License as published by the Free Software Foundation; either
 9    * version 2.1 of the License, or (at your option) any later version.
 10    *
 11    * This library is distributed in the hope that it will be useful,
 12    * but WITHOUT ANY WARRANTY; without even the implied warranty of
 13    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 14    * Lesser General Public License for more details.
 15    *
 16    * You should have received a copy of the GNU Lesser General Public
 17    * License along with this library; if not, write to the Free Software
 18    * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 19    *
 20    * Created on 27 nov. 2002
 21    *
 22    */
 23    package org.sat4j.specs;
 24   
 25    /**
 26    * Exception launched when the solver cannot solve a problem within its allowed
 27    * time. Note that the name of that exception is subject to change since a
 28    * TimeoutException must also be launched by incomplete solvers to reply
 29    * "Unknown".
 30    *
 31    * @author leberre
 32    */
 33    public class TimeoutException extends Exception {
 34   
 35    private static final long serialVersionUID = 1L;
 36   
 37    /**
 38    * Constructor for TimeoutException.
 39    */
 40  0 public TimeoutException() {
 41  0 super();
 42    }
 43   
 44    /**
 45    * Constructor for TimeoutException.
 46    *
 47    * @param message
 48    * the error message
 49    */
 50  92 public TimeoutException(String message) {
 51  92 super(message);
 52    }
 53   
 54    /**
 55    * Constructor for TimeoutException.
 56    *
 57    * @param message
 58    * the error message
 59    * @param cause
 60    * the cause of the exception
 61    */
 62  0 public TimeoutException(String message, Throwable cause) {
 63  0 super(message, cause);
 64    }
 65   
 66    /**
 67    * Constructor for TimeoutException.
 68    *
 69    * @param cause
 70    * the cause of the exception
 71    */
 72  0 public TimeoutException(Throwable cause) {
 73  0 super(cause);
 74    }
 75   
 76    }