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

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