[Javapathfinder-devel] SF.net SVN: javapathfinder: [777] trunk

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

Revision: 777
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=777&view=rev
Author:   pcmehlitz
Date:     2008-03-10 23:16:55 -0700 (Mon, 10 Mar 2008)

Log Message:
-----------
* changed the implementation of the active/nextActive sets from state tracked StateMachine State[] fields to
non-state tracked linked lists by adding a State.next field (how often can you say 'State' in one sentence?)

The idea was that this would save state storage memory in case of large active sets (the things didn't shrink), but it
didn't do its magic on Plexil. Except of that it got a lot faster - so it's happily committed anyways

The state matching now is done on the added 'isActive' field in State. Note that we can't rely on StateMachine.activeStates
traversal during a step, since there is a constant re-queuing (between active and nextActive) going on (i.e. the 
'next' field changes its meaning)

* added a +sc.show_machine option that can be used to print the state hierarchy before we start to execute

* added search constraint reporting to the Reporter/Publisher so that we don't have magic terminations
w/o apparent reason anymore. I was positively surprised that at least OS/X and Linux now handle
OutOfMemory conditions gracefully

Modified Paths:
--------------
    trunk/default.properties
    trunk/examples/jpfESAS/launch/CEV-las-defect.launch
    trunk/examples/jpfESAS/launch/CEV-tli-sim.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/NativeStateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SCInspector.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
    trunk/src/gov/nasa/jpf/ListenerAdapter.java
    trunk/src/gov/nasa/jpf/PropertyListenerAdapter.java
    trunk/src/gov/nasa/jpf/jvm/AbstractSerializer.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/filter/FilteringSerializer.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/report/Publisher.java
    trunk/src/gov/nasa/jpf/report/PublisherExtension.java
    trunk/src/gov/nasa/jpf/report/Reporter.java
    trunk/src/gov/nasa/jpf/search/DFSearch.java
    trunk/src/gov/nasa/jpf/search/Search.java
    trunk/src/gov/nasa/jpf/util/script/ScriptEnvironment.java


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