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

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

Revision: 1017
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1017&view=rev
Author:   pcmehlitz
Date:     2008-09-19 01:47:52 +0000 (Fri, 19 Sep 2008)

Log Message:
-----------
* added a dedicated NonSharedChecker, together with a better spec of what @NonShared means (this goes beyond
@NotThreadSafe, which is mostly covered by our race detection)

* added a test for @NonShared

* fixed a ConstChecker bug

* started on an annotation interface for Config settings, called @JPFConfig. In order to make this work,
we need a changelistener support for the Config object, which is done by adding a change API to Config
(append, setProperty - we leave the HashMap.put as a backdoor for now), and by adding a ConfigChangeListener
interface. It's going to take a while to add all the required listeners, but at least we have the
infrastructure. The Verify interface still needs to be added. There's also no class loadtime processing
for @JPFConfig yet (that's next)

I consider this feature to be only of use for main classes of SuT's that use property annotations which
should not be in the autoload list (e.g. like the NonSharedChecker, which packs a memory & performance
penalty).

Modified Paths:
--------------
    trunk/app/gov/nasa/jpf/NonShared.java
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/tools/ConstChecker.java
    trunk/src/gov/nasa/jpf/tools/ObjectTracker.java
    trunk/src/gov/nasa/jpf/util/StateExtensionClient.java
    trunk/src/gov/nasa/jpf/util/StateExtensionListener.java
    trunk/test/gov/nasa/jpf/mc/TestAnnotationPropertiesJPF.java

Added Paths:
-----------
    trunk/app/gov/nasa/jpf/JPFConfig.java
    trunk/src/gov/nasa/jpf/ConfigChangeListener.java
    trunk/src/gov/nasa/jpf/tools/NonSharedChecker.java
    trunk/test/gov/nasa/jpf/test/TestNonShared.java


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