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