[Javapathfinder-devel] SF.net SVN: javapathfinder: [292] trunk

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

Revision: 292
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=292&view=rev
Author:   pcmehlitz
Date:     2007-03-23 18:48:13 -0700 (Fri, 23 Mar 2007)

Log Message:
-----------
* some more oldclassic comments

* renamed JVM.getPath() into the more appropriate getClonedPath(), which has
quite some fan out (still have to check if all callers actually need a clone

* first stab on stateStored() notification. Had to add that to the SeachListener
for listeners that keep their own traces (like the DeadlockAnalyzer), in order to
make it work with HeuristicSearch.

There is still a bug in the way DeadlockAnalyzer uses this notification

* changed all direct SearchListener interfaces to be ListenerAdapter derived, so
that it becomes easier to extend the listener interfaces.

THIS MIGHT BREAK SOME CLIENT CODE - USE ListenerAdapter!

Modified Paths:
--------------
    trunk/examples/issta2006/TestListener.java
    trunk/examples/oldclassic.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/ModularTeacher.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SCConformanceListener.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SCModularTeacher.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyAutomaton.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyListener.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SafetyAutomaton.java
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SafetyListener.java
    trunk/src/gov/nasa/jpf/GenericProperty.java
    trunk/src/gov/nasa/jpf/ListenerAdapter.java
    trunk/src/gov/nasa/jpf/PropertyListenerAdapter.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/VMState.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/Instruction.java
    trunk/src/gov/nasa/jpf/report/Reporter.java
    trunk/src/gov/nasa/jpf/search/Search.java
    trunk/src/gov/nasa/jpf/search/SearchListener.java
    trunk/src/gov/nasa/jpf/search/SearchListenerMulticaster.java
    trunk/src/gov/nasa/jpf/search/heuristic/BeamSearch.java
    trunk/src/gov/nasa/jpf/search/heuristic/DefaultComparator.java
    trunk/src/gov/nasa/jpf/search/heuristic/HeuristicSearch.java
    trunk/src/gov/nasa/jpf/search/heuristic/HeuristicState.java
    trunk/src/gov/nasa/jpf/tools/DeadlockAnalyzer.java
    trunk/src/gov/nasa/jpf/tools/SearchMonitor.java
    trunk/src/gov/nasa/jpf/tools/SearchStats.java
    trunk/src/gov/nasa/jpf/tools/StateSpaceDot.java
    trunk/src/gov/nasa/jpf/util/JPFRunner.java
    trunk/test/gov/nasa/jpf/embedded/TestSearchListener.java


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