[Javapathfinder-svn] SF.net SVN: javapathfinder: [855] branches/v5

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

Revision: 855
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=855&view=rev
Author:   pcmehlitz
Date:     2008-05-28 09:55:16 -0700 (Wed, 28 May 2008)

Log Message:
-----------
* StateExtensionListener did throw an exception w/o state matching (state id = -1, we need
to turn off state matching in a more direct way, but that's part of the state mgnt rewrite anyways)

Modified Paths:
--------------
    branches/v5/default.properties
    branches/v5/extensions/statechart/examples/Repeat.es
    branches/v5/extensions/statechart/examples/Repeater.java
    branches/v5/src/gov/nasa/jpf/jvm/CollapsePools.java
    branches/v5/src/gov/nasa/jpf/jvm/DynamicArea.java
    branches/v5/src/gov/nasa/jpf/jvm/DynamicMapIndex.java
    branches/v5/src/gov/nasa/jpf/jvm/ElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/filter/FilteringSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java
    branches/v5/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java
    branches/v5/src/gov/nasa/jpf/util/HashPool.java
    branches/v5/src/gov/nasa/jpf/util/IntTable.java
    branches/v5/src/gov/nasa/jpf/util/ObjVector.java
    branches/v5/src/gov/nasa/jpf/util/StateExtensionListener.java


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