/[eiffelstudio]/trunk/Src/bench/Eiffel/API/evaluated_type/boolean_a.e
ViewVC logotype

Diff of /trunk/Src/bench/Eiffel/API/evaluated_type/boolean_a.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3179 by dinov, Mon Oct 30 11:24:52 1995 UTC revision 3180 by dinov, Tue Nov 21 16:40:14 1995 UTC
# Line 19  inherit Line 19  inherit
19                          internal_conform_to                          internal_conform_to
20                  end                  end
21    
22  feature -- Access  feature -- Property
23    
24          is_boolean: BOOLEAN is          is_boolean: BOOLEAN is
25                          -- Is the current type a boolean type ?                          -- Is the current type a boolean type ?
# Line 27  feature -- Access Line 27  feature -- Access
27                          Result := True;                          Result := True;
28                  end;                  end;
29    
30    feature -- Access
31    
32            same_as (other: TYPE_A): BOOLEAN is
33                            -- Is the current type the same as `other' ?
34                    do
35                            Result := other.is_boolean;
36                    end;
37    
38          associated_eclass: E_CLASS is          associated_eclass: E_CLASS is
39                          -- Associated eiffel class                          -- Associated eiffel class
40                  once                  once
41                          Result := associated_class.e_class;                          Result := Eiffel_system.boolean_class.compiled_eclass;
                                 --- **** TO BE FIXED System should not  
                                 -- have COMPILED class but E_CLASS  
42                  end;                  end;
43    
44  feature  feature {COMPILER_EXPORTER}
45    
46          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
47                          -- Does `other' conform to Current ?                          -- Does `other' conform to Current ?
# Line 61  feature Line 67  feature
67                          Result := System.boolean_class.compiled_class;                          Result := System.boolean_class.compiled_class;
68                  end;                  end;
69    
         same_as (other: TYPE_A): BOOLEAN is  
                         -- Is the current type the same as `other' ?  
                 do  
                         Result := other.is_boolean;  
                 end;  
   
70  end  end

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

  ViewVC Help
Powered by ViewVC 1.1.23