[Javapathfinder-svn] SF.net SVN: javapathfinder:[1160] trunk/extensions/statechart

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

Revision: 1160
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1160&view=rev
Author:   pcmehlitz
Date:     2009-02-04 00:42:32 +0000 (Wed, 04 Feb 2009)

Log Message:
-----------
* changed the way events are marked as processed - now there is a general setEnabledEventProcessed() hook at the end of the step() loop, and it's the same for both the NativeStateMachine and the SimStateMachine

* renamed SentSCEvent into NativeSentSCEvent, since it stores JPF references. Added a new SentSCEvent for the SimStateMachine, which stores Java references. Had to modify the SCEvent.setProcessed(MJIEnv) to setProcessed() (pulling the env from the vm - not so nice)

* renamed getEnablingEvents() to getEnablingEvent(), since that is more understandable in StateMachine.step() (which is in the model space)

* added the set event processing policy snakepit to SimStateMachine

This really needs some serious cleanup - the redundancies between JPF and Sim- mode (and even mode-internal with the pending event policies) are getting out of hand

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEventQueue.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/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEvent.java
    trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SentSCEvent.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java

Added Paths:
-----------
    trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/NativeSentSCEvent.java


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