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 and Description
NullValueUnconditionalDeref()

Method Summary

Methods

Modifier and Type	Method and Description
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.