[Javapathfinder-svn] SF.net SVN: javapathfinder:[1157] trunk/extensions/statechart/env/jvm/gov/ nasa/jpf/jvm/NativeStateMachine.java

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

Revision: 1157
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1157&view=rev
Author:   pcmehlitz
Date:     2009-01-31 06:08:48 +0000 (Sat, 31 Jan 2009)

Log Message:
-----------
* added a global priority event mode for createCGFromPendingEvents, which only returns a single event (if at all) for ALL active states. If priorities are the same, it uses the the active state order

I have my mixed feelings about this, because it only returns one event max, i.e. a pseudo CG (at best). In my opinion, this indicates a procedural model, which is a far cry from what UML state machines originally were meant to be

In order to implement this, the +sc.global_priority is replaced by a 

  +sc.priority_base={ global | hierarchy}
  
the previous 'global' mode is now the 'sc.priority_base=hierarchy' case (it selects the highest priority event per active state)

* renamed the addParentChainPendingEvent() to addFirstParentChainPendingEvent() and removed the 'firstStateOnly' parameter - it seems pointless to have a mode that only adds all top priority events for each level in the parent chain

Modified Paths:
--------------
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java


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