dk.brics.string.intermediate.operations
Class OperationAssertionAnalysis

java.lang.Object
  dk.brics.string.intermediate.operations.OperationAssertionAnalysis

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.

Author:

Asger

Constructor Summary

OperationAssertionAnalysis(Application app, ReachingDefinitions definitions)

Method Summary

boolean

isAssertionValid(AssertStatement statement)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OperationAssertionAnalysis

public OperationAssertionAnalysis(Application app,
                                  ReachingDefinitions definitions)

Method Detail

isAssertionValid

public boolean isAssertionValid(AssertStatement statement)