| ExecutionInterruptedException.java |
1 /*
2 * Copyright (c) 1998-2004, 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.5 2004/07/21 17:10:03 akshay 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 }