deferred class interface LISTBOX_ITEM

feature(s) from LISTBOX_ITEM
   --  Item's name

   is_valid: BOOLEAN
      --  Is this item valid to be added to a list box.


   name: STRING
      --  Name of listbox item.

      ensure
         valid: Result /= Void


end of deferred LISTBOX_ITEM