class FUNC_BEH_STONE inherit B_ICON_STONE rename set_data as old_set_data end; B_ICON_STONE redefine set_data select set_data end; FUNC_DROPPED_STONE creation make feature {NONE} associated_editor: STATE_EDITOR; feature {NONE} make (ed: like associated_editor) is do associated_editor := ed end; dropped_stone: like Current is do Result := Current end; forget_stone is do data := Void end; feature set_data (s: like data) is do update_stone (s) end; end