Class TypeQualifierValueSet

java.lang.Object

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

public class TypeQualifierValueSet
extends Object

Set of ValueNumbers and their corresponding FlowValues.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static enum	TypeQualifierValueSet.State

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final boolean	isStrict
private TypeQualifierValueSet.State	state
private final Map<ValueNumber, FlowValue>	valueMap
private final Map<ValueNumber, Set<SourceSinkInfo>>	whereAlways
private final Map<ValueNumber, Set<SourceSinkInfo>>	whereNever

Constructor Summary

Constructors

Constructor	Description
TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue)

Method Summary

Modifier and Type	Method	Description
private 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	equals(Object obj)
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)
FlowValue	getValue(ValueNumber vn)
Collection<? extends ValueNumber>	getValueNumbers()
Set<? extends SourceSinkInfo>	getWhere(ValueNumber vn)
Set<? extends SourceSinkInfo>	getWhereAlways(ValueNumber vn)
Set<? extends SourceSinkInfo>	getWhereNever(ValueNumber vn)
int	hashCode()
boolean	isBottom()
boolean	isTop()
boolean	isValid()
void	makeSameAs(TypeQualifierValueSet source)
void	makeValid()
private void	mergeSourceSinkInfoSets(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMapToUpdate, Map<ValueNumber, Set<SourceSinkInfo>> otherSourceSinkInfoSetMap, ValueNumber vn)
void	mergeWith(TypeQualifierValueSet fact)
void	modelSourceSink(SourceSinkInfo sourceSinkInfo)
void	propagateAcrossPhiNode(ValueNumber fromVN, ValueNumber toVN)
void	pruneValue(ValueNumber vn)
private void	reset(TypeQualifierValueSet.State state)
void	setBottom()
void	setTop()
private void	setValue(ValueNumber vn, FlowValue flowValue)
String	toString()
private static void	transferSourceSinkInfoSet(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber fromVN, ValueNumber toVN)
String	valueNumberToString(ValueNumber vn)
String	valueNumberToString(ValueNumber vn, FlowValue value)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

valueMap

private final Map<ValueNumber, FlowValue> valueMap

whereAlways

private final Map<ValueNumber, Set<SourceSinkInfo>> whereAlways

whereNever

private final Map<ValueNumber, Set<SourceSinkInfo>> whereNever

state

private TypeQualifierValueSet.State state

isStrict

final boolean isStrict

Constructor Details

TypeQualifierValueSet

public TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue)

Method Details

modelSourceSink

public void modelSourceSink(SourceSinkInfo sourceSinkInfo)

setValue

private void setValue(ValueNumber vn,
 FlowValue flowValue)

copyMapValue

static <K,V> void copyMapValue(Map<K,V> map,
 K from,
 K to)

copyInfo

void copyInfo(ValueNumber from,
 ValueNumber to)

addSourceSinkInfo

private static void addSourceSinkInfo(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap,
 ValueNumber vn,
 SourceSinkInfo sourceSinkInfo)

pruneValue

public void pruneValue(ValueNumber vn)

getWhere

public Set<? extends SourceSinkInfo> getWhere(ValueNumber vn)

getWhereAlways

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

getWhereNever

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

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

public FlowValue getValue(ValueNumber vn)

getValueNumbers

public Collection<? extends ValueNumber> getValueNumbers()

isValid

public boolean isValid()

makeValid

public void makeValid()

makeSameAs

public void makeSameAs(TypeQualifierValueSet source)

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

private void reset(TypeQualifierValueSet.State state)

propagateAcrossPhiNode

public void propagateAcrossPhiNode(ValueNumber fromVN,
 ValueNumber toVN)

transferSourceSinkInfoSet

private static void transferSourceSinkInfoSet(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMap,
 ValueNumber fromVN,
 ValueNumber toVN)

mergeWith

public void mergeWith(TypeQualifierValueSet fact)
               throws DataflowAnalysisException

Throws:

DataflowAnalysisException

mergeSourceSinkInfoSets

private void mergeSourceSinkInfoSets(Map<ValueNumber, Set<SourceSinkInfo>> sourceSinkInfoSetMapToUpdate,
 Map<ValueNumber, Set<SourceSinkInfo>> otherSourceSinkInfoSetMap,
 ValueNumber vn)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

valueNumberToString

public String valueNumberToString(ValueNumber vn)

valueNumberToString

public String valueNumberToString(ValueNumber vn,
 FlowValue value)

appendSourceSinkInfos

private static void appendSourceSinkInfos(StringBuilder buf,
 String key,
 Set<? extends SourceSinkInfo> sourceSinkInfoSet)