/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

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

revision 43364 by manus, Sat May 29 22:49:07 2004 UTC revision 43828 by manus, Tue Jun 15 18:15:36 2004 UTC
# Line 109  feature -- Access Line 109  feature -- Access
109    
110          name: STRING is          name: STRING is
111                          -- String that should be displayed in debugger to represent `Current'.                          -- String that should be displayed in debugger to represent `Current'.
                 local  
                         l_base_class: like base_class  
112                  do                  do
113                          create Result.make (32)                          Result := base_name
                         l_base_class := base_class  
                         if is_expanded and not l_base_class.is_expanded then  
                                 Result.append ("expanded ")  
                         elseif not is_expanded and l_base_class.is_expanded then  
                                 Result.append ("reference ")  
                         elseif is_separate then  
                                 Result.append ("separate ")  
                         end  
                         Result.append (l_base_class.name_in_upper)  
114                  end                  end
115                    
116          instantiation_in (other: GEN_TYPE_I): CL_TYPE_I is          instantiation_in (other: CLASS_TYPE): CL_TYPE_I is
117                          -- Instantation of Current in `other'                          -- Instantation of Current in `other'
118                  do                  do
119                          Result := Current                          Result := Current
# Line 509  feature -- Generic conformance for IL Line 498  feature -- Generic conformance for IL
498    
499  feature {NONE} -- Implementation  feature {NONE} -- Implementation
500    
501            base_name: STRING is
502                            -- String that should be displayed in debugger to represent `Current'.
503                    local
504                            l_base_class: like base_class
505                    do
506                            create Result.make (32)
507                            l_base_class := base_class
508                            if is_expanded and not l_base_class.is_expanded then
509                                    Result.append ("expanded ")
510                            elseif not is_expanded and l_base_class.is_expanded then
511                                    Result.append ("reference ")
512                            elseif is_separate then
513                                    Result.append ("separate ")
514                            end
515                            Result.append (l_base_class.name)
516                    end
517    
518          frozen internal_il_type_name (a_base_name, a_prefix: STRING): STRING is          frozen internal_il_type_name (a_base_name, a_prefix: STRING): STRING is
519                          -- Full type name of `a_base_name' using `a_prefix' in IL code generation                          -- Full type name of `a_base_name' using `a_prefix' in IL code generation
520                          -- with namespace specification                          -- with namespace specification

Legend:
Removed from v.43364  
changed lines
  Added in v.43828

  ViewVC Help
Powered by ViewVC 1.1.23