/[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 3375 by dinov, Mon Dec 4 11:38:01 1995 UTC revision 9656 by manus, Sun Mar 15 02:19:40 1998 UTC
# Line 1  Line 1 
1  indexing  indexing
2    
3          description:          description:
4                  "Actual type for real type.";                  "Actual type for real type."
5          date: "$Date$";          date: "$Date$"
6          revision: "$Revision $"          revision: "$Revision $"
7    
8  class REAL_A  class REAL_A
9    
10  inherit  inherit
   
         BASIC_A  
                 rename  
                         internal_conform_to as old_conform_to  
                 redefine  
                         is_real, associated_class, same_as, is_numeric, heaviest,  
                         associated_eclass  
                 end;  
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, heaviest,
14                          internal_conform_to, associated_eclass                          internal_conform_to, associated_eclass
                 select  
                         internal_conform_to  
15                  end                  end
16    
17  feature -- Property  feature -- Property
18    
19          is_real: BOOLEAN is          is_real: BOOLEAN is True
20                          -- Is the current type a real type ?                          -- Is the current type a real type ?
                 do  
                         Result := True;  
                 end;  
21    
22  feature -- Access  feature -- Access
23    
24          associated_eclass: E_CLASS is          associated_eclass: E_CLASS is
25                          -- Associated eiffel class                          -- Associated eiffel class
26                  once                  once
27                          Result := System.real_class.compiled_eclass;                          Result := System.real_class.compiled_eclass
28                  end;                  end
29    
30  feature {COMPILER_EXPORTER}  feature {COMPILER_EXPORTER}
31    
# Line 46  feature {COMPILER_EXPORTER} Line 33  feature {COMPILER_EXPORTER}
33                          -- Does `other' conform to Current ?                          -- Does `other' conform to Current ?
34                  do                  do
35                          if in_generics then                          if in_generics then
36                                  Result := other.is_real;                                  Result := other.is_real
37                          else                          else
38                                  Result :=       old_conform_to (other, False)                                  Result :=       {BASIC_A} precursor (other, False)
39                                                          or else                                                          or else
40                                                          other.actual_type.is_double                                                          other.actual_type.is_double
41                          end;                          end
42                  end;                  end
43    
44          is_numeric: BOOLEAN is          is_numeric: BOOLEAN is True
45                          -- Is the current type a numeric type ?                          -- Is the current type a numeric type ?
                 do  
                         Result := True;  
                 end;  
46    
47          heaviest (type: TYPE_A): TYPE_A is          heaviest (type: TYPE_A): TYPE_A is
48                          -- Heaviest numeric type for balancing rule                          -- Heaviest numeric type for balancing rule
# Line 67  feature {COMPILER_EXPORTER} Line 51  feature {COMPILER_EXPORTER}
51                                  Result := type                                  Result := type
52                          else                          else
53                                  Result := Current                                  Result := Current
54                          end;                          end
55                  end;                  end
56    
57          type_i: FLOAT_I is          type_i: FLOAT_I is
58                          -- C type                          -- C type
59                  once                  once
60                          Result := Float_c_type;                          Result := Float_c_type
61                  end;                  end
62    
63          associated_class: CLASS_C is          associated_class: CLASS_C is
64                          -- Class REAL                          -- Class REAL
65                  require else                  require else
66                          real_class_compiled: System.real_class.compiled                          real_class_compiled: System.real_class.compiled
67                  once                  once
68                          Result := System.real_class.compiled_class;                          Result := System.real_class.compiled_class
69                  end;                  end
70    
71          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
72                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
73                  do                  do
74                          Result := other.is_real;                          Result := other.is_real
75                  end;                  end
76    
77  end -- class REAL_A  end -- class REAL_A

Legend:
Removed from v.3375  
changed lines
  Added in v.9656

  ViewVC Help
Powered by ViewVC 1.1.23