dk.brics.string.intermediate.operations
Class AliasAssertionAnalysis
java.lang.Object
dk.brics.string.intermediate.operations.AliasAssertionAnalysis
public class AliasAssertionAnalysis
- extends Object
Analyses AssertAliases
statements to determine which are valid assertions.
The alias analysis uses the results from this analysis.
- Author:
- Asger
Method Summary |
boolean |
isValid(AssertAliases s)
Returns whether the specified aliasing assertion is valid. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AliasAssertionAnalysis
public AliasAssertionAnalysis(Application app)
isValid
public boolean isValid(AssertAliases s)
- Returns whether the specified aliasing assertion is valid.
Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.