/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/like_current.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/like_current.e

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

revision 37661 by manus, Sun Aug 12 23:50:20 2001 UTC revision 37662 by julieng, Tue Jun 10 23:37:06 2003 UTC
# Line 53  feature -- Output Line 53  feature -- Output
53                          actual_dump: STRING                          actual_dump: STRING
54                  do                  do
55                          actual_dump := actual_type.dump                          actual_dump := actual_type.dump
56                          !!Result.make (15 + actual_dump.count)                          create Result.make (15 + actual_dump.count)
57                          Result.append ("[like Current] ")                          Result.append ("[like Current] ")
58                          Result.append (actual_dump)                          Result.append (actual_dump)
59                  end                  end
# Line 75  feature {COMPILER_EXPORTER} -- Primitive Line 75  feature {COMPILER_EXPORTER} -- Primitive
75                          -- Calculated type in function of the feature `f' which has                          -- Calculated type in function of the feature `f' which has
76                          -- the type Current and the feautre table `feat_table'                          -- the type Current and the feautre table `feat_table'
77                  do                  do
78                          !!Result                          create Result
79                          Result.set_actual_type (feat_table.associated_class.actual_type)                          Result.set_actual_type (feat_table.associated_class.actual_type)
80                  end                  end
81    
# Line 83  feature {COMPILER_EXPORTER} -- Primitive Line 83  feature {COMPILER_EXPORTER} -- Primitive
83                          -- Instantiation of Current in the context of `class_type',                          -- Instantiation of Current in the context of `class_type',
84                          -- assuming that Current is written in class of id `written_id'.                          -- assuming that Current is written in class of id `written_id'.
85                  do                  do
86                          !!Result                          create Result
87                          Result.set_actual_type (type)                          Result.set_actual_type (type)
88                  end                  end
89    
90          create_info: CREATE_CURRENT is          create_info: CREATE_CURRENT is
91                          -- Byte code information for entity type creation                          -- Byte code information for entity type creation
92                  once                  once
93                          !!Result                          create Result
94                  end                  end
95    
96  end -- class LIKE_CURRENT  end -- class LIKE_CURRENT

Legend:
Removed from v.37661  
changed lines
  Added in v.37662

  ViewVC Help
Powered by ViewVC 1.1.23