Package 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	Description
static class	UsagesRequiringNonNullValues.Pair

Constructor Summary

Constructors

Constructor	Description
UsagesRequiringNonNullValues()

Method Summary

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