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

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

Revision: 710
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=710&view=rev
Author:   pcmehlitz
Date:     2007-12-16 22:27:48 -0800 (Sun, 16 Dec 2007)

Log Message:
-----------
* changed requirements coverage report so that it shows the complete set of requirements (from the class set), and
hence reports the requirements/method coverage correctly (i.e. including the non-loaded requirements methods). The insn,
BB and branch coverage is only reported for the loaded ones, which might be a bit misleading.

That of course makes it even more important to NOT use ClassInfos for getting all defined requirements methods from the
class set

* minor bug in Instruction.isCompleted(ti) - has to include terminated threads (we mainly get this from the thread stack)

* first round against the ConstChecker, a little listener that monitors @Const attributes. The static method @Const is still a joke (inefficient), and we really need to use memory pools for this. The "return clone on mod" pattern for the pseudo-traces
(which are really just backtrackable/restorable stacks) is Ok, but error prone. There needs to be better infrastructure for
listener specific state extensions

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/bytecode/Instruction.java
    trunk/src/gov/nasa/jpf/tools/CoverageAnalyzer.java
    trunk/src/gov/nasa/jpf/tools/SequenceAnalyzer.java
    trunk/test/gov/nasa/jpf/test/TestRequirementsCoverage.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/tools/ConstChecker.java
    trunk/test/gov/nasa/jpf/test/TestConst.java


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