Support Runtime.halt.

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_Runtime.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java
index 8b4ea514cbe38f995185ce4b11e0ad2cb25db8b6..2ac364e217e380fbe697ddff78fb3280fc32108b 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java
@@ -62,6 +62,14 @@ public class JPF_java_lang_Runtime extends NativePeer {
   public void gc____V (MJIEnv env, int objref){
     env.gc();
   }
+
+  @MJI
+  public void halt__I__V (MJIEnv env, int clsObjRef, int ret) {
+    // TODO: System.exit should start shutdown handler (once supported)
+    // and call this method (copied code should be removed in System.exit)
+    ThreadInfo ti = env.getThreadInfo();
+    env.getVM().terminateProcess(ti);
+  }
   
   @MJI
   public int availableProcessors____I (MJIEnv env, int objref){