ExecutionInterruptedException.java
01 /*
02  *  Copyright (c) 1995-2010, The University of Sheffield. See the file
03  *  COPYRIGHT.txt in the software or at http://gate.ac.uk/gate/COPYRIGHT.txt
04  *
05  *  This file is part of GATE (see http://gate.ac.uk/), and is free
06  *  software, licenced under the GNU Library General Public License,
07  *  Version 2, June 1991 (in the distribution as file licence.html,
08  *  and also available at http://gate.ac.uk/gate/licence.html).
09  *
10  *  Valentin Tablan 27 Sep 2001
11  *
12  *  $Id: ExecutionInterruptedException.java 13301 2010-12-22 17:47:25Z ian_roberts $
13  */
14 package gate.creole;
15 
16 /**
17  * Thrown by {@link gate.Executable}s after they have stopped their execution
18  * as a result of a call to their interrupt() method.
19  */
20 public class ExecutionInterruptedException extends ExecutionException {
21   public ExecutionInterruptedException(String message){
22     super(message);
23   }
24   
25   public ExecutionInterruptedException(Throwable cause) {
26     super(cause);
27   }
28   
29   public ExecutionInterruptedException(String message, Throwable cause) {
30     super(message, cause);
31   }
32 
33   public ExecutionInterruptedException(){
34   }
35 }