edu.cmu.cs.crystal.analysis.alias
Class AliasLE

java.lang.Object
  extended by edu.cmu.cs.crystal.analysis.alias.AliasLE
All Implemented Interfaces:
Aliasing

public class AliasLE
extends Object
implements Aliasing

This is an immutable lattice.


Method Summary
static AliasLE bottom()
          Returns a bottom lattice element.
static AliasLE create(ObjectLabel label)
          Create new lattice element with only the given label in the label set.
static AliasLE create(Set<ObjectLabel> newLabels)
          Create new lattice element with the given set of labels; do not mutate the given set after this call.
 boolean equals(Object obj)
           
 Set<ObjectLabel> getLabels()
           
 boolean hasAnyLabels(Set<ObjectLabel> labelsToFind)
           
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Method Detail

create

public static AliasLE create(Set<ObjectLabel> newLabels)
Create new lattice element with the given set of labels; do not mutate the given set after this call.

Parameters:
newLabels - Label set that must not be mutated after this call.
Returns:
new lattice element with the given set of labels.

create

public static AliasLE create(ObjectLabel label)
Create new lattice element with only the given label in the label set.

Parameters:
label - Object label.
Returns:
new lattice element with only the given label.

bottom

public static AliasLE bottom()
Returns a bottom lattice element.

Returns:
bottom lattice element.

getLabels

public Set<ObjectLabel> getLabels()
Specified by:
getLabels in interface Aliasing

hasAnyLabels

public boolean hasAnyLabels(Set<ObjectLabel> labelsToFind)
Specified by:
hasAnyLabels in interface Aliasing

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

public boolean equals(Object obj)
Overrides:
equals in class Object

toString

public String toString()
Overrides:
toString in class Object