FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.npe
Class NullValueUnconditionalDeref

java.lang.Object
  extended by 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
NullValueUnconditionalDeref()
           
 
Method Summary
 void add(IsNullValue isNullValue, java.util.Set<Location> unconditionalDerefLocationSet)
           
 java.util.Set<Location> getDerefLocationSet()
           
 boolean isAlwaysOnExceptionPath()
           
 boolean isFieldValue()
           
 boolean isMethodReturnValue()
           
 boolean isReadlineValue()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NullValueUnconditionalDeref

public NullValueUnconditionalDeref()
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.

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.