edu.cmu.cs.crystal.analysis.alias
Interface Aliasing

All Known Implementing Classes:
AliasLE

public interface Aliasing

This interface represents aliasing information about a program variable. The current interface pretty much forces to represent this information as a set of ObjectLabels that the variable may point to. Implementations of this interface should override Object.equals(Object) and Object.hashCode().

Author:
Kevin Bierhoff

Method Summary
 Set<ObjectLabel> getLabels()
           
 boolean hasAnyLabels(Set<ObjectLabel> labelsToFind)
           
 

Method Detail

getLabels

Set<ObjectLabel> getLabels()

hasAnyLabels

boolean hasAnyLabels(Set<ObjectLabel> labelsToFind)