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

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.