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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

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

Log Message:
-----------
* slightly modified logging to show pending events for parent states, and priorities for active state and even send logging. This is a debugging aid to verify the createCGFromPendingEvents() policy

* added two examples PrioritySend and PrioritySendRegions (both get kicked off by the PrioritySend.es script)

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

Added Paths:
-----------
    trunk/extensions/statechart/examples/PrioritySend.es
    trunk/extensions/statechart/examples/PrioritySend.java
    trunk/extensions/statechart/examples/PrioritySendRegions.java

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