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)
|
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)
|