ExecutionInterruptedException.java |
1 /* 2 * Copyright (c) 1998-2005, The University of Sheffield. 3 * 4 * This file is part of GATE (see http://gate.ac.uk/), and is free 5 * software, licenced under the GNU Library General Public License, 6 * Version 2, June 1991 (in the distribution as file licence.html, 7 * and also available at http://gate.ac.uk/gate/licence.html). 8 * 9 * Valentin Tablan 27 Sep 2001 10 * 11 * $Id: ExecutionInterruptedException.java,v 1.6 2005/01/11 13:51:31 ian Exp $ 12 */ 13 package gate.creole; 14 15 /** 16 * Thrown by {@link gate.Executable}s after they have stopped their execution 17 * as a result of a call to their interrupt() method. 18 */ 19 public class ExecutionInterruptedException extends ExecutionException { 20 public ExecutionInterruptedException(String message){ 21 super(message); 22 } 23 24 public ExecutionInterruptedException(){ 25 } 26 }