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
voidadd(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet)
Set<Location>getDerefLocationSet()
booleanisAlwaysOnExceptionPath()
booleanisMethodReturnValue()

Constructor Detail

NullValueUnconditionalDeref

public NullValueUnconditionalDeref()

Method Detail

add

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

Parameters: isNullValue unconditionalDerefLocationSet

getDerefLocationSet

public Set<Location> getDerefLocationSet()

Returns: Returns the derefLocationSet.

isAlwaysOnExceptionPath

public boolean isAlwaysOnExceptionPath()

Returns: Returns the alwaysOnExceptionPath.

isMethodReturnValue

public boolean isMethodReturnValue()

Returns: Returns the alwaysOnExceptionPath.

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