Methods in edu.cmu.cs.crystal.analysis.constant that return types with arguments of type BooleanConstantLE |
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 BooleanConstantLE |
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)
|