| ExecutionInterruptedException |

    1   /*
    2    *  Copyright (c) 1998-2001, 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.1 2001/09/28 15:45:20 valyt Exp $
    12   */
    13  package gate.creole;
    14
    15  /**
    16   * Thrown by {@link 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  }

| ExecutionInterruptedException |