Skip to content

Commit a5dd7c8

Browse files
make-github-pseudonymous-againAurélien Ooms
authored andcommitted
🚚 refactor: Rename delete_case1 to delete_case0.
The goal is to have case number zero for the base case of the recursion. I had to do each of these renaming operations individually as otherwise git would register a consequent amount of churn.
1 parent 72b9490 commit a5dd7c8

File tree

3 files changed

+5
-5
lines changed

3 files changed

+5
-5
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ import delete_case2 from './delete_case2.js';
1111
*
1212
* @param {Node} n - The input node.
1313
*/
14-
const delete_case1 = (n) => {
14+
const delete_case0 = (n) => {
1515
assert(n instanceof Node);
1616
assert(n._color === BLACK);
1717
// If n is the root, there is nothing to do:
@@ -20,4 +20,4 @@ const delete_case1 = (n) => {
2020
if (n.parent !== null) delete_case2(n);
2121
};
2222

23-
export default delete_case1;
23+
export default delete_case0;

src/deletion/delete_case3.js

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import RED from '../color/RED.js';
44
import Node from '../types/Node.js';
55
import sibling from '../family/sibling.js';
66

7-
import delete_case1 from './delete_case1.js';
7+
import delete_case0 from './delete_case0.js';
88
import delete_case4 from './delete_case4.js';
99

1010
/**
@@ -44,7 +44,7 @@ const delete_case3 = (n) => {
4444
(s.right === null || s.right._color === BLACK)
4545
) {
4646
s._color = RED;
47-
delete_case1(n.parent);
47+
delete_case0(n.parent);
4848
}
4949

5050
// Otherwise, go to case 4.

src/index.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ export {default as from} from './api/from.js';
33
export {default as BLACK} from './color/BLACK.js';
44
export {default as RED} from './color/RED.js';
55
export {default as _debug} from './debug/_debug.js';
6-
export {default as delete_case1} from './deletion/delete_case1.js';
6+
export {default as delete_case0} from './deletion/delete_case0.js';
77
export {default as delete_case2} from './deletion/delete_case2.js';
88
export {default as delete_case3} from './deletion/delete_case3.js';
99
export {default as delete_case4} from './deletion/delete_case4.js';

0 commit comments

Comments
 (0)