/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/interface/native_array_b.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/interface/native_array_b.e

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

revision 69867 by juliant, Tue Jul 24 19:16:42 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 146  feature -- Actual class type Line 146  feature -- Actual class type
146                                          i > nb                                          i > nb
147                                  loop                                  loop
148                                          l_formal_dec := generics.i_th (i)                                          l_formal_dec := generics.i_th (i)
149                                          create formal.make (l_formal_dec.is_reference, l_formal_dec.is_expanded, i)                                          create formal.make (l_formal_dec.is_reference, l_formal_dec.is_expanded, l_formal_dec.is_monomorph, i)
150                                          actual_generic.put (formal, i)                                          actual_generic.put (formal, i)
151                                          i := i + 1                                          i := i + 1
152                                  end                                  end
# Line 225  feature {NONE} Line 225  feature {NONE}
225                          args.put_i_th (Integer_type, 1)                          args.put_i_th (Integer_type, 1)
226                          create Result                          create Result
227                          Result.set_arguments (args)                          Result.set_arguments (args)
228                          create f.make (False, False, 1)                                  -- TODO: is polymorph ok?
229                            create f.make (False, False, False, 1)
230                          Result.set_type (f, 0)                          Result.set_type (f, 0)
231                          Result.set_feature_name_id ({PREDEFINED_NAMES}.item_name_id, 0)                          Result.set_feature_name_id ({PREDEFINED_NAMES}.item_name_id, 0)
232                  ensure                  ensure
# Line 242  feature {NONE} Line 243  feature {NONE}
243                          args.put_i_th (Integer_type, 1)                          args.put_i_th (Integer_type, 1)
244                          create Result                          create Result
245                          Result.set_arguments (args)                          Result.set_arguments (args)
246                          create f.make (False, False, 1)                                  -- TODO: is polymorph ok? (3rd False)
247                            create f.make (False, False, False, 1)
248                          Result.set_type (f, 0)                          Result.set_type (f, 0)
249                          Result.set_feature_name_id ({PREDEFINED_NAMES}.infix_at_name_id, 0)                          Result.set_feature_name_id ({PREDEFINED_NAMES}.infix_at_name_id, 0)
250                  ensure                  ensure
# Line 255  feature {NONE} Line 257  feature {NONE}
257                          args: FEAT_ARG                          args: FEAT_ARG
258                          f: FORMAL_A                          f: FORMAL_A
259                  do                  do
260                          create f.make (False, False, 1)                                  -- TODO: should it be monomorph or not?
261                            create f.make (False, False, False, 1)
262                          create args.make (2)                          create args.make (2)
263                          args.put_i_th (Integer_type, 1)                          args.put_i_th (Integer_type, 1)
264                          args.put_i_th (f, 2)                          args.put_i_th (f, 2)

Legend:
Removed from v.69867  
changed lines
  Added in v.69868

  ViewVC Help
Powered by ViewVC 1.1.23