gistfile1.java

private void rotateLeft(Node rotated) {
    Node rotator = rotated.getRight();
    rotator.setDad(rotated.getDad());
    rotated.setRight(rotator.getLeft());
    rotator.setLeft(rotated);
    if(rotator.getDad() != null){
        if (rotator.getDad().getRight() == rotated){
            rotator.getDad().setRight(rotator);
        } else {
            rotator.getDad().setLeft(rotator);
        }
    } else{
        this.setRoot(rotator);
    }
}

private void rotateRight(Node rotated) {
    Node rotator = rotated.getLeft();
    rotator.setDad(rotated.getDad());
    rotated.setLeft(rotator.getRight());
    rotator.setRight(rotated);
    if (rotator.getDad() != null) {
        if (rotator.getDad().getLeft() == rotated) {
            rotator.getDad().setLeft(rotator);
        } else {
            rotator.getDad().setRight(rotator);
        }
    } else {
        this.setRoot(rotator);
    }
}

void setLeft(Node left) {
    this.left = left;
    if (left != null) {
        this.left.setDad(this);
        this.leftHeight = left.getHeight();
    } else {
        this.leftHeight = -1;
    }
}

void setRight(Node right) {
    this.right = right;
    if (right != null) {
        this.right.setDad(this);
        this.rightHeight = right.getHeight();
    } else {
        this.rightHeight = -1;
    }
}