indexing description : "A resource value for integer resources."; date : "$Date$"; revision : "$Revision$" class INTEGER_RESOURCE inherit RESOURCE create make feature {NONE} -- Initialization make (a_name: STRING; a_value: INTEGER; a_type: RESOURCE_TYPE) is -- Initialize Current. do name := a_name actual_value := a_value default_value := a_value type := a_type end feature -- Access default_value, actual_value: INTEGER -- Value represented by Current. value: STRING is -- Value as a `STRING' as represented by Current. do Result := actual_value.out end is_valid (a_value: STRING): BOOLEAN is -- Is `a_value' valid for use in Current? do Result := a_value.is_integer end feature -- Setting set_value (new_value: STRING) is -- Set `actual_value' according to `new_value'. do actual_value := new_value.to_integer end set_actual_value (an_int: INTEGER) is -- Set `actual_value' to `an_int'. do actual_value := an_int end has_changed: BOOLEAN is -- do Result := actual_value /= default_value end mark_saved is do default_value := actual_value end end -- class INTEGER_RESOURCE