Package edu.umd.cs.findbugs.ba.jsr305
Class TypeQualifierValueSet
java.lang.Object
edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValueSet
Set of ValueNumbers and their corresponding FlowValues.
- Author:
- David Hovemeyer
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
getValue
(ValueNumber vn) Collection
<? extends ValueNumber> Set
<? extends SourceSinkInfo> getWhere
(ValueNumber vn) Set
<? extends SourceSinkInfo> Set
<? extends SourceSinkInfo> int
hashCode()
boolean
isBottom()
boolean
isTop()
boolean
isValid()
void
makeSameAs
(TypeQualifierValueSet source) void
void
void
modelSourceSink
(SourceSinkInfo sourceSinkInfo) void
propagateAcrossPhiNode
(ValueNumber fromVN, ValueNumber toVN) void
void
void
setTop()
toString()
valueNumberToString
(ValueNumber vn, FlowValue value)
-
Constructor Details
-
TypeQualifierValueSet
-
-
Method Details
-
modelSourceSink
-
pruneValue
-
getWhere
-
getWhereAlways
-
getWhereNever
-
getValue
-
getValueNumbers
-
isValid
public boolean isValid() -
makeValid
public void makeValid() -
makeSameAs
-
isTop
public boolean isTop() -
setTop
public void setTop() -
isBottom
public boolean isBottom() -
setBottom
public void setBottom() -
propagateAcrossPhiNode
-
mergeWith
- Throws:
DataflowAnalysisException
-
equals
-
hashCode
public int hashCode() -
toString
-
valueNumberToString
-
valueNumberToString
-