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

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

Revision: 1688
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1688&view=rev
Author:   pcmehlitz
Date:     2009-06-25 19:30:19 +0000 (Thu, 25 Jun 2009)

Log Message:
-----------
* hot fix for the direct call MethodInfo registration memory leak. Another example why the state matching/storage has to be more decoupled from core implementation structures. Now direct call (synthetic) methods have fixed globalIds and don't get registered - they are processed differently in stack traces anyways, so we don't want to waste memory and time on registration at all. For the state mgnt, they can't be filter-marked since there is no corresponding source, and we can't filter them per default since they might call synced methods

Thanks Nathan

* adapted access modifiers for SystemState.setBlockedInAtomicSection() and ReturnInstruction.returnFrame, so that they can be used outside jpf.jvm

Thanks Pavel

* removed the java.lang.Runtime model class, which was only there to stub the addShutdownHook(), which is now in the native peer

* temporary fix for the ResourceBundle model

Both ResourceBundle and OutputStreamWriter still need a right fix, which is up next 

Modified Paths:
--------------
    trunk/env/jpf/java/util/ResourceBundle.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_OutputStreamWriter.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Runtime.java
    trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/SystemState.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/abstractor/CachedAbstractorConfiguration.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ReturnInstruction.java

Removed Paths:
-------------
    trunk/env/jpf/java/lang/Runtime.java


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