--          This file is part of SmartEiffel The GNU Eiffel Compiler.
--       Copyright (C) 1994-2002 LORIA - INRIA - U.H.P. Nancy 1 - FRANCE
--          Dominique COLNET and Suzanne COLLIN - SmartEiffel@loria.fr
--                       http://SmartEiffel.loria.fr
-- SmartEiffel is  free  software;  you can  redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the Free
-- Software  Foundation;  either  version  2, or (at your option)  any  later
-- version. SmartEiffel is distributed in the hope that it will be useful,but
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-- or  FITNESS FOR A PARTICULAR PURPOSE.   See the GNU General Public License
-- for  more  details.  You  should  have  received a copy of the GNU General
-- Public  License  along  with  SmartEiffel;  see the file COPYING.  If not,
-- write to the  Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-- Boston, MA 02111-1307, USA.
--
deferred class E_TYPE
--
-- Handling of an Eiffel type mark.
--
-- Handling of Eiffel kernel classes:
--
--      Type Mark         |        Handled by Class
--      -------------------------------------------
--      BOOLEAN           |            TYPE_BOOLEAN
--      CHARACTER         |          TYPE_CHARACTER
--      INTEGER_8         |            TYPE_INTEGER
--      INTEGER_16        |            TYPE_INTEGER
--      INTEGER_32        |            TYPE_INTEGER
--      INTEGER           |            TYPE_INTEGER
--      INTEGER_64        |            TYPE_INTEGER
--      REAL              |               TYPE_REAL
--      DOUBLE            |             TYPE_DOUBLE
--      POINTER           |            TYPE_POINTER
--      NONE              |               TYPE_NONE
--      ANY               |                TYPE_ANY
--      STRING            |             TYPE_STRING
--      ARRAY[FOO]        |              TYPE_ARRAY
--      NATIVE_ARRAY[BAR] |       TYPE_NATIVE_ARRAY
--      BIT 45            |              TYPE_BIT_1
--      BIT Foo           |              TYPE_BIT_2
--      TUPLE ...         |              TYPE_TUPLE
--      ROUTINE ...       |            TYPE_ROUTINE
--      PROCEDURE ...     |          TYPE_PROCEDURE
--      FUNCTION ...      |           TYPE_FUNCTION
--      PREDICATE ...     |           TYPE_FUNCTION
--
-- Handling of other classes (excluding previous types):
--
-- TYPE_CLASS: when the original type mark is not generic, not outside
--       expanded and it is not a formal generic argument. Thus, this is
--       the most common case.
-- TYPE_FORMAL_GENERIC: when original declaration type mark is a formal
--       generic argument.
-- TYPE_GENERIC: when original type has generic argument (excluding ARRAY,
--       and NATIVE_ARRAY as explained previously) and is not outside
--       expanded.
-- TYPE_LIKE_CURRENT: when the written type mark is "like Current"
-- TYPE_LIKE_FEATURE: when the written type mark is "like <feature>"
-- TYPE_LIKE_ARGUMENT: when the written type mark "like <argument>"
-- TYPE_EXPANDED: when original type is outside expanded (for example when
--       the written type mark is "expanded FOO").
-- TYPE_SEPARATE: when original type is outside separate (for example when
--       the written type mark is "separate FOO").
-- TYPE_REFERENCE: corresponding reference type for some expanded type for
--       example when the written type mark is "reference FOO").
-- TYPE_BIT_REF: corresponding reference type for TYPE_BIT.
--

inherit GLOBALS

feature {NONE}

   base_class_memory: BASE_CLASS
	 -- Memory cache for `base_class'.

   run_class_memory: RUN_CLASS
	 -- Memory cache for `run_class'.

feature

   written_mark: STRING is
         -- The original written type mark (what's in the source code).
      deferred
      ensure
         Result = string_aliaser.item(Result)
      end

   start_position: POSITION is
         -- Of the written mark.
      deferred
      end

   frozen written_in: CLASS_NAME is
      do
         if not start_position.is_unknown then
            Result := start_position.base_class_name
         end
      end

   pretty_print is
      deferred
      end

   frozen short is
      do
         short_print.hook(once "Btm")
         short_hook
         short_print.hook(once "Atm")
      end

   is_anchored: BOOLEAN is
         -- Is it written "like ..." ?
      deferred
      end

   is_like_current: BOOLEAN is
         -- Is it written "like Current" ?
      deferred
      ensure
         Result implies is_anchored
      end

   is_like_feature: BOOLEAN is
         -- Is it written "like <feature>" ?
      deferred
      ensure
         Result implies is_anchored
      end

   is_like_argument: BOOLEAN is
         -- Is it written "like <argument>" ?
      deferred
      ensure
         Result implies is_anchored
      end

   is_generic: BOOLEAN is
         -- Is the written type a generic type ? (At time beeing, TYPE_TUPLE
         -- and TYPE_OF_AGENT are not considered here has generic types)
      deferred
      ensure
         is_array implies Result
      end

   is_formal_generic: BOOLEAN is
         -- Is it a formal generic argument ?
      do
      end

   frozen start_lookup_class: BASE_CLASS is
	 -- See `start_lookup_name' below.
      local
	 sln: CLASS_NAME
      do
	 sln := start_lookup_name
	 if sln /= Void then
	    Result := sln.base_class
	 end
      ensure
	 Result /= Void
      end

   start_lookup_name: CLASS_NAME is
         -- The name of the class where the lookup process must start.
	 -- Also note that even for NONE, the `Result' is not Void. (I don't
	 -- know if it is the good design choice because there is no
	 -- lookup to perform from class NONE.)
      deferred
      ensure
      	 Result /= Void
      end

