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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NullValueUnconditionalDeref
public NullValueUnconditionalDeref()
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.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.