[Javapathfinder-svn] SF.net SVN: javapathfinder: [854] branches/v5/extensions/statechart/env/jpf /gov/nasa/jpf/sc

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

Revision: 854
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=854&view=rev
Author:   pcmehlitz
Date:     2008-05-23 13:07:12 -0700 (Fri, 23 May 2008)

Log Message:
-----------
* check for no active states at beginning of execution. Since we allow active states to be set in entry actions
(which is not really UML), this check has to be pushed down into State.enterState(srcState)

without it, we get a stupid NPE in a native method - not the most graceful reaction. The UML framework really needs to get
more user friendly

Modified Paths:
--------------
    branches/v5/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
    branches/v5/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java


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