Class TypeQualifierValueSet


  • public class TypeQualifierValueSet
    extends java.lang.Object
    Set of ValueNumbers and their corresponding FlowValues.
    Author:
    David Hovemeyer
    • Constructor Detail

      • TypeQualifierValueSet

        public TypeQualifierValueSet​(TypeQualifierValue<?> typeQualifierValue)
    • Method Detail

      • modelSourceSink

        public void modelSourceSink​(SourceSinkInfo sourceSinkInfo)
      • pruneValue

        public void pruneValue​(ValueNumber vn)
      • getValueNumbers

        public java.util.Collection<? extends ValueNumber> getValueNumbers()
      • isValid

        public boolean isValid()
      • makeValid

        public void makeValid()
      • isTop

        public boolean isTop()
      • setTop

        public void setTop()
      • isBottom

        public boolean isBottom()
      • setBottom

        public void setBottom()
      • 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)
      • valueNumberToString

        public java.lang.String valueNumberToString​(ValueNumber vn,
                                                    FlowValue value)