[Javapathfinder-svn] SF.net SVN: javapathfinder:[933] trunk

[<pcm...@us...>]

Revision: 933
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=933&view=rev
Author:   pcmehlitz
Date:     2008-07-18 20:48:25 +0000 (Fri, 18 Jul 2008)

Log Message:
-----------
* backported the new interrupt handling from v5

that should bring trunk to par with v5 with respect to Java 1.5/6 compatibility

Modified Paths:
--------------
    trunk/env/jpf/java/lang/Thread.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Object.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Thread.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_sun_misc_Unsafe.java
    trunk/src/gov/nasa/jpf/jvm/DefaultSchedulerFactory.java
    trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
    trunk/src/gov/nasa/jpf/jvm/Monitor.java
    trunk/src/gov/nasa/jpf/jvm/SchedulerFactory.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/choice/ThreadChoiceFromSet.java

Added Paths:
-----------
    trunk/test/gov/nasa/jpf/jvm/TestExecutorService.java
    trunk/test/gov/nasa/jpf/jvm/TestExecutorServiceJPF.java
    trunk/test/gov/nasa/jpf/jvm/TestInterrupt.java
    trunk/test/gov/nasa/jpf/jvm/TestInterruptJPF.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.