129_pageTable[0].Slots[0].nodeColor = NodeColor.black; 373Debug.Assert(page.Slots[slotId].nodeColor == NodeColor.red, "node not cleared"); 622SetColor(z_id, NodeColor.black); 708SetColor (x_id, NodeColor.red); 712while (color (Parent (x_id)) == NodeColor.red) 717if (color (y_id) == NodeColor.red) // my right uncle is red 719SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black; 720SetColor (y_id, NodeColor.black); 721SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 732SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black; 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 742SetColor (Parent (x_id), NodeColor.black); 743SetColor (y_id, NodeColor.black); 744SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 755SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black; 756SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 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) 1068if (color (w_id) == NodeColor.red) 1070SetColor (w_id, NodeColor.black); 1071SetColor (px_id, NodeColor.red); 1076if (color (Left (w_id)) == NodeColor.black && color (Right (w_id)) == NodeColor.black) 1078SetColor (w_id, NodeColor.red); 1084if (color (Right (w_id)) == NodeColor.black) 1086SetColor (Left (w_id), NodeColor.black); 1087SetColor (w_id, NodeColor.red); 1093SetColor (px_id, NodeColor.black); 1094SetColor (Right (w_id), NodeColor.black); 1104if (color (w_id) == NodeColor.red) 1106SetColor (w_id, NodeColor.black); 1108SetColor (px_id, NodeColor.red); 1115SetColor (px_id, NodeColor.red); 1125if (color (Right (w_id)) == NodeColor.black && color (Left (w_id)) == NodeColor.black) { 1126SetColor (w_id, NodeColor.red); 1131if (color (Left (w_id)) == NodeColor.black) 1133SetColor (Right (w_id), NodeColor.black); 1134SetColor (w_id, NodeColor.red); 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); 1626private void SetColor (int nodeId, NodeColor color) 1740private NodeColor color (int nodeId) 1798internal NodeColor nodeColor;