Uses of Interface
edu.cmu.cs.crystal.analysis.alias.ObjectLabel

Packages that use ObjectLabel
edu.cmu.cs.crystal.analysis.alias   
 

Uses of ObjectLabel in edu.cmu.cs.crystal.analysis.alias
 

Classes in edu.cmu.cs.crystal.analysis.alias that implement ObjectLabel
 class DefaultObjectLabel
           
 

Methods in edu.cmu.cs.crystal.analysis.alias that return types with arguments of type ObjectLabel
 Set<ObjectLabel> MayAliasAnalysis.getAfterAliasLabels(ITypeBinding typeBinding, ASTNode node)
           
 Set<ObjectLabel> MayAliasAnalysis.getAfterAliasLabels(String typeName, ASTNode node)
           
 Set<ObjectLabel> MayAliasAnalysis.getAfterAliasLabels(Variable var, ASTNode node)
           
 Set<ObjectLabel> MayAliasAnalysis.getAllLabelsAfter(TACInstruction instr)
           
 Set<ObjectLabel> MayAliasAnalysis.getAllLabelsBefore(TACInstruction instr)
           
 Set<ObjectLabel> MayAliasAnalysis.getBeforeAliasLabels(ITypeBinding typeBinding, ASTNode node)
          Get all the object labels at this node which have the given type, regardless of who the alias is.
 Set<ObjectLabel> MayAliasAnalysis.getBeforeAliasLabels(String typeName, ASTNode node)
           
 Set<ObjectLabel> MayAliasAnalysis.getBeforeAliasLabels(Variable var, ASTNode node)
           
 Set<ObjectLabel> AliasLE.getLabels()
           
 Set<ObjectLabel> Aliasing.getLabels()
           
 

Methods in edu.cmu.cs.crystal.analysis.alias with parameters of type ObjectLabel
static AliasLE AliasLE.create(ObjectLabel label)
          Create new lattice element with only the given label in the label set.
 

Method parameters in edu.cmu.cs.crystal.analysis.alias with type arguments of type ObjectLabel
static AliasLE 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 AliasLE.hasAnyLabels(Set<ObjectLabel> labelsToFind)
           
 boolean Aliasing.hasAnyLabels(Set<ObjectLabel> labelsToFind)