/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/real_a.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/real_a.e

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

revision 37662 by julieng, Tue Jun 10 23:37:06 2003 UTC revision 41732 by manus, Fri Mar 5 17:59:47 2004 UTC
# Line 10  class REAL_A Line 10  class REAL_A
10  inherit  inherit
11          BASIC_A          BASIC_A
12                  redefine                  redefine
13                          is_real, associated_class, same_as, is_numeric, heaviest,                          is_real, associated_class, same_as, is_numeric,
14                          internal_conform_to                          default_create
15                    end
16    
17    create
18            default_create
19    
20    feature {NONE} -- Initialization
21    
22            default_create is
23                            -- Initialize new instance of REAL_A.
24                    do
25                            make (associated_class.class_id)
26                  end                  end
27    
28  feature -- Property  feature -- Property
# Line 27  feature -- Property Line 38  feature -- Property
38    
39  feature {COMPILER_EXPORTER}  feature {COMPILER_EXPORTER}
40    
         internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is  
                         -- Does `other' conform to Current ?  
                 do  
                         if in_generics then  
                                 Result := other.is_real  
                         else  
                                 Result :=       precursor {BASIC_A} (other, False)  
                                                         or else  
                                                         other.actual_type.is_double  
                         end  
                 end  
   
41          is_numeric: BOOLEAN is True          is_numeric: BOOLEAN is True
42                          -- Is the current type a numeric type ?                          -- Is the current type a numeric type ?
43    
         heaviest (t: TYPE_A): TYPE_A is  
                         -- Heaviest numeric type for balancing rule.  
                 do  
                         if t.is_double then  
                                 Result := t  
                         else  
                                 Result := Current  
                         end  
                 end  
   
44          type_i: FLOAT_I is          type_i: FLOAT_I is
45                          -- C type                          -- C type
46                  do                  do
47                          create Result                          Result := float_c_type
48                  end                  end
49    
50          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is

Legend:
Removed from v.37662  
changed lines
  Added in v.41732

  ViewVC Help
Powered by ViewVC 1.1.23