/[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 71149 by alexk, Wed Nov 14 07:12:11 2007 UTC revision 71150 by alexk, Wed Nov 14 19:34:34 2007 UTC
# Line 153  feature -- Output Line 153  feature -- Output
153  feature {COMPILER_EXPORTER} -- Modification  feature {COMPILER_EXPORTER} -- Modification
154    
155          set_actual_type (a: TYPE_A) is          set_actual_type (a: TYPE_A) is
156                          -- Assign `a' to `original_actual_type'.                          -- Assign `a' to `conformance_type'.
157                  do                  do
158                          conformance_type := a                          if has_attached_mark then
159                                    conformance_type := a.as_attached
160                            elseif has_detachable_mark then
161                                    conformance_type := a.as_detachable
162                            else
163                                    conformance_type := a
164                            end
165                          actual_type := Current                          actual_type := Current
166                  end                  end
167    

Legend:
Removed from v.71149  
changed lines
  Added in v.71150

  ViewVC Help
Powered by ViewVC 1.1.23