[Javapathfinder-svn] SF.net SVN: javapathfinder:[1159] trunk/extensions/statechart

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

Revision: 1159
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1159&view=rev
Author:   pcmehlitz
Date:     2009-02-03 02:18:32 +0000 (Tue, 03 Feb 2009)

Log Message:
-----------
* support for multiple statechart compile units. Now sub state fields can be initialized from other toplevel State classes, but NOT from nested class instances (which throws an exception stating the inconsistency)

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java

Added Paths:
-----------
    trunk/extensions/statechart/examples/MultipleToplevels.java

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