Methods in edu.cmu.cs.crystal.analysis.live that return types with arguments of type LiveVariableLE |
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.createEntryValue(MethodDeclaration d)
|
ILatticeOperations<TupleLatticeElement<Variable,LiveVariableLE>> |
LiveVariableTransferFunction.getLatticeOperations()
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ArrayInitInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(BinaryOperation binop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CastInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ConstructorCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CopyInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(DotClassInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(EnhancedForConditionInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(InstanceofInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadLiteralInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(MethodCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewObjectInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ReturnInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableDeclaration instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableReadInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(UnaryOperation unop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
Method parameters in edu.cmu.cs.crystal.analysis.live with type arguments of type LiveVariableLE |
void |
LiveVariableAnalysis.printLattice(TupleLatticeElement<Variable,LiveVariableLE> lattice)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ArrayInitInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(BinaryOperation binop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CastInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ConstructorCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CopyInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(DotClassInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(EnhancedForConditionInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(InstanceofInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadLiteralInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(MethodCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewObjectInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ReturnInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableDeclaration instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableReadInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(UnaryOperation unop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|