note description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" deferred class EV_BITMAP_I inherit EV_DRAWABLE_I redefine interface end feature -- Status Setting set_size (a_x, a_y: INTEGER) -- Set the size of the pixmap to `a_x' by `a_y' pixels. require x_coordinate_valid: a_x > 0 y_coordinate_valid: a_y > 0 deferred end feature interface: detachable EV_BITMAP note option: stable attribute end; end