🚚 refactor: Rename delete_case5 to delete_case4.

Author: make-github-pseudonymous-again

src/deletion/delete_case3.js

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

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

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

src/index.js

@@ -7,7 +7,7 @@ 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_case3} from './deletion/delete_case3.js';
-export {default as delete_case5} from './deletion/delete_case5.js';
+export {default as delete_case4} from './deletion/delete_case4.js';
 export {default as delete_case6} from './deletion/delete_case6.js';
 export {default as delete_no_child} from './deletion/delete_no_child.js';
 export {default as delete_one_child} from './deletion/delete_one_child.js';