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

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

Revision: 985
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=985&view=rev
Author:   pcmehlitz
Date:     2008-08-27 21:49:31 +0000 (Wed, 27 Aug 2008)

Log Message:
-----------
* added +sc.max_steps handling to NativeStateMachine and SimStateMachine, to set optional constraint on the depth of 
processed events (== getEnablingEvent calls). This is NOT a search constraint, i.e. for JPF it's a normal program termination condition

The SimStateMachine and NativeStateMachine step counts during logging are different (NativeStateMachine calls it
"event depth"), because the latter one also shows backtracks, which of course show program state ids 

Modified Paths:
--------------
    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/tools/sc/SimStateMachine.java

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