Method rotateLeft

src/main/java/gate/util/RBTreeMap.java:1242–1258

From CLR

(Entry<K,V> p)

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

    if (r.left != null)
      r.left.parent = p;
    r.parent = p.parent;

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

  /** From CLR **/
  private void rotateRight(Entry<K,V> p) {