class interface GAME_ITEM

creation
   make (lvl: INTEGER; nme: STRING)
      --  Create.

      require
         ok: lvl > 0 and nme /= Void
      ensure
         ok_level: level = lvl;
         ok_name: name.is_equal(nme)

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

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


   name: STRING
      --  Level name.


feature(s) from GAME_ITEM
   level: INTEGER
      --  Difficulty level.



end of GAME_ITEM