Revision: 295
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=295&view=rev
Author: pcmehlitz
Date: 2007-03-26 20:03:30 -0700 (Mon, 26 Mar 2007)
Log Message:
-----------
* the commit from Friday broke the cv extension, which relied on getting a complete
path when it detects an error during instructionExecuted. Only that JVM.get[Cloned]Path()
returns just what has been stored so far, i.e. completed transitions, and the current one
isn't in there yet. Until Friday, it worked because of the broken Path.clone(), since that
didn't deep copy, and therefore got still updated by the VM after SCSafetyAutomaton detected
the error. But it only worked sort of, because it could have seen the offending action (method
call) a second time within the ongoing transition, which would have screwed the path replay
The right fix is still pending - seems something like a JVM.getCompletePath() would be in order,
but I still shy away a bit because of the costs. Maybe JVM.updatePath() should remember
if it was called, then it would be safe to use it from a listener
Modified Paths:
--------------
trunk/extensions/cv/src/gov/nasa/jpf/cv/ModularTeacher.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCConformanceListener.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCModularTeacher.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyAutomaton.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyListener.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SETLearner.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SafetyAutomaton.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SafetyListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
