public void clip_box(int x1, int y1, int x2, int y2) { } public void move_to(int x1, int y1) { m_x1 = x1; m_y1 = y1; }