Class ValueRangeAnalysisFactory.Context

java.lang.Object

edu.umd.cs.findbugs.classfile.engine.bcel.ValueRangeAnalysisFactory.Context

Enclosing class:

ValueRangeAnalysisFactory

private static class ValueRangeAnalysisFactory.Context
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final org.apache.bcel.classfile.ConstantPool	cp
(package private) final org.apache.bcel.classfile.LocalVariableTable	lvTable
(package private) final Map<Integer, ValueRangeAnalysisFactory.Value>	types
(package private) final ValueNumberDataflow	vnaDataflow

Constructor Summary

Constructors

Constructor	Description
Context(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, Map<Integer, ValueRangeAnalysisFactory.Value> types, ValueNumberDataflow vnaDataflow)

Method Summary

Modifier and Type	Method	Description
ValueRangeAnalysisFactory.Condition	extractCondition(ValueRangeAnalysisFactory.BackIterator iterator)
private ValueRangeAnalysisFactory.Condition	extractTwoArgCondition(ValueRangeAnalysisFactory.BackIterator iterator, short cmpOpcode, String signature)
private Object	extractValue(ValueRangeAnalysisFactory.BackIterator iterator, String defSignature)
private static short	revertOpcode(short opcode)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

cp

final org.apache.bcel.classfile.ConstantPool cp

lvTable

final org.apache.bcel.classfile.LocalVariableTable lvTable

types

final Map<Integer, ValueRangeAnalysisFactory.Value> types

vnaDataflow

final ValueNumberDataflow 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