/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e

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

revision 12165 by manus, Sat Dec 5 19:29:49 1998 UTC revision 26913 by manus, Sun Aug 12 23:50:20 2001 UTC
# Line 29  feature -- Properties Line 29  feature -- Properties
29          has_like: BOOLEAN is True          has_like: BOOLEAN is True
30                          -- Does the type have anchored type in its definition ?                          -- Does the type have anchored type in its definition ?
31    
32          rout_id: ROUTINE_ID          rout_id: INTEGER
33    
34          set_rout_id (rid: like rout_id) is          set_rout_id (rid: like rout_id) is
35                          -- Set `set_rout_id' to `rid'.                          -- Set `set_rout_id' to `rid'.
# Line 37  feature -- Properties Line 37  feature -- Properties
37                          rout_id := rid                          rout_id := rid
38                  end                  end
39    
40          class_id: CLASS_ID          class_id: INTEGER
41                          -- Class ID of the class where the anchor is referenced                          -- Class ID of the class where the anchor is referenced
42    
43    
# Line 81  feature -- Primitives Line 81  feature -- Primitives
81                  deferred                  deferred
82                  end                  end
83    
84          instantiation_in (type: TYPE_A written_id: CLASS_ID): like Current is          instantiation_in (type: TYPE_A written_id: INTEGER): like Current is
85                          -- Instantiation of Current in the context of `class_type',                          -- Instantiation of Current in the context of `class_type',
86                          -- assuming that Current is written in class of id `written_id'.                          -- assuming that Current is written in class of id `written_id'.
87                  deferred                  deferred

Legend:
Removed from v.12165  
changed lines
  Added in v.26913

  ViewVC Help
Powered by ViewVC 1.1.23