🚚 refactor: Rename delete_case4 to delete_case3.

Author: make-github-pseudonymous-again

src/deletion/delete_case1.js

@@ -7,7 +7,7 @@ import rotate_right from '../rotate/rotate_right.js';
 import sibling from '../family/sibling.js';
 
 import delete_case2 from './delete_case2.js';
-import delete_case4 from './delete_case4.js';
+import delete_case3 from './delete_case3.js';
 
 /**
  * Preconditions:
@@ -42,7 +42,7 @@ const delete_case1 = (n) => {
 		s._color = BLACK;
 		if (n === n.parent.left) rotate_left(n.parent);
 		else rotate_right(n.parent);
-		delete_case4(n);
+		delete_case3(n);
 	}
 
 	// Otherwise, go to case 3.

src/deletion/delete_case2.js

@@ -5,7 +5,7 @@ import Node from '../types/Node.js';
 import sibling from '../family/sibling.js';
 
 import delete_case0 from './delete_case0.js';
-import delete_case4 from './delete_case4.js';
+import delete_case3 from './delete_case3.js';
 
 /**
  * Preconditions:
@@ -48,7 +48,7 @@ const delete_case2 = (n) => {
 	}
 
 	// Otherwise, go to case 4.
-	else delete_case4(n);
+	else delete_case3(n);
 };
 
 export default delete_case2;

src/deletion/delete_case4.js renamed to src/deletion/delete_case3.js

@@ -17,7 +17,7 @@ import delete_case5 from './delete_case5.js';
  *
  * @param {Node} n - The input node.
  */
-const delete_case4 = (n) => {
+const delete_case3 = (n) => {
 	assert(n instanceof Node);
 	assert(n._color === BLACK);
 	assert(n.parent !== null);
@@ -58,4 +58,4 @@ const delete_case4 = (n) => {
 	else delete_case5(n);
 };
 
-export default delete_case4;
+export default delete_case3;

src/index.js

@@ -6,7 +6,7 @@ export {default as _debug} from './debug/_debug.js';
 export {default as delete_case0} from './deletion/delete_case0.js';
 export {default as delete_case1} from './deletion/delete_case1.js';
 export {default as delete_case2} from './deletion/delete_case2.js';
-export {default as delete_case4} from './deletion/delete_case4.js';
+export {default as delete_case3} from './deletion/delete_case3.js';
 export {default as delete_case5} from './deletion/delete_case5.js';
 export {default as delete_case6} from './deletion/delete_case6.js';
 export {default as delete_no_child} from './deletion/delete_no_child.js';