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

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

Revision: 726
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=726&view=rev
Author:   pcmehlitz
Date:     2008-01-08 17:31:08 -0800 (Tue, 08 Jan 2008)

Log Message:
-----------
* refactoring of DCMPx, FCMPx, LCMP to better suit subclassing for the symbc extension - thanks to Adam Kiezun

* replaced the somewhat braindead clone() of the StackFrame hierarchy with a covariant version that's based on
the generic one. Removes a couple of superfluous casts, but more importantly removes the need for clone()
overriding in DirectCallStackFrame.

>> I'm sure there are a gazillion of other screwed clones that wait to be
cleaned up, so somebody could earn immortal fame doing this

* extended the InfoObject interface with a getClassInfo(), so that the aggregate type can be queried (returns
itself for ClassInfos)

* some work on the generic Contract.Satisfies, but it's NOT yet really working - the Predicate interface
needs to be based on Operand. Introduced a ContractContext (analogous to the slightly outdated TestContext)
for the purpose of explicit conversion (it's the dreaded ElementInfo -> Java object), but it's not complete yet.
At least that also solve the class resolution problem for Predicate classes (default - package of contract specifier)

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/DirectCallStackFrame.java
    trunk/src/gov/nasa/jpf/jvm/InfoObject.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/StackFrame.java
    trunk/src/gov/nasa/jpf/jvm/SystemState.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/DCMPG.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/DCMPL.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/FCMPG.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/FCMPL.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/LCMP.java
    trunk/src/gov/nasa/jpf/report/Reporter.java
    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/tools/ContractVerifier.java
    trunk/test/gov/nasa/jpf/test/TestContracts.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/test/ContractContext.java
    trunk/src/gov/nasa/jpf/test/Predicate.java


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