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

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

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

Log Message:
-----------
* backported the nasty v5 SharedSecrets stuff to make the trunk compatible with Java 6

* moved from the old UIActionGenerator (EventGenerator) mechanism to the new
ScriptEnvironment. Not sure if we ever need the power of sequence interpreters
for UI model checking (which should always have finite event sequences), but
I don't want to support two mechanisms (EventGenerator loops were apparently broken!)

* turned the ScriptEnvironment into a generic class so that we don't need the
silly concrete CG type casts in clients anymore

* added ChoiceGenerator subsystem init(config). Required if we ever use ChoiceGenerators
outside a JVM context (like SimStateMachine, or UIInspector)


that leaves only the new interrupt handling to be backported from v5
(which is going to take more time to become operational, so trunk should be up-to-date)  

Modified Paths:
--------------
    trunk/env/jpf/java/lang/Class.java
    trunk/env/jpf/java/lang/System.java
    trunk/env/jpf/java/lang/reflect/Method.java
    trunk/env/jpf/sun/misc/Unsafe.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_sun_misc_Unsafe.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCScriptEnvironment.java
    trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_EventDispatchThread.java
    trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIAction.java
    trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIActionFromSet.java
    trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIActionSingleChoice.java
    trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
    trunk/src/gov/nasa/jpf/jvm/ChoiceGenerator.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/util/Inspector.java
    trunk/src/gov/nasa/jpf/util/script/ScriptEnvironment.java

Added Paths:
-----------
    trunk/env/jpf/java/lang/annotation/
    trunk/env/jpf/java/lang/annotation/Inherited.java
    trunk/env/jpf/java/lang/annotation/Retention.java
    trunk/env/jpf/sun/misc/JavaIOAccess.java
    trunk/env/jpf/sun/misc/JavaIODeleteOnExitAccess.java
    trunk/env/jpf/sun/misc/JavaIOFileDescriptorAccess.java
    trunk/env/jpf/sun/misc/JavaLangAccess.java
    trunk/env/jpf/sun/misc/JavaNetAccess.java
    trunk/env/jpf/sun/misc/SharedSecrets.java
    trunk/env/jpf/sun/nio/
    trunk/env/jpf/sun/nio/ch/
    trunk/env/jpf/sun/nio/ch/Interruptible.java
    trunk/env/jpf/sun/reflect/
    trunk/env/jpf/sun/reflect/ConstantPool.java
    trunk/env/jpf/sun/reflect/annotation/
    trunk/env/jpf/sun/reflect/annotation/AnnotationType.java
    trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIScriptEnvironment.java


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