edu.umd.cs.findbugs.ba.jsr305

Class TypeQualifierValueSet

java.lang.Object

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValueSet

public class TypeQualifierValueSet
extends Object

Set of ValueNumbers and their corresponding FlowValues.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor and Description
TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
FlowValue	getValue(ValueNumber vn)
Collection<? extends ValueNumber>	getValueNumbers()
Set<? extends SourceSinkInfo>	getWhere(ValueNumber vn)
Set<? extends SourceSinkInfo>	getWhereAlways(ValueNumber vn)
Set<? extends SourceSinkInfo>	getWhereNever(ValueNumber vn)
int	hashCode()
boolean	isBottom()
boolean	isTop()
boolean	isValid()
void	makeSameAs(TypeQualifierValueSet source)
void	makeValid()
void	mergeWith(TypeQualifierValueSet fact)
void	modelSourceSink(SourceSinkInfo sourceSinkInfo)
void	propagateAcrossPhiNode(ValueNumber fromVN, ValueNumber toVN)
void	pruneValue(ValueNumber vn)
void	setBottom()
void	setTop()
String	toString()
String	valueNumberToString(ValueNumber vn)
String	valueNumberToString(ValueNumber vn, FlowValue value)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeQualifierValueSet

public TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue)

Method Detail

modelSourceSink

public void modelSourceSink(SourceSinkInfo sourceSinkInfo)

pruneValue

public void pruneValue(ValueNumber vn)

getWhere

public Set<? extends SourceSinkInfo> getWhere(ValueNumber vn)

getWhereAlways

public Set<? extends SourceSinkInfo> getWhereAlways(ValueNumber vn)

getWhereNever

public Set<? extends SourceSinkInfo> getWhereNever(ValueNumber vn)

getValue

public FlowValue getValue(ValueNumber vn)

getValueNumbers

public Collection<? extends ValueNumber> getValueNumbers()

isValid

public boolean isValid()

makeValid

public void makeValid()

makeSameAs

public void makeSameAs(TypeQualifierValueSet source)

isTop

public boolean isTop()

setTop

public void setTop()

isBottom

public boolean isBottom()

setBottom

public void setBottom()

propagateAcrossPhiNode

public void propagateAcrossPhiNode(ValueNumber fromVN,
                          ValueNumber toVN)

mergeWith

public void mergeWith(TypeQualifierValueSet fact)
               throws DataflowAnalysisException

Throws:

DataflowAnalysisException

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

valueNumberToString

public String valueNumberToString(ValueNumber vn)

valueNumberToString

public String valueNumberToString(ValueNumber vn,
                         FlowValue value)