class interface LISTBOX_STRING

creation
   make (s: STRING)
      --  Set listbox item's name.

      require
         valid: s /= Void
      ensure
         name_set: name.is_equal(s)

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

   is_valid: BOOLEAN
      --  Is this item valid?


   name: STRING
      --  Listbox item's name.


feature(s) from LISTBOX_STRING
   make (s: STRING)
      --  Set listbox item's name.

      require
         valid: s /= Void
      ensure
         name_set: name.is_equal(s)

feature(s) from LISTBOX_STRING
   set_name (s: STRING)
      --  Set listbox item's name.

      require
         valid: s /= Void
      ensure
         name_set: name.is_equal(s)


end of LISTBOX_STRING