dk.brics.string.intermediate.operations
Class AliasAssertionAnalysis

java.lang.Object
  extended by 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

Constructor Summary
AliasAssertionAnalysis(Application app)
           
 
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
 

Constructor Detail

AliasAssertionAnalysis

public AliasAssertionAnalysis(Application app)
Method Detail

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.