/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e

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

revision 11128 by manus, Mon Aug 24 02:25:56 1998 UTC revision 11302 by manus, Sun Sep 13 22:35:07 1998 UTC
# Line 44  feature -- Properties Line 44  feature -- Properties
44          is_basic: BOOLEAN is          is_basic: BOOLEAN is
45                          -- Is the current actual type a basic one ?                          -- Is the current actual type a basic one ?
46                  do                  do
47                          Result := evaluated_type.is_basic                          Result := actual_type.is_basic
48                  end                  end
49    
50  feature -- Access  feature -- Access
# Line 57  feature -- Access Line 57  feature -- Access
57          has_associated_class: BOOLEAN is          has_associated_class: BOOLEAN is
58                          -- Does Current have an associated class?                          -- Does Current have an associated class?
59                  do                  do
60                          Result := evaluated_type /= Void and then                          Result := actual_type /= Void and then
61                          evaluated_type.has_associated_class                                  actual_type.has_associated_class
62                  end                  end
63    
64          associated_eclass: CLASS_C is          associated_class: CLASS_C is
65                          -- Associated class                          -- Associated class
66                  do                  do
67                          Result := evaluated_type.associated_eclass                          Result := actual_type.associated_class
68                  end                  end
69    
70  feature -- Primitives  feature -- Primitives
# Line 102  feature -- Primitives Line 102  feature -- Primitives
102                          Result := actual_type.internal_conform_to (other, in_generics)                          Result := actual_type.internal_conform_to (other, in_generics)
103                  end                  end
104    
         associated_class: CLASS_C is  
                         -- Associated class  
                 require else  
                         actual_type_not_void: actual_type /= Void  
                 do  
                         Result := actual_type.associated_class  
                 end  
   
105          type_i: TYPE_I is          type_i: TYPE_I is
106                          -- Reduced type of `actual_type'                          -- Reduced type of `actual_type'
107                  local                  local

Legend:
Removed from v.11128  
changed lines
  Added in v.11302

  ViewVC Help
Powered by ViewVC 1.1.23