feature  -- Working with the run E_TYPE:

   is_run_type: BOOLEAN is
         -- True when the running type is known (ie, when anchors
         -- are computed and when formal generic names are
         -- substitutes with real class names.
      deferred
      ensure
         Result implies run_type /= Void
      end

   run_type: E_TYPE is
         -- Corresponding running type mark.
      require
         is_run_type
      deferred
      ensure
         Result.run_type = Result
      end

   is_expanded: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
         Result = not is_reference
      end

   is_separate: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
         Result implies is_reference
         Result implies base_class.maybe_separate
      end

   is_reference: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
         Result = not is_expanded
      end

   generic_list: ARRAY[E_TYPE] is
         -- Assume this is really a generic type, otherwise, print
         -- a fatal error message with `fatal_error_generic_list'.
      require
	 is_generic
      deferred
      ensure
         Result.lower = 1
         not Result.is_empty
      end

   local_from_separate: E_TYPE is
      require
         is_separate
      deferred
      ensure
         not Result.is_separate
      end

   run_time_mark: STRING is
         -- The corresponding type mark at execution time.
      require
         is_run_type
      deferred
      ensure
         Result = string_aliaser.item(Result)
      end

   is_basic_eiffel_expanded: BOOLEAN is
         -- True for BOOLEAN, CHARACTER, INTEGER, REAL, DOUBLE and POINTER.
      require
         is_run_type
      deferred
      ensure
	 Result implies is_expanded
      end

   is_boolean: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
	 Result implies is_basic_eiffel_expanded
      end

   is_character: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
	 Result implies is_basic_eiffel_expanded
      end

   is_integer: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
	 Result implies is_basic_eiffel_expanded
      end

   is_real: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
	 Result implies is_basic_eiffel_expanded
      end

   is_double: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
	 Result implies is_basic_eiffel_expanded
      end

   is_pointer: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
	 Result implies is_basic_eiffel_expanded
      end

   is_string: BOOLEAN is
      require
         is_run_type
      deferred
      end

   is_array: BOOLEAN is
      require
         is_run_type
      deferred
      ensure
         Result implies generic_list.count = 1
      end

   is_bit: BOOLEAN is
      require
         is_run_type
      deferred
      end

   is_any: BOOLEAN is
      require
         is_run_type
      deferred
      end

   is_none: BOOLEAN is
      require
         is_run_type
      deferred
      end

   frozen is_native_array: BOOLEAN is
	 -- Is `Current' some TYPE_OF_NATIVE_ARRAY?
      require
	 Current = run_type
      local
         tna: TYPE_NATIVE_ARRAY
      do
         tna ?= Current
         Result := tna /= Void
      end

   frozen is_type_of_agent: BOOLEAN is
	 -- Is `Current' some TYPE_OF_AGENT (i.e. TYPE_ROUTINE, 
	 -- TYPE_PROCEDURE or TYPE_FUNCTION) ?
      require
	 Current = run_type
      local
         toa: TYPE_OF_AGENT
      do
         toa ?= Current
         Result := toa /= Void
      end

   actual_reference(destination: E_TYPE): E_TYPE is
         -- If `destination' is not Void and if `destination' is the exact 
         -- most acurate corresponding reference type of `Current', 
         -- `destination' is returned without any modification (as an 
         -- example, this occurs when `Current' represents the "INTEGER" 
         -- type while `destination' represents the "reference INTEGER" 
         -- type). Otherwise, when `destination' is Void or not specialized 
         -- enough the actual concrete Result type is created (as an 
         -- example, this occurs when `Current' represents the "INTEGER" 
         -- type while destination represents the "ANY" type; a 
         -- representation of "reference INTEGER" is thus created).
      require
         is_expanded or is_separate
	 destination = Void or else
	 (destination.is_reference and is_a(destination)) 
      deferred
      ensure
         Result.is_reference
      end

   actual_separate(destination: E_TYPE): E_TYPE is
         -- If `destination' is the exact concrete corresponding separate 
         -- type of `Current', `destination' is returned without any 
         -- modification. Otherwise, when `destination' is not specialized 
         -- enough the actual concrete Result type is created.
      require
         is_reference
	 destination.is_separate
	 is_a(destination)
      deferred
      ensure
         Result.is_separate
      end

   frozen convertible_to(other: E_TYPE): BOOLEAN is
      require
         is_run_type
         other.is_run_type
         error_handler.is_empty
      do
         if is_a(other) then
            Result := true
         else
            error_handler.cancel
            if other.is_a(Current) then
               Result := true
            else
               error_handler.cancel
            end
         end
      ensure
         error_handler.is_empty
      end

   base_class_name: CLASS_NAME is
      require
         is_run_type
      deferred
      ensure
         Result /= Void
      end

   to_runnable(ct: E_TYPE): like Current is
         -- Compute the run time mark when the receiver is
         -- written in `ct'.
         -- Example : INTEGER always gives INTEGER.
         --           `like Current' gives `ct'.
         --           ...
      require
         ct.run_type = ct
      deferred
      ensure
         no_errors implies written_mark = Result.written_mark
         no_errors implies start_position = Result.start_position
         no_errors implies Result.is_run_type
         no_errors implies Result.run_type = Result.run_type.run_type
         -- *** This would be even better:
	 --           no_errors implies Result = Result.to_runnable(ct)
      end

   frozen base_class: BASE_CLASS is
      local
         bcn: CLASS_NAME
      do
	 if base_class_memory /= Void then
	    Result := base_class_memory
	 else
	    bcn := base_class_name
	    if bcn /= Void then
	       base_class_memory := bcn.base_class
	       Result := base_class_memory
	    else
	       error_handler.append("Cannot find Base Class for ")
	       error_handler.add_type(Current,fz_dot_blank)
	       error_handler.print_as_fatal_error
	    end
	 end
      end

   frozen path: STRING is
	 -- Of the corresponding `base_class'.
      do
         Result := base_class.path
      end

   frozen debug_info_in(buffer: STRING) is
	 -- For debugging only.
      do
	 buffer.append(written_mark)
	 if is_run_type then
	    if written_mark /= run_time_mark then
	       buffer.extend('/')
	       buffer.append(run_time_mark)
	    end
	 else
	    buffer.append("/???")
	 end
      end

feature

   is_a(other: E_TYPE): BOOLEAN is
         -- Type conformance checking : Is it a kind of `other' ?
         -- Assume that the context is identical.
         --
         -- When false, `error_handler' is filled if needed with the 
         -- corresponding bad types, but the error report is not printed for 
         -- the caller to add some comments or for the caller to cancel 
         -- `error_handler'.
         --
      require
         is_run_type
         other.is_run_type
      deferred
      ensure
         nb_errors = old nb_errors
         ; (not Result) implies (not error_handler.is_empty)
      end

   smallest_ancestor(other: E_TYPE): E_TYPE is
         -- Return the smallest common ancestor.
      require
         is_run_type
         other.is_run_type
      deferred
      ensure
         Result.run_type = Result
         Current.is_a(Result)
         other.is_a(Result)
      end

   frozen run_class_: RUN_CLASS is
      require
         is_run_type
      do
	 if run_class_memory = Void then
	    run_class_memory := smart_eiffel.run_class(run_type)
	 end
	 Result := run_class_memory
      ensure
         Result /= Void
      end

   frozen run_class: RUN_CLASS is
      require
         is_run_type
      do
	 if run_class_memory /= Void then
	    Result := run_class_memory
	 elseif is_run_type then
	    run_class_memory := smart_eiffel.run_class(run_type)
	    Result := run_class_memory
	 end
      ensure
         Result /= Void
      end

   stupid_switch(run_time_set: RUN_TIME_SET): BOOLEAN is
         -- True when `Current' drives exactely to the same runnable
	 -- `Current.run_type' for all possible contexts of the 
	 -- `run_time_set'. 
      require
         smart_eiffel.is_ready
         run_time_set.count > 1
      deferred
      end

feature

   c_header_pass1 is
      require
         cpp.on_h
         run_class.at_run_time
      deferred
      ensure
         cpp.on_h
      end

   c_header_pass2 is
      require
         cpp.on_h
         run_class.at_run_time
      deferred
      ensure
         cpp.on_h
      end

   c_header_pass3 is
      require
         cpp.on_h
         run_class.at_run_time
      deferred
      ensure
         cpp.on_h
      end

   c_header_pass4 is
      require
         cpp.on_h
         run_class.at_run_time
      deferred
      ensure
         cpp.on_h
      end

feature

   id: INTEGER is
         -- All `at_run_time' has a Tid C type.
      require
         is_run_type
      deferred
      ensure
         (not is_none) implies Result > 0
      end

   is_dummy_expanded: BOOLEAN is
         -- True when is it a user's expanded type with no attribute.
      require
         is_run_type
         smart_eiffel.is_ready
      deferred
      end

   is_user_expanded: BOOLEAN is
         -- Is it really a user expanded type ?
      require
         is_run_type
      deferred
      end

   c_type_for_argument_in(str: STRING) is
         -- Append in `str' the C type to use when current Eiffel type is 
         -- used for an argument of a feature.
      require
         smart_eiffel.is_ready
         str /= Void
      deferred
      end

   c_type_for_target_in(str: STRING) is
         -- Append in `str' the C type to use when current Eiffel type is 
         -- used for the target of a feature.
      require
         smart_eiffel.is_ready
         str /= Void
      deferred
      end

   c_type_for_result_in(str: STRING) is
         -- Append in `str' the C type to use when current Eiffel
         -- type is used as a result type of a C function.
      require
         smart_eiffel.is_ready
         str /= Void
      deferred
      end

   frozen c_type_for_external_in(str: STRING) is
      do
         if is_reference then
            str.append(fz_void)
            str.extend('*')
         else
            c_type_for_result_in(str)
         end
      end

   frozen mapping_cast is
         -- Produce a C cast for conversion into current C type.
	 -- For example: (T27*)
      require
         is_run_type
         run_type.run_class.at_run_time
      do
         mapping_cast_buffer.clear
         mapping_cast_buffer.extend('(')
         c_type_for_target_in(mapping_cast_buffer)
         mapping_cast_buffer.extend(')')
         cpp.put_string(mapping_cast_buffer)
      end

   need_c_struct: BOOLEAN is
         -- Is it necessary to define a C struct ?
      require
         smart_eiffel.is_ready
      deferred
      end

   c_sizeof: INTEGER is
         -- Result of C sizeof for a variable which has the `Current' type.
      require
         is_run_type
      deferred
      ensure
         Result >= 1
      end

   c_initialize is
         -- Produce C code for initialisation of local variables
         -- or attributes  (see also `c_initialize_in').
      require
         is_run_type
         smart_eiffel.is_ready
      deferred
      end

   c_initialize_in(str: STRING) is
         -- Append in `str' C code for initialisation of local variables
         -- or attributes (see also `c_initialize').
      require
         is_run_type
         smart_eiffel.is_ready
      deferred
      end

   frozen c_frame_descriptor_in(buffer: STRING) is
	 -- Update `c_frame_descriptor_format' accordingly.
      do
         buffer.extend('%%')
         if is_reference then
            buffer.extend('R')
         else
            buffer.extend('E')
         end
         id.append_in(buffer)
         buffer.extend('%%')
      end

feature

   need_gc_mark_function: BOOLEAN is
         -- True when objects of the current type must be marked
         -- or when `gc_mark_to_follow' is true in corresponding run
         -- class.
      deferred
      end

feature {RUN_CLASS,E_TYPE}

   gc_define1 is
         -- Define prototypes and C struct for the Garbage Collector
      require
         not gc_handler.is_off
         cpp.on_h
         run_class.at_run_time
      deferred
      end

   gc_define2 is
         -- Define C functions for the Garbage Collector
      require
         not gc_handler.is_off
         cpp.on_c
         run_class.at_run_time
      deferred
      end

   gc_info_in(str: STRING) is
         -- Produce C code to print GC information.
      require
         not gc_handler.is_off
         gc_handler.info_flag
         run_class.at_run_time
      deferred
      end

   just_before_gc_mark_in(str: STRING) is
      require
         not gc_handler.is_off
         run_class.at_run_time
      deferred
      end

feature {NONE}

   standard_just_before_gc_mark_in(str: STRING) is
      require
         not gc_handler.is_off
         run_class.at_run_time
      do
         gc_free_in(str)
         str.extend('=')
         str.append(fz_null)
         str.append(fz_00)
      end

feature {NATIVE_SMART_EIFFEL,GC_HANDLER}

   gc_call_new_in(str: STRING) is
      do
         str.append(fz_new)
         id.append_in(str)
         str.extend('(')
         str.extend(')')
      end

feature

   jvm_method_flags: INTEGER is
         -- Return the appropriate flag (static/virtual) when the
         -- receiver has this type.
      deferred
      end

   frozen jvm_stack_space: INTEGER is
      require
         is_run_type
      do
         if is_double then
            Result := 2
         else
            Result := 1
         end
      ensure
         Result >= 1
      end

   jvm_descriptor_in(str: STRING) is
         -- Append in `str' the appropriate JVM type descriptor for
         -- arguments and Result of a method.
      require
         str /= Void
      deferred
      end

   jvm_target_descriptor_in(str: STRING) is
         -- Append in `str' the appropriate JVM type descriptor for
         -- the target only.
      require
         str /= Void
         run_class.at_run_time
      deferred
      end

   jvm_return_code is
         -- Add the good JVM opcode to return Result.
      require
         run_type = Current
      deferred
      end

   jvm_push_local(offset: INTEGER) is
         -- Push value of the local variable at `offset'.
      deferred
      end

   jvm_push_default: INTEGER is
         -- Push the default value for the Current type.
         -- Result gives the space in the JVM stack
      deferred
      end

   jvm_write_local_creation, jvm_write_local(offset: INTEGER) is
         -- Write the local variable at `offset' using the stack top.
      deferred
      end

   jvm_check_class_invariant is
         -- If needed, add some byte code to check the class invariant
         -- of the pushed object.
      deferred
      end

   jvm_xnewarray is
         -- Produce the appropriate byte-code to create a new JVM
         -- array with elements of `Current' type.
         -- Assume the count of the new array to create is already
         -- pushed.
      deferred
      end

   jvm_xastore is
      deferred
      end

   jvm_xaload is
      deferred
      end

   jvm_if_x_eq: INTEGER is
         -- Assume two operands of the same type are pushed.
      deferred
      end

   jvm_if_x_ne: INTEGER is
         -- Assume two operands of the same type are pushed.
      deferred
      end

   jvm_convert_to(destination: E_TYPE): INTEGER is
         -- Convert the pushed value (which is an object of
         -- the current type) into an object of `destination' type.
      require
         convertible_to(destination)
      deferred
      ensure
         Result >= 1
      end

   jvm_standard_is_equal is
         -- Produce byte-code for `standard_is_equal' for the
         -- top objects pair.
      deferred
      end

feature {NONE}

   frozen standard_jvm_check_class_invariant is
      do
	 run_class.jvm_check_class_invariant
      end

feature {E_TYPE}

   jvm_to_reference is
         -- If needed, convert the pushed value into the
         -- corresponding reference type.
      deferred
      end

   jvm_expanded_from_reference(other: E_TYPE): INTEGER is
         -- Convert the pushed value of type `other' which is a reference
         -- type into the corresponding expanded type.
      require
         is_expanded
         other.is_reference
         is_a(other)
      deferred
      ensure
         Result >= 1
      end

feature {NONE}

   c_initialize_expanded is
      require
         is_user_expanded or is_dummy_expanded
      local
         wa: ARRAY[RUN_FEATURE_2]; i: INTEGER; rf: RUN_FEATURE_2
      do
         if is_dummy_expanded then
            cpp.put_character('0')
         else
            cpp.put_character('{')
            wa := run_class.writable_attributes
            from
               i := wa.upper
            until
               i = 0
            loop
               rf := wa.item(i)
               rf.result_type.c_initialize
               i := i - 1
               if i > 0 then
                  cpp.put_character(',')
               end
            end
            cpp.put_character('}')
         end
      end

feature {RUN_CLASS}

   frozen id_extra_information(tfw: TEXT_FILE_WRITE) is
      do
         tfw.put_string(once "reference: ")
         if is_reference then
            tfw.put_string(once "yes")
         else
            tfw.put_string(once "no")
         end
	 tfw.put_character('%N')
      end

feature {E_TYPE}

   short_hook is
      deferred
      end

feature {NONE}

   tmp_string: STRING is
      once
	 !!Result.make(256)
      end

   header: STRING is
      once
	 !!Result.make(256)
      end

   body: STRING is
      once
	 !!Result.make(512)
      end

   fatal_error_generic_list is
      do
         check
            not is_generic
         end
         error_handler.add_type(Current," is (not) generic ?")
         error_handler.print_as_fatal_error
      end

   frozen standard_gc_info_in(str: STRING) is
      do
         str.append(once "if(")
         gc_info_nb_in(str)
         str.append(once ")%Nfprintf(SE_GCINFO,%"%%d\t")
         str.append(run_time_mark)
         str.append(once " created. (store_left=%%d).\n%",")
         gc_info_nb_in(str)
	 str.extend(',')
         gc_store_left_in(str)
         str.append(once ");%N")
      end

   frozen standard_gc_define1 is
         -- For Fixed Size Objects.
      require
         not gc_handler.is_off
         cpp.on_h
         run_class.at_run_time
      local
         rc: RUN_CLASS; rcid: INTEGER
      do
         rc := run_class
         rcid := rc.id
         -- --------------- Define struct BXXX and typedef gcXXX :
         header.copy(fz_typedef)
         header.append(fz_struct)
         header.extend(' ')
         header.extend('B')
         rcid.append_in(header)
         header.extend(' ')
         header.append(fz_gc)
         rcid.append_in(header)
         header.append(fz_00)
         header.append(fz_struct)
         header.extend(' ')
         header.extend('B')
         rcid.append_in(header)
         header.append(once "{T")
         rcid.append_in(header)
         header.append(once " object;union {int flag;gc")
         rcid.append_in(header)
         header.append(once "*next;} header;};%N")
         cpp.put_string(header)
         -- ----------------------------------- Declare storeXXX :
         header.copy(fz_gc)
         rcid.append_in(header)
         header.extend('*')
         gc_store_in(header)
         cpp.put_extern5(header,fz_null)
         -- ------------------------------ Declare store_leftXXX :
         header.copy(fz_int)
         header.extend(' ')
         gc_store_left_in(header)
         cpp.put_extern2(header,'0')
         -- ----------------------------------- Declare store_chunkXXX :
         header.copy(once "fsoc*")
         gc_store_chunk_in(header)
         cpp.put_extern5(header,fz_null)
         -- --------------------------------- Declare gc_freeXXX :
         header.copy(fz_gc)
         rcid.append_in(header)
         header.extend('*')
         gc_free_in(header)
         cpp.put_extern5(header,fz_null)
         -- -------------------------------- Declare gc_info_nbXXX :
         if gc_handler.info_flag then
            header.copy(fz_int)
            header.extend(' ')
            gc_info_nb_in(header)
            cpp.put_extern2(header,'0')
         end
      end

   frozen standard_gc_define2 is
      require
         is_reference
         not gc_handler.is_off
         cpp.on_c
         run_class.at_run_time
      local
         rc: RUN_CLASS; rcid: INTEGER; gc_check_id: BOOLEAN
      do
         rc := run_class
         rcid := rc.id
         -- --------------------------- Definiton for gc_sweepXXX :
         header.copy(fz_void)
         header.extend(' ')
         header.append(fz_gc_sweep)
         rcid.append_in(header)
         header.append(once "(fsoc*c)")
         body.copy(once "gc")
         rcid.append_in(body)
         body.append(
            once "*o1,*o2,*flt,flh;%N%
            %o1=((gc")
         rcid.append_in(body)
         body.append(
            once "*)(&(c->first_object)));%N%
            %if(c->header.state_type==FSO_STORE_CHUNK){%N%
            %for(;o1<")
         gc_store_in(body)
         body.append(
            once ";o1++){%N%
            %if((o1->header.flag)==FSOH_MARKED){%N%
            %o1->header.flag=FSOH_UNMARKED;%N}%N%
            %else{%N")
         gc_handler.memory_dispose(body,once "o1",run_class)
         body.append(once "o1->header.next=")
         gc_free_in(body)
         body.append(fz_00)
         gc_free_in(body)
         body.append(
            once "=o1;%N%
            %}%N}%N}%N%
            %else{%N%
            %int dead=1;%N%
            %flh.header.next=NULL;%N%
            %flt=&flh;%N%
            %o2=o1+c->count_minus_one;%N%
            %for(;o1<=o2;o2--){%N%
            %if((o2->header.flag)==FSOH_MARKED){%N%
            %o2->header.flag=FSOH_UNMARKED;%N%
            %dead=0;}%N%
            %else{%N")
         gc_handler.memory_dispose(body,once "o2",run_class)
         body.append(
            once "flt->header.next=o2;%N%
            %flt=o2;%N%
            %}%N}%N%
            %if (dead){%N%
            %c->next=fsocfl;%N%
            %fsocfl=c;%N%
            %c->header.state_type=FSO_FREE_CHUNK;%N}%N%
            %else if(flh.header.next!=NULL){%N%
            %flt->header.next=")
         gc_free_in(body)
         body.append(fz_00)
         gc_free_in(body)
         body.append(
            once "=flh.header.next;%N%
            %}%N}%N")
         cpp.put_c_function(header,body)
         -- ----------------------------- Definiton for gc_markXXX :
         header.copy(fz_void)
         header.extend(' ')
         gc_mark_in(header)
         header.append(once "(T")
         rcid.append_in(header)
         header.append(once "*o)")
         body.clear
         gc_check_id := rc.is_tagged and then ace.no_check
         if gc_check_id then
            body.append(once "se_gc_check_id(o,")
            rcid.append_in(body)
            body.append(once ");%N{")
         end
         rc.gc_mark_fixed_size(false,body)
         if gc_check_id then
            body.append(once "%N}")
         end
         cpp.put_c_function(header,body)
         -- ----------------------- Definiton for gc_align_markXXX :
         header.copy(fz_void)
         header.extend(' ')
         gc_align_mark_in(header)
         header.append(once "(fsoc*c,gc")
         rcid.append_in(header)
         header.append(once "*p)")
         body.clear
         rc.gc_align_mark_fixed_size(body)
         cpp.put_c_function(header,body)
         -- ------------------------ Definiton of chunk model HXXX :
         header.copy(once "fsoc H")
         rcid.append_in(header)
         body.copy(
            once "{{FSOC_SIZE,FSO_STORE_CHUNK,%N%
            %(void(*)(mch*,void*))gc_align_mark")
         rcid.append_in(body)
         body.append(
            once ",%N%
            %(void(*)(mch*))gc_sweep")
         rcid.append_in(body)
         body.append(
            once "},NULL,(((FSOC_SIZE-sizeof(fsoc)+sizeof(double))/sizeof(gc")
         rcid.append_in(body)
         body.append(once "))-1)}")
         cpp.put_extern5(header,body)
         -- --------------------------------- Definiton for newXXX :
         header.clear
         header.extend('T')
         rcid.append_in(header)
         header.extend('*')
         header.append(fz_new)
         rcid.append_in(header)
         header.append(fz_c_void_args)
         body.copy(fz_gc)
         rcid.append_in(body)
         body.append(once "*n;%Nfsoc*c;%N")
         if gc_handler.info_flag then
            gc_info_nb_in(body)
            body.append(once "++;%N")
         end
         --
         body.append(once "if(")
         gc_store_left_in(body)
         body.append(once ">1){%N")
         gc_store_left_in(body)
         body.append(once "--;%Nn=")
         gc_store_in(body)
         body.append(once "++;%N}%N%
                     %else if(")
         gc_free_in(body)
         body.append(once "!=NULL){%N%
                     %n=")
         gc_free_in(body)
         body.append(fz_00)
         gc_free_in(body)
         body.append(once "=n->header.next;%N}%N%
                     %else if(")
         gc_store_left_in(body)
         body.append(once "==1){%N")
         gc_store_left_in(body)
         body.append(once "=0;%N")
         gc_store_chunk_in(body)
         body.append(once "->header.state_type=FSO_USED_CHUNK;%N%
                     %n=")
         gc_store_in(body)
         body.append(once "++;%N}%N%
                     %else{%Nc=gc_fsoc_get1();%N%
		     %if(")
         gc_free_in(body)
         body.append(once "!=NULL){%N%
                     %n=")
         gc_free_in(body)
         body.append(fz_00)
         gc_free_in(body)
         body.append(once "=n->header.next;%N}%Nelse{%N%
		     %if(c==NULL)c=gc_fsoc_get2();%N")
         gc_store_chunk_in(body)
         body.append(once "=c;%N*")
         gc_store_chunk_in(body)
         body.append(fz_eq_h)
         rcid.append_in(body)
         body.append(fz_00)
         gc_store_in(body)
         body.append(once "=((gc")
	 rcid.append_in(body)
         body.append(once "*)(&(")
         gc_store_chunk_in(body)
         body.append(once "->first_object)));%N")
         gc_store_left_in(body)
         body.append(fz_eq_h)
         rcid.append_in(body)
         body.append(once ".count_minus_one;%N%
                     %n=")
         gc_store_in(body)
         body.append(once "++;%N}%N%
		     %}%Nn->header.flag=FSOH_UNMARKED;%N")
         if need_c_struct then
            body.append(once "n->object=M")
            rcid.append_in(body)
            body.append(fz_00)
         end
         body.append(once "return((T")
	 rcid.append_in(body)
	 body.append(once "*)n);%N")
         cpp.put_c_function(header,body)
      end

   frozen standard_gc_define2_for_expanded is
         -- For user's expanded with reference attribute to mark.
      require
         is_expanded
         not gc_handler.is_off
         cpp.on_c
         run_class.at_run_time
      local
         rc: RUN_CLASS; rcid: INTEGER
      do
         rc := run_class
         if rc.gc_mark_to_follow then
            rcid := rc.id
            -- -------------------------- Definiton for gc_markXXX :
            header.copy(fz_void)
            header.extend(' ')
            gc_mark_in(header)
            header.append(once "(T")
            rcid.append_in(header)
            header.append(once "*o)")
            body.clear
            rc.gc_mark_fixed_size(true,body)
            cpp.put_c_function(header,body)
         end
      end

   frozen gc_store_in(str: STRING) is
      do
         str.append(once "store")
         id.append_in(str)
      end

   frozen gc_store_left_in(str: STRING) is
      do
         str.append(once "store_left")
         id.append_in(str)
      end

   frozen gc_store_chunk_in(str: STRING) is
      do
         str.append(once "store_chunk")
         id.append_in(str)
      end

   frozen gc_free_in(str: STRING) is
      do
         str.append(once "gc_free")
         id.append_in(str)
      end

   frozen gc_align_mark_in(str: STRING) is
      do
         str.append(once "gc_align_mark")
         id.append_in(str)
      end

   frozen gc_info_nb_in(str: STRING) is
      do
         str.append(once "gc_info_nb")
         id.append_in(str)
      end

feature {E_TYPE, GC_HANDLER}

   frozen gc_mark_in(str: STRING) is
      do
         str.append(fz_gc_mark)
         id.append_in(str)
      end

feature {NONE}

   frozen standard_c_typedef is
      require
         cpp.on_h
         run_class.at_run_time
      local
         mem_id: INTEGER
      do
         mem_id := id
         tmp_string.clear
         if need_c_struct then
            tmp_string.append(fz_typedef)
            tmp_string.append(fz_struct)
            tmp_string.extend(' ')
            tmp_string.extend('S')
            mem_id.append_in(tmp_string)
            tmp_string.extend(' ')
            tmp_string.extend('T')
            mem_id.append_in(tmp_string)
            tmp_string.append(fz_00)
         elseif is_dummy_expanded then
            tmp_string.append(fz_typedef)
            tmp_string.append(fz_int)
            tmp_string.extend(' ')
            tmp_string.extend('T')
            mem_id.append_in(tmp_string)
            tmp_string.append(fz_00)
         elseif is_reference then
            tmp_string.append(fz_typedef)
            tmp_string.append(fz_void)
            tmp_string.extend('*')
            tmp_string.extend('T')
            mem_id.append_in(tmp_string)
            tmp_string.append(fz_00)
         end
         cpp.put_string(tmp_string)
      ensure
         cpp.on_h
      end

   frozen standard_c_struct is
         -- Produce C code for the standard C struct (for user's
         -- expanded or reference as well).
      require
         run_type = Current
         need_c_struct
         cpp.on_h
      local
         wa: ARRAY[RUN_FEATURE_2]; i, mem_id: INTEGER; a: RUN_FEATURE_2
         t: E_TYPE
      do
         mem_id := id
         wa := run_class.writable_attributes
         tmp_string.copy(fz_struct)
         tmp_string.extend(' ')
         tmp_string.extend('S')
         mem_id.append_in(tmp_string)
         tmp_string.extend('{')
         if is_reference then
            if run_class.is_tagged then
               tmp_string.append(once "Tid id;")
            end
         end
         if is_separate then
            tmp_string.append(once "se_subsystem_t* subsystem;")
         end
         if wa /= Void then
            from
               i := wa.upper
            until
               i = 0
            loop
               a := wa.item(i)
               t := a.result_type.run_type
               t.c_type_for_result_in(tmp_string)
               tmp_string.extend(' ')
               tmp_string.extend('_')
               tmp_string.append(a.name.to_string)
               tmp_string.extend(';')
               i := i - 1
            end
         end
         tmp_string.extend('}')
         tmp_string.append(fz_00)
         cpp.put_string(tmp_string)
         if is_expanded then
            -- For expanded comparison :
            tmp_string.copy(fz_int)
            tmp_string.extend(' ')
            tmp_string.append(fz_se_cmpt)
            mem_id.append_in(tmp_string)
            tmp_string.append(once "(T")
            mem_id.append_in(tmp_string)
            tmp_string.append(once " o1,T")
            mem_id.append_in(tmp_string)
            tmp_string.append(once " o2)")
            cpp.put_c_function(tmp_string,
            once "return memcmp(&o1,&o2,sizeof(o1));")
         end
      ensure
         cpp.on_h
      end

   frozen standard_c_object_model is
         -- Produce C code to define the model object.
      require
         run_type = Current
         cpp.on_h
      local
         mem_id: INTEGER; rc: RUN_CLASS
      do
         rc := run_class
         mem_id := rc.id
         tmp_string.clear
         tmp_string.extend('T')
         mem_id.append_in(tmp_string)
         tmp_string.extend(' ')
         tmp_string.extend('M')
         mem_id.append_in(tmp_string)
         cpp.put_extern7(tmp_string)
         cpp.swap_on_c
         tmp_string.clear
         rc.c_object_model_in(tmp_string)
         tmp_string.append(fz_00)
         cpp.put_string(tmp_string)
         cpp.swap_on_h
      ensure
         cpp.on_h
      end

   frozen standard_c_print_function is
         -- Produce `prinTid' function.
      require
         run_type = Current
      do
         if ace.no_check then
            run_class.c_print_function
         end
      end

   frozen c_sizeof_pointer: INTEGER is
      local
         p: POINTER
      do
         Result := p.object_size
      end

   frozen standard_stupid_switch(run_time_set: RUN_TIME_SET): BOOLEAN is
      local
	 i: INTEGER; rt1, rt2: E_TYPE; rtm1: STRING
      do
	 from
	    i := 1
	    rt1 := to_runnable(run_time_set.item(i).current_type)
	    rtm1 := rt1.run_time_mark
	    Result := true
	    i := i + 1
	 until
	    not Result or else i > run_time_set.count
	 loop
	    rt2 := to_runnable(run_time_set.item(i).current_type)
	    Result := rtm1 = rt2.run_time_mark
	    i := i + 1
	 end
      end

   mapping_cast_buffer: STRING is
      once
         create Result.make(16)
      end

end -- E_TYPE