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

Class UsagesRequiringNonNullValues

java.lang.Object

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

public class UsagesRequiringNonNullValues
extends 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)
Collection<? extends UsagesRequiringNonNullValues.Pair>	getPairs(Integer loc)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

UsagesRequiringNonNullValues

public UsagesRequiringNonNullValues()

Method Details

toString

public String toString()

Overrides:

toString in class Object

add

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

get

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

getPairs

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