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

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

Revision: 245
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=245&view=rev
Author:   pcmehlitz
Date:     2007-02-11 13:20:04 -0800 (Sun, 11 Feb 2007)

Log Message:
-----------
* changed exception handling in state machine execution - it's now completely
delegated to the machine, so that we don't run the danger that we
have "catch(Throwable)" handlers that could shoot the model checker in the
foot. Some more indirection, but at least state method execution is now handled
consistently, and the SimStateMachine doesn't go on after hitting an
exception in such a method

* changed the ChoiceTracker a bit so that it doesn't report CGs on the
stack that are done (carry over CGs in state machine execution)

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
    trunk/src/gov/nasa/jpf/jvm/ChoiceGenerator.java
    trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java


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