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

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

Revision: 646
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=646&view=rev
Author:   pcmehlitz
Date:     2007-11-01 11:05:08 -0700 (Thu, 01 Nov 2007)

Log Message:
-----------
* Duhh - forgot to commit the VarLookup (explicit commit selection in Eclipse is error-prone)

* added null operands

* added a hook for special variables (e.g. computed by the VM)

* changed the var lookup so that it can also handle null values

* added a Operand.CenterInterval, but the value conversion is kind of braindead - should
probably implement a full set of numeric operations for Operands, or it gets really messy
in terms of ad hoc type conversions

Modified Paths:
--------------
    trunk/app/gov/nasa/jpf/Const.java
    trunk/app/gov/nasa/jpf/Ensures.java
    trunk/app/gov/nasa/jpf/Invariant.java
    trunk/app/gov/nasa/jpf/Requires.java
    trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
    trunk/src/gov/nasa/jpf/test/ContractSpec.g
    trunk/src/gov/nasa/jpf/test/ContractSpecLexer.java
    trunk/src/gov/nasa/jpf/test/ContractSpecParser.java
    trunk/src/gov/nasa/jpf/test/Operand.java
    trunk/test/gov/nasa/jpf/test/TestContracts.java

Added Paths:
-----------
    trunk/app/gov/nasa/jpf/StaticInvariant.java
    trunk/src/gov/nasa/jpf/test/VarLookup.java


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