note description: "[ Objects that represent an EV_TITLED_WINDOW. The original version of this class was generated by EiffelBuild. This class is the implementation of an EV_TITLED_WINDOW generated by EiffelBuild. You should not modify this code by hand, as it will be re-generated every time modifications are made to the project. ]" generator: "EiffelBuild" date: "$Date$" revision: "$Revision$" deferred class feature {NONE}-- Initialization frozen initialize -- Initialize `Current'. internal_font: EV_FONT internal_pixmap: EV_PIXMAP do create internal_pixmap set_all_attributes_using_constants -- Call `user_initialization'. user_initialization end frozen create_interface_objects -- Create objects do create string_constant_set_procedures.make (10) create string_constant_retrieval_functions.make (10) create integer_constant_set_procedures.make (10) create integer_constant_retrieval_functions.make (10) create pixmap_constant_set_procedures.make (10) create pixmap_constant_retrieval_functions.make (10) create integer_interval_constant_retrieval_functions.make (10) create integer_interval_constant_set_procedures.make (10) create font_constant_set_procedures.make (10) create font_constant_retrieval_functions.make (10) create pixmap_constant_retrieval_functions.make (10) create color_constant_set_procedures.make (10) create color_constant_retrieval_functions.make (10) user_create_interface_objects end feature {NONE} -- Implementation is_in_default_state: BOOLEAN -- Is `Current' in its default state? do Result := True end user_create_interface_objects -- Feature for custom user interface object creation, called at end of `create_interface_objects'. deferred end user_initialization -- Feature for custom initialization, called at end of `initialize'. deferred end feature {NONE} -- Constant setting frozen set_attributes_using_string_constants -- Set all attributes relying on string constants to the current -- value of the associated constant. local s: STRING_32 do from string_constant_set_procedures.start until string_constant_set_procedures.off loop s := string_constant_retrieval_functions.i_th (string_constant_set_procedures.index).item (Void) string_constant_set_procedures.item.call ([s]) string_constant_set_procedures.forth end end frozen set_attributes_using_integer_constants -- Set all attributes relying on integer constants to the current -- value of the associated constant. local i: INTEGER arg1, arg2: INTEGER int: INTEGER_INTERVAL do from integer_constant_set_procedures.start until integer_constant_set_procedures.off loop i := integer_constant_retrieval_functions.i_th (integer_constant_set_procedures.index).item (Void) integer_constant_set_procedures.item.call ([i]) integer_constant_set_procedures.forth end from integer_interval_constant_retrieval_functions.start integer_interval_constant_set_procedures.start until integer_interval_constant_retrieval_functions.off loop arg1 := integer_interval_constant_retrieval_functions.item.item (Void) integer_interval_constant_retrieval_functions.forth arg2 := integer_interval_constant_retrieval_functions.item.item (Void) create int.make (arg1, arg2) integer_interval_constant_set_procedures.item.call ([int]) integer_interval_constant_retrieval_functions.forth integer_interval_constant_set_procedures.forth end end frozen set_attributes_using_pixmap_constants -- Set all attributes relying on pixmap constants to the current -- value of the associated constant. local p: EV_PIXMAP do from pixmap_constant_set_procedures.start until pixmap_constant_set_procedures.off loop p := pixmap_constant_retrieval_functions.i_th (pixmap_constant_set_procedures.index).item (Void) pixmap_constant_set_procedures.item.call ([p]) pixmap_constant_set_procedures.forth end end frozen set_attributes_using_font_constants -- Set all attributes relying on font constants to the current -- value of the associated constant. local f: EV_FONT do from font_constant_set_procedures.start until font_constant_set_procedures.off loop f := font_constant_retrieval_functions.i_th (font_constant_set_procedures.index).item (Void) font_constant_set_procedures.item.call ([f]) font_constant_set_procedures.forth end end frozen set_attributes_using_color_constants -- Set all attributes relying on color constants to the current -- value of the associated constant. local c: EV_COLOR do from color_constant_set_procedures.start until color_constant_set_procedures.off loop c := color_constant_retrieval_functions.i_th (color_constant_set_procedures.index).item (Void) color_constant_set_procedures.item.call ([c]) color_constant_set_procedures.forth end end frozen set_all_attributes_using_constants -- Set all attributes relying on constants to the current -- calue of the associated constant. do set_attributes_using_string_constants set_attributes_using_integer_constants set_attributes_using_pixmap_constants set_attributes_using_font_constants set_attributes_using_color_constants end string_constant_set_procedures: ARRAYED_LIST [PROCEDURE [ANY, TUPLE [READABLE_STRING_GENERAL]]] string_constant_retrieval_functions: ARRAYED_LIST [FUNCTION [ANY, TUPLE, STRING_32]] integer_constant_set_procedures: ARRAYED_LIST [PROCEDURE [ANY, TUPLE [INTEGER]]] integer_constant_retrieval_functions: ARRAYED_LIST [FUNCTION [ANY, TUPLE, INTEGER]] pixmap_constant_set_procedures: ARRAYED_LIST [PROCEDURE [ANY, TUPLE [EV_PIXMAP]]] pixmap_constant_retrieval_functions: ARRAYED_LIST [FUNCTION [ANY, TUPLE, EV_PIXMAP]] integer_interval_constant_retrieval_functions: ARRAYED_LIST [FUNCTION [ANY, TUPLE, INTEGER]] integer_interval_constant_set_procedures: ARRAYED_LIST [PROCEDURE [ANY, TUPLE [INTEGER_INTERVAL]]] font_constant_set_procedures: ARRAYED_LIST [PROCEDURE [ANY, TUPLE [EV_FONT]]] font_constant_retrieval_functions: ARRAYED_LIST [FUNCTION [ANY, TUPLE, EV_FONT]] color_constant_set_procedures: ARRAYED_LIST [PROCEDURE [ANY, TUPLE [EV_COLOR]]] color_constant_retrieval_functions: ARRAYED_LIST [FUNCTION [ANY, TUPLE, EV_COLOR]] frozen integer_from_integer (an_integer: INTEGER): INTEGER -- Return `an_integer', used for creation of -- an agent that returns a fixed integer value. do Result := an_integer end end