public void ShiftBy(int dx, int dy) { ASSERT(!Empty(), "!Rect.Empty()"); x0 += dx; y0 += dy; x1 += dx; y1 += dy; }