fx\src\data\System\Data\RbTree.cs (29)
129_pageTable[0].Slots[0].nodeColor = NodeColor.black;
622SetColor(z_id, NodeColor.black);
719SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black;
720SetColor (y_id, NodeColor.black);
732SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black;
742SetColor (Parent (x_id), NodeColor.black);
743SetColor (y_id, NodeColor.black);
755SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black;
763SetColor (root, NodeColor.black);
765SetColor (root_id, NodeColor.black);
934if (color (y_id) == NodeColor.black)
1054while (((root_id == NIL ? root : root_id) != x_id) && color (x_id) == NodeColor.black)
1070SetColor (w_id, NodeColor.black);
1076if (color (Left (w_id)) == NodeColor.black && color (Right (w_id)) == NodeColor.black)
1084if (color (Right (w_id)) == NodeColor.black)
1086SetColor (Left (w_id), NodeColor.black);
1093SetColor (px_id, NodeColor.black);
1094SetColor (Right (w_id), NodeColor.black);
1106SetColor (w_id, NodeColor.black);
1125if (color (Right (w_id)) == NodeColor.black && color (Left (w_id)) == NodeColor.black) {
1131if (color (Left (w_id)) == NodeColor.black)
1133SetColor (Right (w_id), NodeColor.black);
1142SetColor (px_id, NodeColor.black);
1143SetColor (Left (w_id), NodeColor.black);
1152SetColor (px_id, NodeColor.black);
1153SetColor (Left (w_id), NodeColor.black);
1163SetColor (x_id, NodeColor.black);