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

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

Revision: 779
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=779&view=rev
Author:   pcmehlitz
Date:     2008-03-12 19:34:17 -0700 (Wed, 12 Mar 2008)

Log Message:
-----------
* bug in executeTrigger() methods of both StateMachines - method matching has to be done recursively on
both enclosing and inheritance hierarchy, while receiver matching should only be performed on the
concrete (mdc) state. This came up with an enclosing class that wasn't a direct State subclass (KC TM_1 example) 

Modified Paths:
--------------
    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/jvm/ClassInfo.java

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