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

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

Revision: 644
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=644&view=rev
Author:   pcmehlitz
Date:     2007-10-29 16:37:24 -0700 (Mon, 29 Oct 2007)

Log Message:
-----------
* forgot to commit @Ensures - Mea Culpa

* refactored and unified the value storage, which is now completely in ContractVerifier
(there was no need to have separate old and crrent value caches)

* refactored the error reporting, but I don't like it yet

* some fixes reg. handling of EmptyContract instances, esp. if the mdc contract
is empty. All the cotract hierarchy handling should be in class Contract itself

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/test/Contract.java
    trunk/src/gov/nasa/jpf/test/ContractAnd.java
    trunk/src/gov/nasa/jpf/test/ContractOr.java
    trunk/src/gov/nasa/jpf/test/EmptyContract.java
    trunk/src/gov/nasa/jpf/test/Operand.java
    trunk/src/gov/nasa/jpf/test/SimpleContract.java
    trunk/src/gov/nasa/jpf/tools/ContractVerifier.java

Added Paths:
-----------
    trunk/app/gov/nasa/jpf/Ensures.java


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