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 ObjectLabel
s that the variable may point to. Implementations
of this interface should override Object.equals(Object)
and Object.hashCode()
.
- Author:
- Kevin Bierhoff
getLabels
Set<ObjectLabel> getLabels()
hasAnyLabels
boolean hasAnyLabels(Set<ObjectLabel> labelsToFind)