public class TypeQualifierValueSet
extends java.lang.Object
Constructor and Description |
---|
TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue) |
Modifier and Type | Method and 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) |
public TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue)
public void modelSourceSink(SourceSinkInfo sourceSinkInfo)
public void pruneValue(ValueNumber vn)
public java.util.Set<? extends SourceSinkInfo> getWhere(ValueNumber vn)
public java.util.Set<? extends SourceSinkInfo> getWhereAlways(ValueNumber vn)
public java.util.Set<? extends SourceSinkInfo> getWhereNever(ValueNumber vn)
public FlowValue getValue(ValueNumber vn)
public java.util.Collection<? extends ValueNumber> getValueNumbers()
public boolean isValid()
public void makeValid()
public void makeSameAs(TypeQualifierValueSet source)
public boolean isTop()
public void setTop()
public boolean isBottom()
public void setBottom()
public void propagateAcrossPhiNode(ValueNumber fromVN, ValueNumber toVN)
public void mergeWith(TypeQualifierValueSet fact) throws DataflowAnalysisException
DataflowAnalysisException
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String valueNumberToString(ValueNumber vn)
public java.lang.String valueNumberToString(ValueNumber vn, FlowValue value)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.