/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/like_current.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/like_current.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 77401 by manus, Wed Jan 28 20:03:28 2009 UTC revision 77402 by alexk, Fri Feb 27 12:13:49 2009 UTC
# Line 17  inherit Line 17  inherit
17                          is_basic, is_expanded, is_external, is_like_current, is_none, is_reference,                          is_basic, is_expanded, is_external, is_like_current, is_none, is_reference,
18                          meta_type, set_actual_type, evaluated_type_in_descendant, is_tuple,                          meta_type, set_actual_type, evaluated_type_in_descendant, is_tuple,
19                          set_attached_mark, set_detachable_mark, set_is_implicitly_attached,                          set_attached_mark, set_detachable_mark, set_is_implicitly_attached,
20                          unset_is_implicitly_attached, description, c_type, is_explicit,                          unset_is_implicitly_attached, description, c_type, is_explicit, formal_instantiation_in,
21                          generated_id, generate_cid, generate_cid_array, generate_cid_init,                          generated_id, generate_cid, generate_cid_array, generate_cid_init,
22                          make_type_byte_code, generate_gen_type_il, internal_is_valid_for_class,                          make_type_byte_code, generate_gen_type_il, internal_is_valid_for_class,
23                          maximum_interval_value, minimum_interval_value, is_optimized_as_frozen,                          maximum_interval_value, minimum_interval_value, is_optimized_as_frozen,
# Line 402  feature {COMPILER_EXPORTER} -- Duplicati Line 402  feature {COMPILER_EXPORTER} -- Duplicati
402    
403  feature {COMPILER_EXPORTER} -- Primitives  feature {COMPILER_EXPORTER} -- Primitives
404    
405            formal_instantiation_in (type: TYPE_A; constraint: TYPE_A; written_id: INTEGER): TYPE_A
406                            -- <Precursor>
407                    do
408                                    -- Use original type.
409                            Result := instantiation_in (type, written_id)
410                    end
411    
412          instantiation_in (type: TYPE_A; written_id: INTEGER): TYPE_A          instantiation_in (type: TYPE_A; written_id: INTEGER): TYPE_A
413                          -- Instantiation of Current in the context of `class_type',                          -- Instantiation of Current in the context of `class_type',
414                          -- assuming that Current is written in class of id `written_id'.                          -- assuming that Current is written in class of id `written_id'.
# Line 493  feature {COMPILER_EXPORTER} -- Primitive Line 500  feature {COMPILER_EXPORTER} -- Primitive
500                  end                  end
501    
502  note  note
503          copyright:      "Copyright (c) 1984-2007, Eiffel Software"          copyright:      "Copyright (c) 1984-2009, Eiffel Software"
504          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
505          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
506          copying: "[          copying: "[

Legend:
Removed from v.77401  
changed lines
  Added in v.77402

  ViewVC Help
Powered by ViewVC 1.1.23