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
voidaddAssignedNullLocation(int valueNumber, int locationNumber)
voidclear()
voidclearAssignNullLocations(int valueNumber)
BitSetgetAssignedNullLocationSet(ValueNumber vn)
NullnessValuegetNulllessValue(ValueNumber valueNumber)
booleanisBottom()
booleanisTop()
booleanisValid()
voidmakeSameAs(DefinitelyNullSet other)
voidmergeWith(DefinitelyNullSet other)
voidsetBottom()
voidsetNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue)
voidsetTop()

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.