FindBugs™ 1.3.9

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

java.lang.Object
  extended by 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
TypeQualifierValueSet()
           
 
Method Summary
 boolean equals(java.lang.Object obj)
           
 FlowValue getValue(ValueNumber vn)
           
 java.util.Collection<? extends ValueNumber> getValueNumbers()
           
 java.util.Set<SourceSinkInfo> getWhereAlways(ValueNumber vn)
           
 java.util.Set<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)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeQualifierValueSet

public TypeQualifierValueSet()
Method Detail

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™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.