[Javapathfinder-svn] SF.net SVN: javapathfinder:[946] trunk

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

Revision: 946
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=946&view=rev
Author:   pcmehlitz
Date:     2008-07-31 17:04:41 +0000 (Thu, 31 Jul 2008)

Log Message:
-----------
* StateMachine.wasGuardedCompletion was reset within a log level block - Duhh! That fixes Corina's open state space example (was working w/o logging)

* of course there was a state space leak when logging sendEvent (was creating a StringBuilder). Replaced this with a native
logAppend(String)...log() API, which maps to ThreadLocal StringBuilders

   having separate NativeStateMachine and SimStateMachine implementations sucks - move into model

* ChoiceTracker config error report fixed

* standard example launch configs were still using +vm.enumerate_random, should be +cg.

Modified Paths:
--------------
    trunk/examples/launch/basic-racer-test.launch
    trunk/examples/launch/basic-random-test.launch
    trunk/examples/launch/basic-random.launch
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.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/tools/sc/SimStateMachine.java
    trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java


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