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