class FUNC_EV_STONE inherit EV_ICON_STONE rename set_data as old_set_data end; EV_ICON_STONE redefine set_data select set_data end; FUNC_DROPPED_STONE creation make feature {NONE} associated_editor: BEHAVIOR_EDITOR; feature make (ed: like associated_editor) is do associated_editor := ed end; feature {NONE} 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