class interface ICON creation make_resource (name: STRING) -- Create from resource. require valid_name: name /= Void feature(s) from MEMORY -- Removal : dispose full_collect -- Force a full collection cycle if garbage collection is -- enabled; do nothing otherwise. feature(s) from ICON -- (Optional) position set_position (pt: POINT) -- Set position (used when drawn in a GRAPHIC_DEVICE). require valid_point: pt /= Void invariant valid_position: position /= Void; end of ICON