src/bindings/java/org/simgrid/msg/ProcessKilledError.java

   1 /* Copyright (c) 2006-2014. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   4 /* This program is free software; you can redistribute it and/or modify it
   5  * under the terms of the license (GNU LGPL) which comes with this package. */
   6
   7 package org.simgrid.msg;
   8
   9 /** This error class is only used to interrupt the java user code
  10  * when the process gets killed by an external event.
  11  * Don't catch it.
  12  */
  13
  14 public class ProcessKilledError extends Error {
  15         private static final long serialVersionUID = 1L;
  16         public ProcessKilledError(String s) {
  17                 super(s);
  18         }
  19 }