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