/[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 68029 by martins, Tue Mar 13 01:32:16 2007 UTC revision 68030 by martins, Mon Apr 30 18:38:45 2007 UTC
# Line 33  feature -- Properties Line 33  feature -- Properties
33          conformance_type: TYPE_A          conformance_type: TYPE_A
34                          -- Type of the anchored type as specified in `set_actual_type'                          -- Type of the anchored type as specified in `set_actual_type'
35    
36            has_associated_class: BOOLEAN is
37                            -- Does Current have an associated class?
38                    do
39                            Result :=
40                                    conformance_type /= Void and then
41                                    conformance_type.has_associated_class
42                    end
43    
44          is_like_current: BOOLEAN is True          is_like_current: BOOLEAN is True
45                          -- Is the current type an anchored type on Current ?                          -- Is the current type an anchored type on Current ?
46    
# Line 61  feature -- Properties Line 69  feature -- Properties
69          is_basic: BOOLEAN is False          is_basic: BOOLEAN is False
70                          -- Is the current actual type a basic one?                          -- Is the current actual type a basic one?
71    
 feature -- Access  
   
72          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
73                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
74                  do                  do
75                          Result := other.is_like_current                          Result := other.is_like_current
76                  end                  end
77    
78          has_associated_class: BOOLEAN is  feature -- Access
                         -- Does Current have an associated class?  
                 do  
                         Result :=  
                                 conformance_type /= Void and then  
                                 conformance_type.has_associated_class  
                 end  
79    
80          associated_class: CLASS_C is          associated_class: CLASS_C is
81                          -- Associated class                          -- Associated class

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

  ViewVC Help
Powered by ViewVC 1.1.23