Package edu.umd.cs.findbugs.ba.npe
Class NullValueUnconditionalDeref
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.npe.NullValueUnconditionalDeref
-
public class NullValueUnconditionalDeref extends java.lang.Object
Collected information about a single value number observed at one or more locations to be both definitely-null and unconditionally dereferenced.
-
-
Constructor Summary
Constructors Constructor Description NullValueUnconditionalDeref()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(IsNullValue isNullValue, java.util.Set<Location> unconditionalDerefLocationSet)
java.util.Set<Location>
getDerefLocationSet()
boolean
isAlwaysOnExceptionPath()
boolean
isFieldValue()
boolean
isMethodReturnValue()
boolean
isReadlineValue()
-
-
-
Method Detail
-
add
public void add(IsNullValue isNullValue, java.util.Set<Location> unconditionalDerefLocationSet)
- Parameters:
isNullValue
-unconditionalDerefLocationSet
-
-
getDerefLocationSet
public java.util.Set<Location> 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.
-
-