/[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 42626 by manus, Fri Apr 9 02:52:52 2004 UTC revision 44434 by manus, Wed Jul 21 04:49:24 2004 UTC
# Line 13  inherit Line 13  inherit
13                  redefine                  redefine
14                          actual_type, has_like, is_like, is_external,                          actual_type, has_like, is_like, is_external,
15                          is_basic, instantiated_in, meta_type,                          is_basic, instantiated_in, meta_type,
16                          has_associated_class, reference_actual_type,                          has_associated_class,
17                          is_reference, is_expanded                          is_reference, is_expanded
18                  end                  end
19    
# Line 24  feature -- Properties Line 24  feature -- Properties
24          actual_type: TYPE_A          actual_type: TYPE_A
25                          -- Actual type of the anchored type in a given class                          -- Actual type of the anchored type in a given class
26                                                    
         reference_actual_type: TYPE_A is  
                         -- `actual_type' if not `is_expanded'.  
                         -- Otherwise associated reference of `actual type'  
                 do  
                         Result := actual_type.reference_actual_type  
                 end  
   
27          is_like: BOOLEAN is True          is_like: BOOLEAN is True
28                          -- Is the type anchored one ?                          -- Is the type anchored one ?
29    

Legend:
Removed from v.42626  
changed lines
  Added in v.44434

  ViewVC Help
Powered by ViewVC 1.1.23