/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

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

revision 11209 by manus, Thu Sep 3 23:27:31 1998 UTC revision 11218 by manus, Fri Sep 4 02:24:57 1998 UTC
# Line 9  inherit Line 9  inherit
9                          is_expanded,                          is_expanded,
10                          is_separate,                          is_separate,
11                          is_valid,                          is_valid,
12                            is_explicit,
13                          same_as,                          same_as,
14                          c_type,                          c_type,
15                          instantiation_in,                          instantiation_in,
# Line 90  feature Line 91  feature
91                          Result := not is_expanded                          Result := not is_expanded
92                  end;                  end;
93    
94            is_explicit: BOOLEAN is
95    
96                    do
97                            Result := (cr_info = Void) or else (is_expanded or is_basic)
98                    end
99    
100          same_as (other: TYPE_I): BOOLEAN is          same_as (other: TYPE_I): BOOLEAN is
101                          -- Is `other' equal to Current ?                          -- Is `other' equal to Current ?
102                  local                  local

Legend:
Removed from v.11209  
changed lines
  Added in v.11218

  ViewVC Help
Powered by ViewVC 1.1.23