System\Data\RbTree.cs (18)
377Debug.Assert(page._slots[slotId]._nodeColor == NodeColor.red, "node not cleared");
741SetColor(x_id, NodeColor.red);
745while (color(Parent(x_id)) == NodeColor.red)
750if (color(y_id) == NodeColor.red) // my right uncle is red
754SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
766SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
773if (color(y_id) == NodeColor.red) // if (y.color == Color.red) // my right uncle is red
777SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
789SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
1119if (color(w_id) == NodeColor.red)
1122SetColor(px_id, NodeColor.red);
1129SetColor(w_id, NodeColor.red);
1138SetColor(w_id, NodeColor.red);
1155if (color(w_id) == NodeColor.red)
1160SetColor(px_id, NodeColor.red);
1168SetColor(px_id, NodeColor.red);
1181SetColor(w_id, NodeColor.red);
1190SetColor(w_id, NodeColor.red);