Method rotateRight

src/main/java/gate/util/RBTreeMap.java:1261–1276

From CLR

(Entry<K,V> p)

  /** From CLR **/
  private void rotateRight(Entry<K,V> p) {
    Entry<K,V> l = p.left;
    p.left = l.right;

    if (l.right != null) l.right.parent = p;
    l.parent = p.parent;

    if (p.parent == null)
        root = l;
    else if (p.parent.right == p)
        p.parent.right = l;
    else p.parent.left = l;

    l.right = p;
    p.parent = l;
  }


  /** From CLR **/