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

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.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 27  inherit Line 27  inherit
27                          is_none,                          is_none,
28                          is_reference,                          is_reference,
29                          is_valid,                          is_valid,
30                            is_monomorph,
31                          meta_type                          meta_type
32                  end                  end
33    
# Line 95  feature -- Properties Line 96  feature -- Properties
96                          Result := actual_type /= Void                          Result := actual_type /= Void
97                  end                  end
98    
99            is_monomorph: BOOLEAN is
100                            -- Is the current type monomorph?
101                    do
102                            if actual_type.is_like then
103                                    Result := conformance_type.is_monomorph
104                            else
105                                    Result := actual_type.is_monomorph
106                            end
107                    end
108    
109          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
110                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
111                  deferred                  deferred

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

  ViewVC Help
Powered by ViewVC 1.1.23