ExecutionInterruptedException.java
01 /*
02  *  Copyright (c) 1995-2012, 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 17586 2014-03-07 19:55:49Z markagreenwood $
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 
22   private static final long serialVersionUID = -6341242221676672764L;
23 
24   public ExecutionInterruptedException(String message){
25     super(message);
26   }
27   
28   public ExecutionInterruptedException(Throwable cause) {
29     super(cause);
30   }
31   
32   public ExecutionInterruptedException(String message, Throwable cause) {
33     super(message, cause);
34   }
35 
36   public ExecutionInterruptedException(){
37   }
38 }