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.
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescription(package private) final boolean
private TypeQualifierValueSet.State
private final Map
<ValueNumber, FlowValue> private final Map
<ValueNumber, Set<SourceSinkInfo>> private final Map
<ValueNumber, Set<SourceSinkInfo>> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate static void
addSourceSinkInfo
(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn, SourceSinkInfo sourceSinkInfo) private static void
appendSourceSinkInfos
(StringBuilder buf, String key, Set<? extends SourceSinkInfo> sourceSinkInfoSet) (package private) void
copyInfo
(ValueNumber from, ValueNumber to) (package private) static <K,
V> void copyMapValue
(Map<K, V> map, K from, K to) private void
copySourceSinkInfoSetMap
(Map<ValueNumber, Set<SourceSinkInfo>> dest, Map<ValueNumber, Set<SourceSinkInfo>> source) boolean
private static Set
<SourceSinkInfo> getOrCreateSourceSinkInfoSet
(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn) private static Set
<? extends SourceSinkInfo> getSourceSinkInfoSet
(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn) 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
private void
mergeSourceSinkInfoSets
(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMapToUpdate, Map<ValueNumber, Set<SourceSinkInfo>> otherSourceSinkInfoSetMap, ValueNumber vn) void
void
modelSourceSink
(SourceSinkInfo sourceSinkInfo) void
propagateAcrossPhiNode
(ValueNumber fromVN, ValueNumber toVN) void
private void
reset
(TypeQualifierValueSet.State state) void
void
setTop()
private void
setValue
(ValueNumber vn, FlowValue flowValue) toString()
private static void
transferSourceSinkInfoSet
(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber fromVN, ValueNumber toVN) valueNumberToString
(ValueNumber vn, FlowValue value)
-
Field Details
-
valueMap
-
whereAlways
-
whereNever
-
state
-
isStrict
final boolean isStrict
-
-
Constructor Details
-
TypeQualifierValueSet
-
-
Method Details
-
modelSourceSink
-
setValue
-
copyMapValue
-
copyInfo
-
addSourceSinkInfo
private static void addSourceSinkInfo(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn, SourceSinkInfo sourceSinkInfo) -
pruneValue
-
getWhere
-
getWhereAlways
-
getWhereNever
-
getSourceSinkInfoSet
private static Set<? extends SourceSinkInfo> getSourceSinkInfoSet(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn) -
getOrCreateSourceSinkInfoSet
private static Set<SourceSinkInfo> getOrCreateSourceSinkInfoSet(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn) -
getValue
-
getValueNumbers
-
isValid
public boolean isValid() -
makeValid
public void makeValid() -
makeSameAs
-
copySourceSinkInfoSetMap
private void copySourceSinkInfoSetMap(Map<ValueNumber, Set<SourceSinkInfo>> dest, Map<ValueNumber, Set<SourceSinkInfo>> source) -
isTop
public boolean isTop() -
setTop
public void setTop() -
isBottom
public boolean isBottom() -
setBottom
public void setBottom() -
reset
-
propagateAcrossPhiNode
-
transferSourceSinkInfoSet
private static void transferSourceSinkInfoSet(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber fromVN, ValueNumber toVN) -
mergeWith
- Throws:
DataflowAnalysisException
-
mergeSourceSinkInfoSets
private void mergeSourceSinkInfoSets(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMapToUpdate, Map<ValueNumber, Set<SourceSinkInfo>> otherSourceSinkInfoSetMap, ValueNumber vn) -
equals
-
hashCode
public int hashCode() -
toString
-
valueNumberToString
-
valueNumberToString
-
appendSourceSinkInfos
private static void appendSourceSinkInfos(StringBuilder buf, String key, Set<? extends SourceSinkInfo> sourceSinkInfoSet)
-