|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ValueNumber | |
---|---|
edu.umd.cs.findbugs.ba.bcp | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Uses of ValueNumber in edu.umd.cs.findbugs.ba.bcp |
---|
Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumber | |
---|---|
FieldVariable(ValueNumber ref,
java.lang.String className,
java.lang.String fieldName,
java.lang.String fieldSig)
Constructor for instance fields. |
|
LocalVariable(ValueNumber valueNumber)
|
|
LongOrDoubleLocalVariable(ValueNumber topValue,
ValueNumber nextValue)
|
Uses of ValueNumber in edu.umd.cs.findbugs.ba.npe |
---|
Methods in edu.umd.cs.findbugs.ba.npe that return ValueNumber | |
---|---|
ValueNumber |
IsNullConditionDecision.getValue()
Get the value about which the branch yields information. |
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber | |
---|---|
void |
NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue)
Subclasses should override this method to capture locations where a null pointer is dereferenced. |
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber | |
---|---|
IsNullConditionDecision(ValueNumber value,
IsNullValue ifcmpDecision,
IsNullValue fallThroughDecision)
Constructor. |
Uses of ValueNumber in edu.umd.cs.findbugs.ba.type |
---|
Methods in edu.umd.cs.findbugs.ba.type that return ValueNumber | |
---|---|
ValueNumber |
TypeFrame.getInstanceOfValueNumber()
Get the value number of the value checked by the instanceof branch. |
ValueNumber |
TypeFrameModelingVisitor.getInstanceOfValueNumber()
Get the value number of the most recent instanceof instruction modeled. |
Methods in edu.umd.cs.findbugs.ba.type with parameters of type ValueNumber | |
---|---|
void |
TypeFrame.setInstanceOfValueNumberAndType(ValueNumber instanceOfValueNumber,
org.apache.bcel.generic.Type instanceOfType)
Set information for modeling of instanceof branches. |
Uses of ValueNumber in edu.umd.cs.findbugs.ba.vna |
---|
Fields in edu.umd.cs.findbugs.ba.vna declared as ValueNumber | |
---|---|
ValueNumber[] |
ValueNumberCache.Entry.inputValueList
|
Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumber | |
---|---|
ValueNumber |
ValueNumberFactory.createFreshValue()
Create a fresh (unique) value number. |
ValueNumber |
ValueNumberFactory.forNumber(int number)
Return a previously allocated value. |
ValueNumber[] |
ValueNumberFrame.getAvailableLoad(AvailableLoad availableLoad)
Look for an available load. |
ValueNumber |
ValueNumberFrameModelingVisitor.getDefaultValue()
|
ValueNumber |
ValueNumberAnalysis.getEntryValue(int local)
|
ValueNumber |
AvailableLoad.getReference()
Get the ValueNumber of the object reference. |
ValueNumber |
ValueNumberAnalysis.getThisValue()
|
ValueNumber[] |
ValueNumberCache.lookupOutputValues(ValueNumberCache.Entry entry)
Look up cached output values for given entry. |
Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumber | |
---|---|
java.util.Map<ValueNumber,java.lang.Integer> |
ValueNumberDataflow.getValueNumberToParamMap(org.apache.bcel.classfile.Method method)
Build map of value numbers to param indices. |
java.util.Map<ValueNumber,java.lang.Integer> |
ValueNumberDataflow.getValueNumberToParamMap(java.lang.String methodSignature,
boolean isStatic)
Build map of value numbers to param indices. |
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber | |
---|---|
void |
ValueNumberFrame.addAvailableLoad(AvailableLoad availableLoad,
ValueNumber[] value)
Add an available load. |
void |
ValueNumberCache.addOutputValues(ValueNumberCache.Entry entry,
ValueNumber[] outputValueList)
Add output values for given entry. |
int |
ValueNumber.compareTo(ValueNumber other)
|
java.util.BitSet |
MergeTree.getInputSet(ValueNumber output)
Get the set of input ValueNumbers which directly contributed to the given output ValueNumber. |
java.util.BitSet |
MergeTree.getTransitiveInputSet(ValueNumber output)
Get the transitive set of input ValueNumbers which contributed (directly or indirectly) to the given output ValueNumber. |
boolean |
ValueNumberAnalysis.isThisValue(ValueNumber value)
|
void |
MergeTree.mapInputToOutput(ValueNumber input,
ValueNumber output)
Map an input ValueNumber to an output ValueNumber. |
Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumber | |
---|---|
void |
ValueNumberFrame.copyFrom(Frame<ValueNumber> other)
|
Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber | |
---|---|
AvailableLoad(ValueNumber reference,
InstanceField field)
Constructor from object reference and instance field. |
|
ValueNumberCache.Entry(org.apache.bcel.generic.InstructionHandle handle,
ValueNumber[] inputValueList)
|
Uses of ValueNumber in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumber | |
---|---|
void |
FindNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |