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

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

Revision: 689
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=689&view=rev
Author:   pcmehlitz
Date:     2007-12-05 22:37:20 -0800 (Wed, 05 Dec 2007)

Log Message:
-----------
* support for user defined state class hierarchies, including masked state fields. Not sure
if that ever would make sense from a modeling standpoint (to the contrary - I am sure it doesn't),
but with some extra effort (explicitly walking the class hierarchy) we can also initialize the
masked fields. Seems worth it to prevent some very strange runtime behaviors that ultimately run into
uninitialized state objects with names of initialized ones. very confusing!

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_State.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/Coverage.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java


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