Methods in edu.cmu.cs.crystal.analysis.alias that return types with arguments of type Variable |
TupleLatticeElement<Variable,AliasLE> |
MayAliasTransferFunction.createEntryValue(MethodDeclaration m)
|
Set<Variable> |
MayAliasAnalysis.getAfterAliases(Variable var,
ASTNode node)
Get the aliases of a variable at a particular node. |
Set<Variable> |
MayAliasAnalysis.getBeforeAliases(Variable var,
ASTNode node)
Get the aliases of a variable at a particular node. |
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 Variable |
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.constant that return types with arguments of type Variable |
TupleLatticeElement<Variable,BooleanConstantLE> |
ConstantTransferFunction.createEntryValue(MethodDeclaration m)
|
ILatticeOperations<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.getLatticeOperations()
|
TupleLatticeElement<Variable,BooleanConstantLE> |
ConstantAnalysis.getResultsAfter(TACInstruction instr)
|
TupleLatticeElement<Variable,BooleanConstantLE> |
ConstantAnalysis.getResultsBefore(TACInstruction instr)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ArrayInitInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(BinaryOperation binop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CastInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ConstructorCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CopyInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(DotClassInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(InstanceofInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadLiteralInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(MethodCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewObjectInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ReturnInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableDeclaration instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableReadInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(UnaryOperation unop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
Method parameters in edu.cmu.cs.crystal.analysis.constant with type arguments of type Variable |
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ArrayInitInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(BinaryOperation binop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CastInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ConstructorCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CopyInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(DotClassInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(InstanceofInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadLiteralInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(MethodCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewObjectInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ReturnInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableDeclaration instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableReadInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(UnaryOperation unop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
Methods in edu.cmu.cs.crystal.analysis.live that return types with arguments of type Variable |
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 Variable |
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)
|