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

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

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

revision 69867 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 251  feature {NONE} -- Implementation Line 251  feature {NONE} -- Implementation
251                          args.put_i_th (Integer_type, 1)                          args.put_i_th (Integer_type, 1)
252                          create Result                          create Result
253                          Result.set_arguments (args)                          Result.set_arguments (args)
254                          create f.make (False, False, 1)                                  -- TODO: is polymorph ok? (3rd False)
255                            create f.make (False, False, False, 1)
256                          Result.set_type (f, 0)                          Result.set_type (f, 0)
257                          Result.set_feature_name_id (Names_heap.item_name_id, 0)                          Result.set_feature_name_id (Names_heap.item_name_id, 0)
258                  ensure                  ensure
# Line 264  feature {NONE} -- Implementation Line 265  feature {NONE} -- Implementation
265                          args: FEAT_ARG                          args: FEAT_ARG
266                          f: FORMAL_A                          f: FORMAL_A
267                  do                  do
268                          create f.make (False, False, 1)                          create f.make (False, False, False, 1)
269                          create args.make (2)                          create args.make (2)
270                          args.put_i_th (f, 1)                          args.put_i_th (f, 1)
271                          args.put_i_th (Integer_type, 2)                          args.put_i_th (Integer_type, 2)

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

  ViewVC Help
Powered by ViewVC 1.1.23