| |
|
| java.lang.Object edu.umd.cs.findbugs.ba.npe.NullValueUnconditionalDeref
NullValueUnconditionalDeref | public class NullValueUnconditionalDeref (Code) | | Collected information about a single value number
observed at one or more locations to be both
definitely-null and unconditionally dereferenced.
|
NullValueUnconditionalDeref | public NullValueUnconditionalDeref()(Code) | | |
add | public void add(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet)(Code) | | Parameters: isNullValue - Parameters: unconditionalDerefLocationSet - |
getDerefLocationSet | public Set<Location> getDerefLocationSet()(Code) | | Returns the derefLocationSet. |
isAlwaysOnExceptionPath | public boolean isAlwaysOnExceptionPath()(Code) | | Returns the alwaysOnExceptionPath. |
isFieldValue | public boolean isFieldValue()(Code) | | Returns the alwaysFieldValue. |
isMethodReturnValue | public boolean isMethodReturnValue()(Code) | | Returns the alwaysMethodReturnValue. |
|
|
|