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

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

Revision: 1015
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1015&view=rev
Author:   pcmehlitz
Date:     2008-09-17 18:55:23 +0000 (Wed, 17 Sep 2008)

Log Message:
-----------
* fixed autoload init bug

* added little NonNullChecker listener tool

* added TestNonNull example

so far, only @Const and @NonNull are in default.properties. Now we should populate this with more, and add
regression tests

the gov.nasa.jpf.tools should be probably moved to allow for automatic lookup, but that would break a lot
of existing Eclipse launch configs and mode property files

another thought is to put some of the app stuff into default package, so that apps using them really don't
have to have any JPF reference

Modified Paths:
--------------
    trunk/app/gov/nasa/jpf/Const.java
    trunk/default.properties
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/tools/ConstChecker.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/tools/NonNullChecker.java
    trunk/test/gov/nasa/jpf/test/TestNonNull.java


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