/[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 3180 by dinov, Mon Oct 30 11:20:12 1995 UTC revision 3181 by dinov, Tue Nov 21 16:40:33 1995 UTC
# Line 8  inherit Line 8  inherit
8                  redefine                  redefine
9                          actual_type, solved_type, has_like, instantiation_in, is_like,                          actual_type, solved_type, has_like, instantiation_in, is_like,
10                          is_basic, instantiated_in, same_as, is_like_current,                          is_basic, instantiated_in, same_as, is_like_current,
11                          meta_type, is_deep_equal, valid_base_type                          meta_type, is_deep_equal, has_associated_class
12                  end                  end
13    
14  feature -- Property  feature -- Properties
15    
16            actual_type: TYPE_A;
17                            -- Actual type of the type `like Current' in a given class
18    
19          is_like_current: BOOLEAN is          is_like_current: BOOLEAN is
20                          -- Is the current type an anchored type on Current ?                          -- Is the current type an anchored type on Current ?
# Line 25  feature -- Property Line 28  feature -- Property
28                          Result := True;                          Result := True;
29                  end;                  end;
30    
 feature -- Access  
   
31          is_basic: BOOLEAN is          is_basic: BOOLEAN is
32                          -- Is the current actual type a basic one ?                          -- Is the current actual type a basic one ?
33                  do                  do
34                          Result := actual_type.is_basic;                          Result := actual_type.is_basic;
35                  end;                  end;
36    
37      valid_base_type: BOOLEAN is  feature -- Access
38              -- Is the base type valid  
39          do          same_as (other: TYPE_A): BOOLEAN is
40              Result := evaluated_type /= Void                          -- Is the current type the same as `other' ?
41          end;                  do
42                            Result := other.is_like_current
43                    end;
44    
45            has_associated_class: BOOLEAN is
46                            -- Does Current have an associated class?
47                    do
48                            Result := evaluated_type /= Void
49                    end;
50    
51          associated_eclass: E_CLASS is          associated_eclass: E_CLASS is
52                          -- Associated class                          -- Associated class
# Line 58  feature -- Output Line 67  feature -- Output
67                          Result.append (actual_dump);                          Result.append (actual_dump);
68                  end;                  end;
69    
70          append_clickable_signature (a_clickable: CLICK_WINDOW) is          append_to (ow: OUTPUT_WINDOW) is
71                  do                  do
72                          a_clickable.put_string ("(like Current)");                          ow.put_string ("(like Current) ");
73                          actual_type.append_clickable_signature (a_clickable);                          actual_type.append_to (ow);
74                  end;                  end;
75    
76  feature -- Primitives  feature {COMPILER_EXPORTER} -- Primitives
   
         actual_type: TYPE_A;  
                         -- Actual type of the type `like Current' in a given class  
77    
78          set_actual_type (a: TYPE_A) is          set_actual_type (a: TYPE_A) is
79                          -- Assign `a' to `actual_type'.                          -- Assign `a' to `actual_type'.
# Line 120  feature -- Primitives Line 126  feature -- Primitives
126                          Result := True;                          Result := True;
127                  end;                  end;
128    
         same_as (other: TYPE_A): BOOLEAN is  
                         -- Is the current type the same as `other' ?  
                 do  
                         Result := other.is_like_current  
                 end;  
   
129          type_i: TYPE_I is          type_i: TYPE_I is
130                          -- Reduced type of `actual_type'                          -- Reduced type of `actual_type'
131                  do                  do
# Line 155  feature -- Primitives Line 155  feature -- Primitives
155                          !!Result                          !!Result
156                  end;                  end;
157    
158  feature -- Storage information for EiffelCase  feature {COMPILER_EXPORTER} -- Storage information for EiffelCase
159    
160          storage_info_with_name, storage_info (classc: CLASS_C): S_BASIC_TYPE_INFO is          storage_info_with_name, storage_info (classc: CLASS_C): S_BASIC_TYPE_INFO is
161                          -- Storage info for Current type in class `classc'                          -- Storage info for Current type in class `classc'

Legend:
Removed from v.3180  
changed lines
  Added in v.3181

  ViewVC Help
Powered by ViewVC 1.1.23