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

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

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

Methods in edu.cmu.cs.crystal.analysis.alias that return AliasLE
 AliasLE SingleObjectAliasOps.bottom()
           
static AliasLE AliasLE.bottom()
          Returns a bottom lattice element.
 AliasLE SingleObjectAliasOps.copy(AliasLE original)
           
static AliasLE AliasLE.create(ObjectLabel label)
          Create new lattice element with only the given label in the label set.
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.
 AliasLE SingleObjectAliasOps.join(AliasLE someInfo, AliasLE otherInfo, ASTNode node)
           
 

Methods in edu.cmu.cs.crystal.analysis.alias that return types with arguments of type AliasLE
 TupleLatticeElement<Variable,AliasLE> MayAliasTransferFunction.createEntryValue(MethodDeclaration m)
           
 ILatticeOperations<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.getLatticeOperations()
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsBefore(TACInstruction instr)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(ArrayInitInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(UnaryOperation unop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 

Methods in edu.cmu.cs.crystal.analysis.alias with parameters of type AliasLE
 boolean SingleObjectAliasOps.atLeastAsPrecise(AliasLE info, AliasLE reference, ASTNode node)
           
 AliasLE SingleObjectAliasOps.copy(AliasLE original)
           
 AliasLE SingleObjectAliasOps.join(AliasLE someInfo, AliasLE otherInfo, ASTNode node)
           
 

Method parameters in edu.cmu.cs.crystal.analysis.alias with type arguments of type AliasLE
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(ArrayInitInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(UnaryOperation unop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)