edu.umd.cs.findbugs.ba.npe2

Class DefinitelyNullSet

public class DefinitelyNullSet extends Object

Set of values that is definitely known to be null.

Author: David Hovemeyer

Constructor Summary
	DefinitelyNullSet(int numValueNumbers)

Method Summary
void	addAssignedNullLocation(int valueNumber, int locationNumber)
void	clear()
void	clearAssignNullLocations(int valueNumber)
BitSet	getAssignedNullLocationSet(ValueNumber vn)
NullnessValue	getNulllessValue(ValueNumber valueNumber)
boolean	isBottom()
boolean	isTop()
boolean	isValid()
void	makeSameAs(DefinitelyNullSet other)
void	mergeWith(DefinitelyNullSet other)
void	setBottom()
void	setNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue)
void	setTop()

Constructor Detail

DefinitelyNullSet

public DefinitelyNullSet(int numValueNumbers)

Method Detail

addAssignedNullLocation

public void addAssignedNullLocation(int valueNumber, int locationNumber)

clear

public void clear()

clearAssignNullLocations

public void clearAssignNullLocations(int valueNumber)

getAssignedNullLocationSet

public BitSet getAssignedNullLocationSet(ValueNumber vn)

getNulllessValue

public NullnessValue getNulllessValue(ValueNumber valueNumber)

isBottom

public boolean isBottom()

isTop

public boolean isTop()

isValid

public boolean isValid()

makeSameAs

public void makeSameAs(DefinitelyNullSet other)

mergeWith

public void mergeWith(DefinitelyNullSet other)

setBottom

public void setBottom()

setNullnessValue

public void setNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue)

setTop

public void setTop()

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