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

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

Revision: 287
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=287&view=rev
Author:   pcmehlitz
Date:     2007-03-20 17:31:59 -0700 (Tue, 20 Mar 2007)

Log Message:
-----------
* added CG statistics for the StateSpaceAnalyzer. Still leaves me with the
Thread map

* added some generic Misc methods to for list sorting and occurrence map creation

* used that to factorize StateSpaceAnalyzer

* renamed getMethod[Info] accessor in Instruction

Modified Paths:
--------------
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SCConformanceListener.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/Coverage.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/Instruction.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/tools/CGMonitor.java
    trunk/src/gov/nasa/jpf/tools/ExecTracker.java
    trunk/src/gov/nasa/jpf/tools/IdleFilter.java
    trunk/src/gov/nasa/jpf/tools/StateSpaceAnalyzer.java
    trunk/src/gov/nasa/jpf/util/Misc.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/util/ElementCreator.java
    trunk/src/gov/nasa/jpf/util/TwoTypeComparator.java


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