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

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_current.e

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

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 14  inherit Line 14  inherit
14                          actual_type, associated_class, conform_to, conformance_type, convert_to,                          actual_type, associated_class, conform_to, conformance_type, convert_to,
15                          generics, has_associated_class, instantiated_in,                          generics, has_associated_class, instantiated_in,
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, type_i, evaluated_type_in_descendant                          meta_type, set_actual_type, type_i, evaluated_type_in_descendant,
18                            is_monomorph
19                  end                  end
20    
21  feature -- Visitor  feature -- Visitor
# Line 75  feature -- Properties Line 76  feature -- Properties
76                          Result := other.is_like_current                          Result := other.is_like_current
77                  end                  end
78    
79            is_monomorph: BOOLEAN is True
80                            -- Is the current type monomorph?
81                            --| like Current types are always monomorph
82    
83  feature -- Access  feature -- Access
84    
85          associated_class: CLASS_C is          associated_class: CLASS_C is

Legend:
Removed from v.69649  
changed lines
  Added in v.69650

  ViewVC Help
Powered by ViewVC 1.1.23