edu.umd.cs.findbugs.ba.npe

Class UsagesRequiringNonNullValues

java.lang.Object

edu.umd.cs.findbugs.ba.npe.UsagesRequiringNonNullValues

public class UsagesRequiringNonNullValues
extends java.lang.Object

Author:

pugh

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	UsagesRequiringNonNullValues.Pair

Constructor Summary

Constructors

Constructor and Description
UsagesRequiringNonNullValues()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage)
PointerUsageRequiringNonNullValue	get(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow)
java.util.Collection<? extends UsagesRequiringNonNullValues.Pair>	getPairs(java.lang.Integer loc)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

UsagesRequiringNonNullValues

public UsagesRequiringNonNullValues()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

add

public void add(Location loc,
       ValueNumber vn,
       PointerUsageRequiringNonNullValue usage)

get

@CheckForNull
public PointerUsageRequiringNonNullValue get(Location loc,
                                                 ValueNumber vn,
                                                 ValueNumberDataflow vnaDataflow)

getPairs

public java.util.Collection<? extends UsagesRequiringNonNullValues.Pair> getPairs(java.lang.Integer loc)