/[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 70925 by manus, Thu Aug 23 21:04:51 2007 UTC revision 70926 by alexk, Sat Oct 27 07:28:29 2007 UTC
# Line 14  inherit Line 14  inherit
14                          actual_type, associated_class, conform_to, conformance_type, convert_to,                          actual_type, associated_class, conform_to, conformance_type, convert_to,
15                          generics, has_associated_class, instantiated_in,                          generics, has_associated_class, instantiated_in,
16                          is_basic, is_expanded, is_external, is_like_current, is_none, is_reference,                          is_basic, is_expanded, is_external, is_like_current, is_none, is_reference,
17                          meta_type, set_actual_type, type_i, evaluated_type_in_descendant, is_tuple                          meta_type, set_actual_type, type_i, evaluated_type_in_descendant, is_tuple,
18                            set_attached_mark, set_detachable_mark
19                  end                  end
20    
21  feature -- Visitor  feature -- Visitor
# Line 153  feature -- Output Line 154  feature -- Output
154                          conformance_type.ext_append_to (st, c)                          conformance_type.ext_append_to (st, c)
155                  end                  end
156    
157  feature {COMPILER_EXPORTER} -- Primitives  feature {COMPILER_EXPORTER} -- Modification
158    
159          set_actual_type (a: TYPE_A) is          set_actual_type (a: TYPE_A) is
160                          -- Assign `a' to `original_actual_type'.                          -- Assign `a' to `original_actual_type'.
# Line 162  feature {COMPILER_EXPORTER} -- Primitive Line 163  feature {COMPILER_EXPORTER} -- Primitive
163                          actual_type := Current                          actual_type := Current
164                  end                  end
165    
166            set_attached_mark is
167                            -- Mark type declaration as having an explicit attached mark.
168                    do
169                            Precursor
170                            if not conformance_type.is_attached then
171                                    conformance_type := conformance_type.as_attached
172                            end
173                    end
174    
175            set_detachable_mark is
176                            -- Set class type declaration as having an explicit detachable mark.
177                    do
178                            Precursor
179                            if conformance_type.is_attached then
180                                    conformance_type := conformance_type.as_detachable
181                            end
182                    end
183    
184    feature {COMPILER_EXPORTER} -- Primitives
185    
186          instantiation_in (type: TYPE_A; written_id: INTEGER): TYPE_A is          instantiation_in (type: TYPE_A; written_id: INTEGER): TYPE_A is
187                          -- Instantiation of Current in the context of `class_type',                          -- Instantiation of Current in the context of `class_type',
188                          -- assuming that Current is written in class of id `written_id'.                          -- assuming that Current is written in class of id `written_id'.

Legend:
Removed from v.70925  
changed lines
  Added in v.70926

  ViewVC Help
Powered by ViewVC 1.1.23