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

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

Revision: 1014
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1014&view=rev
Author:   pcmehlitz
Date:     2008-09-17 05:43:53 +0000 (Wed, 17 Sep 2008)

Log Message:
-----------
* the beginnings of an annotation based listener autoloading mechanism. The idea is to have a configured
list of annotation to listener class name mappings, and to check upon class load time if a class, field
or method has an autoload listener annotation. If so, the coresponding listener gets automatically
instantiated and registered. If this fails, the annotation is removed from the autoload set (to prevent
having gazillions of failed load attempts).

If an annotation is in the list, but does not have an explicit listener class property, JPF tries
the annotation class name with appended "Checker".

this is mostly aimed at loads of small, dedicated standard listeners like @Const, @NonNull etc., which
would cause rather long jpf.listener lists. We don't want to create hodgepodge listeners just to
keep jpf.listeners small

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/search/Search.java


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