Class Node

    • Method Detail

      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class Object
      • equals

        public final boolean equals​(Object other)
        Overrides:
        equals in class Object
      • getType

        public Type getType()
        Returns the declared type of this node, null for unknown.
      • setType

        public void setType​(Type type)
        Sets the declared type of this node, null for unknown.
      • getReplacement

        public Node getReplacement()
        If this node has been merged with another, returns the new node to be used as the representative of this node; returns this if the node has not been merged.
      • mergeWith

        public void mergeWith​(Node other)
        Merge with the node other.
      • makeP2Set

        public PointsToSetInternal makeP2Set()
        Returns the points-to set for this node, makes it if necessary.
      • getPag

        public PAG getPag()
        Returns the pointer assignment graph that this node is a part of.
      • discardP2Set

        public void discardP2Set()
        Delete current points-to set and make a new one
      • setP2Set

        public void setP2Set​(PointsToSetInternal ptsInternal)
        Use the specified points-to set to replace current one
      • setNumber

        public final void setNumber​(int number)
        Specified by:
        setNumber in interface Numberable