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

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