🚚 refactor: Rename delete_case2 to delete_case1.

Author: make-github-pseudonymous-again

src/deletion/delete_case0.js

@@ -1,7 +1,7 @@
 import assert from 'assert';
 import BLACK from '../color/BLACK.js';
 import Node from '../types/Node.js';
-import delete_case2 from './delete_case2.js';
+import delete_case1 from './delete_case1.js';
 
 /**
  * Preconditions:
@@ -17,7 +17,7 @@ const delete_case0 = (n) => {
 	// If n is the root, there is nothing to do:
 	//   - all paths go through n, and
 	//   - n is black.
-	if (n.parent !== null) delete_case2(n);
+	if (n.parent !== null) delete_case1(n);
 };
 
 export default delete_case0;

src/deletion/delete_case2.js renamed to src/deletion/delete_case1.js

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

src/deletion/delete_no_child.js

@@ -4,7 +4,7 @@ import RED from '../color/RED.js';
 import Node from '../types/Node.js';
 
 import replace_node from './replace_node.js';
-import delete_case2 from './delete_case2.js';
+import delete_case1 from './delete_case1.js';
 
 import prune from './prune.js';
 
@@ -40,7 +40,7 @@ const delete_no_child = (n) => {
 
 	// If n is black, deleting it reduces the black-height of every path going
 	// through it by 1. The leaf is black, so there are more things to fix.
-	delete_case2(leaf);
+	delete_case1(leaf);
 
 	// Delete mocked leaf
 	prune(leaf);

src/index.js

@@ -4,7 +4,7 @@ export {default as BLACK} from './color/BLACK.js';
 export {default as RED} from './color/RED.js';
 export {default as _debug} from './debug/_debug.js';
 export {default as delete_case0} from './deletion/delete_case0.js';
-export {default as delete_case2} from './deletion/delete_case2.js';
+export {default as delete_case1} from './deletion/delete_case1.js';
 export {default as delete_case3} from './deletion/delete_case3.js';
 export {default as delete_case4} from './deletion/delete_case4.js';
 export {default as delete_case5} from './deletion/delete_case5.js';