|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IsNullValue | |
---|---|
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.detect |
Uses of IsNullValue in edu.umd.cs.findbugs.ba.npe |
---|
Fields in edu.umd.cs.findbugs.ba.npe declared as IsNullValue | |
---|---|
IsNullValue |
RedundantBranch.firstValue
|
IsNullValue |
RedundantBranch.secondValue
|
Methods in edu.umd.cs.findbugs.ba.npe that return IsNullValue | |
---|---|
static IsNullValue |
IsNullValue.checkedNonNullValue()
Get the instance representing a value known to be non-null because it was compared against null value, or because we saw the object creation. |
static IsNullValue |
IsNullValue.checkedNullValue()
Get the instance representing a value known to be null because it was compared against null value, or because we saw that it was assigned the null constant. |
IsNullValue |
IsNullValue.downgradeOnControlSplit()
Control split: move given value down in the lattice if it is a conditionally-null value. |
IsNullValue |
IsNullConditionDecision.getDecision(int edgeType)
Get the decision reached about the value on outgoing edge of given type. |
IsNullValue |
IsNullValueFrameModelingVisitor.getDefaultValue()
|
IsNullValue |
IsNullValueFrame.getKnownValue(ValueNumber valueNumber)
|
IsNullValue |
IsNullValue.markInformationAsComingFromFieldValue(XField field)
Convert to a value known because it was returned from a method in a method property database. |
IsNullValue |
IsNullValue.markInformationAsComingFromReturnValueOfMethod(XMethod methodInvoked)
Convert to a value known because it was returned from a method in a method property database. |
static IsNullValue |
IsNullValue.merge(IsNullValue a,
IsNullValue b)
Merge two values. |
static IsNullValue |
IsNullValue.noKaboomNonNullValue(Location ins)
Get the instance representing a value known to be non-null because a NPE would have occurred if it were null. |
static IsNullValue |
IsNullValue.nonNullValue()
Get the instance representing values that are definitely not null. |
static IsNullValue |
IsNullValue.nonReportingNotNullValue()
Get non-reporting non-null value. |
static IsNullValue |
IsNullValue.nullOnComplexPathValue()
Get null on complex path value. |
static IsNullValue |
IsNullValue.nullOnComplexPathValue3()
Like "null on complex path" except that there are at least three branches between the explicit null value and the current location. |
static IsNullValue |
IsNullValue.nullOnSimplePathValue()
Get the instance representing values that are definitely null on some simple (no branches) incoming path. |
static IsNullValue |
IsNullValue.nullValue()
Get the instance representing values that are definitely null. |
static IsNullValue |
IsNullValue.parameterMarkedAsMightBeNull(XMethodParameter mp)
Get instance representing a parameter marked as MightBeNull |
static IsNullValue |
IsNullValue.pathSensitiveNonNullValue()
Get non-null value resulting from comparison to explicit null. |
static IsNullValue |
IsNullValue.pathSensitiveNullValue()
Get null value resulting from comparison to explicit null. |
IsNullValue |
IsNullValue.toExceptionValue()
Convert to an exception path value. |
Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type IsNullValue | |
---|---|
java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>> |
IsNullValueFrame.getKnownValueMapEntrySet()
|
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValue | |
---|---|
void |
NullValueUnconditionalDeref.add(IsNullValue isNullValue,
java.util.Set<Location> unconditionalDerefLocationSet)
|
void |
NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame)
Deprecated. Use NullDerefAndRedundantComparisonCollector.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead |
void |
NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame,
boolean isConsistent)
Subclasses should override this method to capture locations where a null pointer is dereferenced. |
static IsNullValue |
IsNullValue.merge(IsNullValue a,
IsNullValue b)
Merge two values. |
void |
IsNullValueFrame.setKnownValue(ValueNumber valueNumber,
IsNullValue knownValue)
|
Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type IsNullValue | |
---|---|
void |
IsNullValueFrame.copyFrom(Frame<IsNullValue> other)
|
boolean |
IsNullValueFrame.sameAs(Frame<IsNullValue> other)
|
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValue | |
---|---|
IsNullConditionDecision(ValueNumber value,
IsNullValue ifcmpDecision,
IsNullValue fallThroughDecision)
Constructor. |
|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue)
Constructor. |
|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue,
IsNullValue secondValue)
Constructor. |
Uses of IsNullValue in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect with parameters of type IsNullValue | |
---|---|
void |
FindNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame)
Deprecated. Use FindNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead |
void |
NoiseNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame)
Deprecated. Use NoiseNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead |
void |
FindNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame,
boolean isConsistent)
|
void |
NoiseNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame,
boolean isConsistent)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |