void (Node<K> n) { n.sibling().setColor(isBlack(n.getParent())); n.getParent().setBlack(); if (n == n.getParent().getLeft()) { assert !isBlack(n.sibling().getRight()); n.sibling().getRight().setBlack(); rotateLeft(n.getParent()); } else { assert !isBlack(n.sibling().getLeft()); n.sibling().getLeft().setBlack(); rotateRight(n.getParent()); } }