Class MemoryEfficientRasUnion

  • All Implemented Interfaces:
    PointsToSet

    public class MemoryEfficientRasUnion
    extends Union
    • Constructor Detail

      • MemoryEfficientRasUnion

        public MemoryEfficientRasUnion()
    • Method Detail

      • isEmpty

        public boolean isEmpty()
        Description copied from interface: PointsToSet
        Returns true if this set contains no run-time objects.
      • hasNonEmptyIntersection

        public boolean hasNonEmptyIntersection​(PointsToSet other)
        Description copied from interface: PointsToSet
        Returns true if this set shares some objects with other.
      • addAll

        public boolean addAll​(PointsToSet s)
        Description copied from class: Union
        Adds all objects in s into this union of sets, returning true if this union was changed.
        Specified by:
        addAll in class Union
      • possibleTypes

        public Set<Type> possibleTypes()
        Description copied from interface: PointsToSet
        Set of all possible run-time types of objects in the set.
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object