🚚 refactor: Rename insert_case5 to insert_case4.

Author: make-github-pseudonymous-again

src/index.js

@@ -22,7 +22,7 @@ export {default as insert_case0} from './insertion/insert_case0.js';
 export {default as insert_case1} from './insertion/insert_case1.js';
 export {default as insert_case2} from './insertion/insert_case2.js';
 export {default as insert_case3} from './insertion/insert_case3.js';
-export {default as insert_case5} from './insertion/insert_case5.js';
+export {default as insert_case4} from './insertion/insert_case4.js';
 export {default as rotate_left} from './rotate/rotate_left.js';
 export {default as rotate_right} from './rotate/rotate_right.js';
 export {default as search} from './search/search.js';

src/insertion/insert_case3.js

@@ -5,7 +5,7 @@ import RED from '../color/RED.js';
 import rotate_left from '../rotate/rotate_left.js';
 import rotate_right from '../rotate/rotate_right.js';
 import grandparent from '../family/grandparent.js';
-import insert_case5 from './insert_case5.js';
+import insert_case4 from './insert_case4.js';
 
 /**
  * Preconditions:
@@ -15,7 +15,7 @@ import insert_case5 from './insert_case5.js';
  *   - n's parent is red.
  *   - n's uncle is black.
  *
- * Here we fix the input subtree to pass the preconditions of {@link insert_case5}.
+ * Here we fix the input subtree to pass the preconditions of {@link insert_case4}.
  *
  * @param {Node} n - The input node.
  */
@@ -30,7 +30,7 @@ const insert_case3 = (n) => {
 
 	/**
 	 * If the path from g to n makes a left-right, change it to a left-left
-	 * with {@link rotate_left}. Then call {@link insert_case5} on the old
+	 * with {@link rotate_left}. Then call {@link insert_case4} on the old
 	 * parent of n.
 	 *
 	 *             B                     B
@@ -60,7 +60,7 @@ const insert_case3 = (n) => {
 	} else if (n === n.parent.left && n.parent === g.right) {
 		/**
 		 * If the path from g to n makes a right-left, change it to a right-right
-		 * with {@link rotate_right}. Then call {@link insert_case5} on the old
+		 * with {@link rotate_right}. Then call {@link insert_case4} on the old
 		 * parent of n.
 		 *
 		 *             B                     B
@@ -86,7 +86,7 @@ const insert_case3 = (n) => {
 		// n = n.right ;
 	}
 
-	insert_case5(n);
+	insert_case4(n);
 };
 
 export default insert_case3;

src/insertion/insert_case5.js renamed to src/insertion/insert_case4.js

@@ -17,7 +17,7 @@ import grandparent from '../family/grandparent.js';
  *
  * @param {Node} n - The input node.
  */
-const insert_case5 = (n) => {
+const insert_case4 = (n) => {
 	assert(n instanceof Node);
 	assert(n._color === RED);
 	assert(n.left === null || n.left._color === BLACK);
@@ -67,4 +67,4 @@ const insert_case5 = (n) => {
 	}
 };
 
-export default insert_case5;
+export default insert_case4;