Package edu.umd.cs.findbugs.ba.npe

Class PointerUsageRequiringNonNullValue

java.lang.Object

edu.umd.cs.findbugs.ba.npe.PointerUsageRequiringNonNullValue

public abstract class PointerUsageRequiringNonNullValue
extends java.lang.Object

Author:

pugh

Constructor Summary

Constructors

Constructor	Description
PointerUsageRequiringNonNullValue()

Method Summary

Modifier and Type	Method	Description
abstract java.lang.String	getDescription()
XField	getNonNullField()
XMethodParameter	getNonNullParameter()
static PointerUsageRequiringNonNullValue	getPassedAsNonNullParameter(XMethod m, int param)
static PointerUsageRequiringNonNullValue	getPointerDereference()
static PointerUsageRequiringNonNullValue	getPointerNullChecked()
static PointerUsageRequiringNonNullValue	getReturnFromNonNullMethod(XMethod m)
static PointerUsageRequiringNonNullValue	getStoredIntoNonNullField(XField f)
boolean	isDirect()
boolean	isReturnFromNonNullMethod()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PointerUsageRequiringNonNullValue

public PointerUsageRequiringNonNullValue()

Method Detail

getDescription

public abstract java.lang.String getDescription()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isDirect

public boolean isDirect()

isReturnFromNonNullMethod

public boolean isReturnFromNonNullMethod()

getNonNullParameter

@CheckForNull
public XMethodParameter getNonNullParameter()

getNonNullField

@CheckForNull
public XField getNonNullField()

getPointerDereference

public static PointerUsageRequiringNonNullValue getPointerDereference()

getPointerNullChecked

public static PointerUsageRequiringNonNullValue getPointerNullChecked()

getReturnFromNonNullMethod

public static PointerUsageRequiringNonNullValue getReturnFromNonNullMethod(XMethod m)

getPassedAsNonNullParameter

public static PointerUsageRequiringNonNullValue getPassedAsNonNullParameter(XMethod m,
                                                                            int param)

getStoredIntoNonNullField

public static PointerUsageRequiringNonNullValue getStoredIntoNonNullField(XField f)