|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |