/[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 72894 by manus, Fri Mar 21 21:55:55 2008 UTC revision 72895 by alexk, Fri Mar 28 11:47:23 2008 UTC
# Line 15  inherit Line 15  inherit
15                          generics, has_associated_class, has_associated_class_type, instantiated_in, duplicate,                          generics, has_associated_class, has_associated_class_type, instantiated_in, duplicate,
16                          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,
17                          meta_type, set_actual_type, evaluated_type_in_descendant, is_tuple,                          meta_type, set_actual_type, evaluated_type_in_descendant, is_tuple,
18                          set_attached_mark, set_detachable_mark, description, c_type, is_explicit,                          set_attached_mark, set_detachable_mark, set_is_implicitly_attached, description, c_type, is_explicit,
19                          generated_id, generate_cid, generate_cid_array, generate_cid_init,                          generated_id, generate_cid, generate_cid_array, generate_cid_init,
20                          make_gen_type_byte_code, generate_gen_type_il, internal_is_valid_for_class,                          make_gen_type_byte_code, generate_gen_type_il, internal_is_valid_for_class,
21                          maximum_interval_value, minimum_interval_value, is_optimized_as_frozen,                          maximum_interval_value, minimum_interval_value, is_optimized_as_frozen,
# Line 372  feature {COMPILER_EXPORTER} -- Modificat Line 372  feature {COMPILER_EXPORTER} -- Modificat
372                          end                          end
373                  end                  end
374    
375            set_is_implicitly_attached
376                    local
377                            a: like conformance_type
378                    do
379                            Precursor
380                            a := conformance_type
381                            if a /= Void and then not a.is_attached then
382                                    conformance_type := a.as_implicitly_attached
383                            end
384                    end
385    
386  feature {COMPILER_EXPORTER} -- Duplication  feature {COMPILER_EXPORTER} -- Duplication
387    
388          duplicate: LIKE_CURRENT          duplicate: LIKE_CURRENT

Legend:
Removed from v.72894  
changed lines
  Added in v.72895

  ViewVC Help
Powered by ViewVC 1.1.23