/[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 58325 by manus, Thu Apr 20 16:05:16 2006 UTC revision 68030 by martins, Mon Apr 30 18:38:45 2007 UTC
# Line 43  feature -- Properties Line 43  feature -- Properties
43                          Result := actual_type.conformance_type                          Result := actual_type.conformance_type
44                  end                  end
45    
46          is_like: BOOLEAN is True          has_associated_class: BOOLEAN is
47                          -- Is the type anchored one ?                          -- Does Current have an associated class?
48                    do
49                            Result := actual_type /= Void and then
50                                    actual_type.has_associated_class
51                    end
52    
53          has_like: BOOLEAN is True          has_like: BOOLEAN is True
54                          -- Does the type have anchored type in its definition ?                          -- Does the type have anchored type in its definition ?
55    
56            is_like: BOOLEAN is True
57                            -- Is the type anchored one ?
58    
59          is_loose: BOOLEAN is True          is_loose: BOOLEAN is True
60                          -- Does type depend on formal generic parameters and/or anchors?                          -- Does type depend on formal generic parameters and/or anchors?
61    
# Line 88  feature -- Properties Line 95  feature -- Properties
95                          Result := actual_type /= Void                          Result := actual_type /= Void
96                  end                  end
97    
 feature -- Access  
   
98          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
99                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
100                  deferred                  deferred
101                  end                  end
102    
103          has_associated_class: BOOLEAN is  feature -- Access
                         -- Does Current have an associated class?  
                 do  
                         Result := actual_type /= Void and then  
                                 actual_type.has_associated_class  
                 end  
104    
105          associated_class: CLASS_C is          associated_class: CLASS_C is
106                          -- Associated class                          -- Associated class

Legend:
Removed from v.58325  
changed lines
  Added in v.68030

  ViewVC Help
Powered by ViewVC 1.1.23