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

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

Revision: 1158
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1158&view=rev
Author:   pcmehlitz
Date:     2009-02-02 22:41:24 +0000 (Mon, 02 Feb 2009)

Log Message:
-----------
* the next last sent event processing policy - a choice set containing all events of all active state hierarchies with the same global top priority. To tell all the policies apart, the 'sc.priority_base' values have changed again:

 'local' - each highest priority event in each active state hierarchy
 'top' - all events of all active state hierarchies with the same top priority (the above case)
 'total' - only the first global top priority event (from the first active state that has such a priority)
 
 The last case is a total order, and hence doesn't have real choices. Using this mode makes the state machine procedural
 
 * don't update 'activeStates' during a step, and added a getActiveStates() getter. This can be used to query the active states set at any time during a step, BUT BE AWARE of that some active states might already have been processed when you call this method.
 
 This required a little rename in CH's statechart visualization, which might have required this in the first place (check!)

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
    trunk/extensions/statechart/examples/PrioritySendRegions.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualModel.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualSimStateMachine.java


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