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
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<? 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)
-
-
-
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 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)
-
valueNumberToString
public java.lang.String valueNumberToString(ValueNumber vn, FlowValue value)
-
-