Class ValueRangeAnalysisFactory.Context
- java.lang.Object
-
- edu.umd.cs.findbugs.classfile.engine.bcel.ValueRangeAnalysisFactory.Context
-
- Enclosing class:
- ValueRangeAnalysisFactory
private static class ValueRangeAnalysisFactory.Context extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description (package private) org.apache.bcel.classfile.ConstantPool
cp
(package private) org.apache.bcel.classfile.LocalVariableTable
lvTable
(package private) java.util.Map<java.lang.Integer,ValueRangeAnalysisFactory.Value>
types
(package private) ValueNumberDataflow
vnaDataflow
-
Constructor Summary
Constructors Constructor Description Context(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, java.util.Map<java.lang.Integer,ValueRangeAnalysisFactory.Value> types, ValueNumberDataflow vnaDataflow)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description ValueRangeAnalysisFactory.Condition
extractCondition(ValueRangeAnalysisFactory.BackIterator iterator)
private ValueRangeAnalysisFactory.Condition
extractTwoArgCondition(ValueRangeAnalysisFactory.BackIterator iterator, short cmpOpcode, java.lang.String signature)
private java.lang.Object
extractValue(ValueRangeAnalysisFactory.BackIterator iterator, java.lang.String defSignature)
private static short
revertOpcode(short opcode)
-
-
-
Field Detail
-
cp
final org.apache.bcel.classfile.ConstantPool cp
-
lvTable
final org.apache.bcel.classfile.LocalVariableTable lvTable
-
types
final java.util.Map<java.lang.Integer,ValueRangeAnalysisFactory.Value> types
-
vnaDataflow
final ValueNumberDataflow vnaDataflow
-
-
Constructor Detail
-
Context
public Context(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, java.util.Map<java.lang.Integer,ValueRangeAnalysisFactory.Value> types, ValueNumberDataflow vnaDataflow)
-
-
Method Detail
-
extractCondition
public ValueRangeAnalysisFactory.Condition extractCondition(ValueRangeAnalysisFactory.BackIterator iterator) throws DataflowAnalysisException
- Throws:
DataflowAnalysisException
-
extractValue
private java.lang.Object extractValue(ValueRangeAnalysisFactory.BackIterator iterator, java.lang.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, java.lang.String signature) throws DataflowAnalysisException
- Throws:
DataflowAnalysisException
-
-