edu.umd.cs.findbugs.ba.npe

Class NullValueUnconditionalDeref

public class NullValueUnconditionalDeref extends 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, Set<Location> unconditionalDerefLocationSet)
Set<Location>	getDerefLocationSet()
boolean	isAlwaysOnExceptionPath()
boolean	isMethodReturnValue()

Constructor Detail

public NullValueUnconditionalDeref()

public void add(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet)

Parameters: isNullValue unconditionalDerefLocationSet

public Set<Location> getDerefLocationSet()

Returns: Returns the derefLocationSet.

public boolean isAlwaysOnExceptionPath()

Returns: Returns the alwaysOnExceptionPath.

public boolean isMethodReturnValue()

Returns: Returns the alwaysOnExceptionPath.