(Node left, Node right)
| 381 | } |
| 382 | |
| 383 | static Node append(Node left, Node right){ |
| 384 | if(left == null) |
| 385 | return right; |
| 386 | else if(right == null) |
| 387 | return left; |
| 388 | else if(left instanceof Red) |
| 389 | { |
| 390 | if(right instanceof Red) |
| 391 | { |
| 392 | Node app = append(left.right(), right.left()); |
| 393 | if(app instanceof Red) |
| 394 | return red(app.key, app.val(), |
| 395 | red(left.key, left.val(), left.left(), app.left()), |
| 396 | red(right.key, right.val(), app.right(), right.right())); |
| 397 | else |
| 398 | return red(left.key, left.val(), left.left(), red(right.key, right.val(), app, right.right())); |
| 399 | } |
| 400 | else |
| 401 | return red(left.key, left.val(), left.left(), append(left.right(), right)); |
| 402 | } |
| 403 | else if(right instanceof Red) |
| 404 | return red(right.key, right.val(), append(left, right.left()), right.right()); |
| 405 | else //black/black |
| 406 | { |
| 407 | Node app = append(left.right(), right.left()); |
| 408 | if(app instanceof Red) |
| 409 | return red(app.key, app.val(), |
| 410 | black(left.key, left.val(), left.left(), app.left()), |
| 411 | black(right.key, right.val(), app.right(), right.right())); |
| 412 | else |
| 413 | return balanceLeftDel(left.key, left.val(), left.left(), black(right.key, right.val(), app, right.right())); |
| 414 | } |
| 415 | } |
| 416 | |
| 417 | static Node balanceLeftDel(Object key, Object val, Node del, Node right){ |
| 418 | if(del instanceof Red) |
no test coverage detected