Class ValueRangeAnalysisFactory.Context
java.lang.Object
edu.umd.cs.findbugs.classfile.engine.bcel.ValueRangeAnalysisFactory.Context
- Enclosing class:
ValueRangeAnalysisFactory
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) final org.apache.bcel.classfile.ConstantPool
(package private) final org.apache.bcel.classfile.LocalVariableTable
(package private) final Map
<Integer, ValueRangeAnalysisFactory.Value> (package private) final ValueNumberDataflow
-
Constructor Summary
ConstructorsConstructorDescriptionContext
(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, Map<Integer, ValueRangeAnalysisFactory.Value> types, ValueNumberDataflow vnaDataflow) -
Method Summary
Modifier and TypeMethodDescriptionextractTwoArgCondition
(ValueRangeAnalysisFactory.BackIterator iterator, short cmpOpcode, String signature) private Object
extractValue
(ValueRangeAnalysisFactory.BackIterator iterator, String defSignature) private static short
revertOpcode
(short opcode)
-
Field Details
-
cp
final org.apache.bcel.classfile.ConstantPool cp -
lvTable
final org.apache.bcel.classfile.LocalVariableTable lvTable -
types
-
vnaDataflow
-
-
Constructor Details
-
Context
public Context(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, Map<Integer, ValueRangeAnalysisFactory.Value> types, ValueNumberDataflow vnaDataflow)
-
-
Method Details
-
extractCondition
public ValueRangeAnalysisFactory.Condition extractCondition(ValueRangeAnalysisFactory.BackIterator iterator) throws DataflowAnalysisException - Throws:
DataflowAnalysisException
-
extractValue
private Object extractValue(ValueRangeAnalysisFactory.BackIterator iterator, String defSignature) throws DataflowAnalysisException - Throws:
DataflowAnalysisException
-
revertOpcode
private static short revertOpcode(short opcode) - Parameters:
opcode
-- Returns:
- opcode which returns the same result when arguments are placed in opposite order
-
extractTwoArgCondition
private ValueRangeAnalysisFactory.Condition extractTwoArgCondition(ValueRangeAnalysisFactory.BackIterator iterator, short cmpOpcode, String signature) throws DataflowAnalysisException - Throws:
DataflowAnalysisException
-