/[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 5774 by ericb, Mon Jan 15 15:32:22 1996 UTC revision 5775 by xavierl, Fri Jun 28 18:56:07 1996 UTC
# Line 13  inherit Line 13  inherit
13                  redefine                  redefine
14                          actual_type, solved_type, has_like, instantiation_in, is_like,                          actual_type, solved_type, has_like, instantiation_in, is_like,
15                          is_basic, instantiated_in, same_as, is_like_current,                          is_basic, instantiated_in, same_as, is_like_current,
16                          meta_type, is_deep_equal, has_associated_class                          meta_type, has_associated_class
17                  end                  end
18    
19  feature -- Properties  feature -- Properties
# Line 59  feature -- Access Line 59  feature -- Access
59                          Result := actual_type.associated_eclass;                          Result := actual_type.associated_eclass;
60                  end;                  end;
61    
62    feature -- Comparison
63    
64            is_equivalent (other: like Current): BOOLEAN is
65                            -- Is `other' equivalent to the current object ?
66                    do
67                            Result := equivalent (actual_type, other.actual_type)
68                    end
69    
70  feature -- Output  feature -- Output
71    
72          dump: STRING is          dump: STRING is
# Line 143  feature {COMPILER_EXPORTER} -- Primitive Line 151  feature {COMPILER_EXPORTER} -- Primitive
151                          Result := actual_type.meta_type                          Result := actual_type.meta_type
152                  end;                  end;
153    
         is_deep_equal (other: TYPE_B): BOOLEAN is  
                 local  
                         like_c: LIKE_CURRENT  
                 do  
                         like_c ?= other;  
                         Result := like_c /= Void and then  
                                 like_c.actual_type.is_deep_equal (actual_type);  
                 end;  
   
154          create_info: CREATE_CURRENT is          create_info: CREATE_CURRENT is
155                          -- Byte code information for entity type creation                          -- Byte code information for entity type creation
156                  once                  once

Legend:
Removed from v.5774  
changed lines
  Added in v.5775

  ViewVC Help
Powered by ViewVC 1.1.23