Package edu.umd.cs.findbugs.ba.npe
Class NullValueUnconditionalDeref
java.lang.Object
edu.umd.cs.findbugs.ba.npe.NullValueUnconditionalDeref
Collected information about a single value number observed at one or more
locations to be both definitely-null and unconditionally dereferenced.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate boolean
private boolean
private boolean
private boolean
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
add
(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet) boolean
boolean
boolean
boolean
-
Field Details
-
alwaysOnExceptionPath
private boolean alwaysOnExceptionPath -
alwaysFieldValue
private boolean alwaysFieldValue -
alwaysMethodReturnValue
private boolean alwaysMethodReturnValue -
alwaysReadlineValue
private boolean alwaysReadlineValue -
derefLocationSet
-
-
Constructor Details
-
NullValueUnconditionalDeref
public NullValueUnconditionalDeref()
-
-
Method Details
-
add
- Parameters:
isNullValue
-unconditionalDerefLocationSet
-
-
getDerefLocationSet
- Returns:
- Returns the derefLocationSet.
-
isAlwaysOnExceptionPath
public boolean isAlwaysOnExceptionPath()- Returns:
- Returns the alwaysOnExceptionPath.
-
isMethodReturnValue
public boolean isMethodReturnValue()- Returns:
- Returns the alwaysMethodReturnValue.
-
isReadlineValue
public boolean isReadlineValue()- Returns:
- Returns the alwaysMethodReturnValue.
-
isFieldValue
public boolean isFieldValue()- Returns:
- Returns the alwaysFieldValue.
-