Package edu.umd.cs.findbugs.ba.jsr305

Class TypeQualifierValueSet

java.lang.Object

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

public class TypeQualifierValueSet
extends java.lang.Object

Set of ValueNumbers and their corresponding FlowValues.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
FlowValue	getValue(ValueNumber vn)
java.util.Collection<? extends ValueNumber>	getValueNumbers()
java.util.Set<? extends SourceSinkInfo>	getWhere(ValueNumber vn)
java.util.Set<? extends SourceSinkInfo>	getWhereAlways(ValueNumber vn)
java.util.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()
java.lang.String	toString()
java.lang.String	valueNumberToString(ValueNumber vn)
java.lang.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 java.util.Set<? extends SourceSinkInfo> getWhere(ValueNumber vn)

getWhereAlways

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

getWhereNever

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

getValue

public FlowValue getValue(ValueNumber vn)

getValueNumbers

public java.util.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(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

valueNumberToString

public java.lang.String valueNumberToString(ValueNumber vn)

valueNumberToString

public java.lang.String valueNumberToString(ValueNumber vn,
                                            FlowValue value)