[Javapathfinder-devel] SF.net SVN: javapathfinder: [771] trunk/src/gov/nasa/jpf/util/script/ EventGeneratorFactory.java

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

Revision: 771
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=771&view=rev
Author:   pcmehlitz
Date:     2008-02-28 16:14:12 -0800 (Thu, 28 Feb 2008)

Log Message:
-----------
* bad EventGenerator loop fix - we have to reset CGs before re-entering the loop, not per default. However, that leaves
model loops to be broken because they get prematurely state matched. 

Anyways, the EventGeneratorFactory mechanism is broken, since control operations (like loops) were not in the original
script semantics. Hence it will be replaced by an AST-based interpreter soon, which is where we really fix things

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/util/script/EventGeneratorFactory.java


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