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()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
FlowValue
getValue(ValueNumber vn)
java.util.Collection<? extends ValueNumber>
getValueNumbers()
java.util.Set<SourceSinkInfo>
getWhereAlways(ValueNumber vn)
java.util.Set<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)
-
-
-
Method Detail
-
modelSourceSink
public void modelSourceSink(SourceSinkInfo sourceSinkInfo)
-
pruneValue
public void pruneValue(ValueNumber vn)
-
getWhereAlways
public java.util.Set<SourceSinkInfo> getWhereAlways(ValueNumber vn)
-
getWhereNever
public java.util.Set<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 classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
valueNumberToString
public java.lang.String valueNumberToString(ValueNumber vn)
-
-