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

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

Revision: 531
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=531&view=rev
Author:   pcmehlitz
Date:     2007-08-23 22:42:31 -0700 (Thu, 23 Aug 2007)

Log Message:
-----------
* refactoed the switch instructions, giving them a common baseclass, and providing an
executeAllBranches()

* added the switch insns to the TS set

* added the xSTORE xASTORE and IINC to the TS set - we don't want to track any values
other than references, and rather want to match more states

* fixed potential endless recursion in the way we create test objects. Still not
safe though

* had to move the VM.handleException into ThreadInfo.throwException(), otherwise
it wouldn't cover explicit throws. It's now object based, but performance shouldn't
be so important here

Modified Paths:
--------------
    trunk/extensions/symts/src/gov/nasa/jpf/ts/INVOKESPECIAL.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/INVOKESTATIC.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/INVOKEVIRTUAL.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TSInstructionFactory.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java
    trunk/extensions/symts/test/gov/nasa/jpf/ts/TestUnprotectedRW.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/INVOKESTATIC.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/LOOKUPSWITCH.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/TABLESWITCH.java
    trunk/src/gov/nasa/jpf/tools/CallMonitor.java

Added Paths:
-----------
    trunk/extensions/symts/src/gov/nasa/jpf/ts/DASTORE.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/DSTORE.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/IASTORE.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/IINC.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/ISTORE.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/LOOKUPSWITCH.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TABLESWITCH.java
    trunk/index.html
    trunk/src/gov/nasa/jpf/jvm/bytecode/SwitchInstruction.java


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