/[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 62805 by alexk, Mon Aug 21 12:50:52 2006 UTC revision 63370 by manus, Thu Sep 7 22:33:46 2006 UTC
# Line 34  inherit Line 34  inherit
34                          is_separate,                          is_separate,
35                          is_valid,                          is_valid,
36                          make_gen_type_byte_code,                          make_gen_type_byte_code,
37                          same_as                          same_as,
38                            static_type_id
39                  end                  end
40    
41          SHARED_IL_CASING          SHARED_IL_CASING
# Line 230  feature -- Access Line 231  feature -- Access
231                          Result := associated_class_type.type_id                          Result := associated_class_type.type_id
232                  end                  end
233    
234            static_type_id: INTEGER is
235                            -- Type id of the correponding class type
236                    require else
237                            ok: True
238                    do
239                            Result := associated_class_type.static_type_id
240                    end
241    
242          sk_value: INTEGER is          sk_value: INTEGER is
243                          -- Generate SK value associated to the current type.                          -- Generate SK value associated to the current type.
244                  do                  do

Legend:
Removed from v.62805  
changed lines
  Added in v.63370

  ViewVC Help
Powered by ViewVC 1.1.23