class interface DRAWABLE_LINE creation make feature(s) from DRAWABLE_LINE -- Set line definition set_start (pt: POINT) -- Set line starting point. require valid_point: pt /= Void set_final (pt: POINT) -- Set line ending point (the line will be -- drawn up to but not including this point). require valid_point: pt /= Void end of DRAWABLE_LINE