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

   1 /* Copyright (c) 2006-2020. 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  *
  10  * \rst
  11  * You can catch it for cleanups or to debug, but DO NOT BLOCK IT, or your simulation will segfault!
  12  *
  13  * .. code-block:: java
  14  *
  15  *    try {
  16  *      getHost().off();
  17  *    } catch (ProcessKilledError e) {
  18  *      e.printStackTrace();
  19  *      throw e;
  20  *    }
  21  *
  22  * \endrst
  23  */
  24
  25 public class ProcessKilledError extends Error {
  26         private static final long serialVersionUID = 1L;
  27         public ProcessKilledError(String s) {
  28                 super(s);
  29         }
  30 }