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
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
TypeQualifierValueSet
public TypeQualifierValueSet()
modelSourceSink
public void modelSourceSink(SourceSinkInfo sourceSinkInfo)
pruneValue
public void pruneValue(ValueNumber vn)
getWhereAlways
public java.util.Set<SourceSinkInfo> getWhereAlways(ValueNumber vn)
getWhereNever
public java.util.Set<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 class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
valueNumberToString
public java.lang.String valueNumberToString(ValueNumber vn)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.