/[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 56062 by alexk, Thu Dec 8 12:33:35 2005 UTC revision 56356 by alexk, Fri Dec 23 11:15:48 2005 UTC
# Line 8  class CL_TYPE_I Line 8  class CL_TYPE_I
8  inherit  inherit
9          TYPE_I          TYPE_I
10                  redefine                  redefine
                         is_reference,  
                         is_expanded,  
                         is_separate,  
                         is_valid,  
                         is_explicit,  
                         is_external,  
                         same_as,  
11                          c_type,                          c_type,
12                          conforms_to_array,                          conforms_to_array,
13                          generated_id,                          created_in,
14                          generate_cid,                          generate_cid,
                         make_gen_type_byte_code,  
15                          generate_cid_array,                          generate_cid_array,
16                          generate_cid_init,                          generate_cid_init,
17                          generate_gen_type_il,                          generate_gen_type_il,
18                          generate_expanded_creation,                          generate_expanded_creation,
19                          generate_expanded_initialization,                          generate_expanded_initialization,
20                            generated_id,
21                            generic_derivation,
22                          instantiated_description,                          instantiated_description,
23                          instantiation_in,                          instantiation_in,
24                          generic_derivation,                          is_expanded,
25                          is_generated_as_single_type                          is_explicit,
26                            is_external,
27                            is_generated_as_single_type,
28                            is_reference,
29                            is_separate,
30                            is_valid,
31                            make_gen_type_byte_code,
32                            same_as
33                  end                  end
34    
35          SHARED_IL_CASING          SHARED_IL_CASING
# Line 121  feature -- Access Line 122  feature -- Access
122                          Result := Current                          Result := Current
123                  end                  end
124    
125            created_in (other: CLASS_TYPE): TYPE_I is
126                            -- Resulting type of Current as if it was used to create object in `other'.
127                    do
128                            Result := Current
129                            if cr_info /= Void then
130                                    Result := cr_info.created_in (other)
131                            end
132                    end
133    
134          il_type_name (a_prefix: STRING): STRING is          il_type_name (a_prefix: STRING): STRING is
135                          -- Class name of current type.                          -- Class name of current type.
136                  local                  local

Legend:
Removed from v.56062  
changed lines
  Added in v.56356

  ViewVC Help
Powered by ViewVC 1.1.23