fx\src\data\System\Data\RbTree.cs (18)
373Debug.Assert(page.Slots[slotId].nodeColor == NodeColor.red, "node not cleared");
708SetColor (x_id, NodeColor.red);
712while (color (Parent (x_id)) == NodeColor.red)
717if (color (y_id) == NodeColor.red) // my right uncle is red
721SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
733SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
740if (color (y_id) == NodeColor.red) // if (y.color == Color.red) // my right uncle is red
744SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
756SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red;
1068if (color (w_id) == NodeColor.red)
1071SetColor (px_id, NodeColor.red);
1078SetColor (w_id, NodeColor.red);
1087SetColor (w_id, NodeColor.red);
1104if (color (w_id) == NodeColor.red)
1108SetColor (px_id, NodeColor.red);
1115SetColor (px_id, NodeColor.red);
1126SetColor (w_id, NodeColor.red);
1134SetColor (w_id, NodeColor.red);