/[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 50190 by alexk, Thu Mar 31 15:29:08 2005 UTC revision 50191 by manus, Tue Apr 19 04:53:21 2005 UTC
# Line 9  class Line 9  class
9  inherit  inherit
10          LIKE_TYPE_A          LIKE_TYPE_A
11                  redefine                  redefine
12                          has_associated_class, is_like_current                          has_associated_class, is_like_current, instantiated_in
13                  end                  end
14    
15  feature -- Properties  feature -- Properties
# Line 98  feature {COMPILER_EXPORTER} -- Primitive Line 98  feature {COMPILER_EXPORTER} -- Primitive
98                          Result.set_actual_type (type.intrinsic_type)                          Result.set_actual_type (type.intrinsic_type)
99                  end                  end
100    
101            instantiated_in (class_type: CL_TYPE_A): like Current is
102                            -- Instantiation of Current in the context of `class_type'
103                            -- assuming that Current is written in the associated class
104                            -- of `class_type'.
105                    do
106                            create Result
107                            Result.set_actual_type (class_type)
108                    end
109    
110          create_info: CREATE_CURRENT is          create_info: CREATE_CURRENT is
111                          -- Byte code information for entity type creation                          -- Byte code information for entity type creation
112                  once                  once

Legend:
Removed from v.50190  
changed lines
  Added in v.50191

  ViewVC Help
Powered by ViewVC 1.1.23