public class OperationAssertionAnalysis
- extends Object
Determines which assertions are "safe". An assertion statement asserts that some condition was true
the last time a target statement was executed. An assertion is safe if that condition is guaranteed
to also hold at the location of the assertion, assuming it was true when the target statement was executed.
|Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public OperationAssertionAnalysis(Application app,
public boolean isAssertionValid(AssertStatement statement)
Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.