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

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

Revision: 581
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=581&view=rev
Author:   pcmehlitz
Date:     2007-09-26 12:16:13 -0700 (Wed, 26 Sep 2007)

Log Message:
-----------
* hoisted SimpleContract.Operator and .Operand to toplevel - those are just getting bigger

* extended the grammar for operator/operand pairs to include more choices (like "within" and the generic
"satisfies"), though most of them don't have their eval implemented yet

* extended the functor to have any number of 'Operand' arguments

* added a cache for Operand.VarRef so that we don't have to lookup and create objects for
each occurrence in an expression. Actually, we might even need indentity at some point, so it's not just
an optimization 

* changed the precond evaluation to executeInstruction(), since we actually want to eval this
in the callers context (but need to check for performance)

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/test/Contract.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/SimpleContract.java
    trunk/src/gov/nasa/jpf/tools/ContractVerifier.java
    trunk/test/gov/nasa/jpf/test/TestContracts.java
    trunk/test/gov/nasa/jpf/test/TestMethodTest.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/test/Operand.java
    trunk/src/gov/nasa/jpf/test/Operator.java


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