/[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 296 by grator, Thu Aug 19 20:09:35 1993 UTC revision 3078 by dinov, Mon Oct 30 11:24:52 1995 UTC
# Line 8  inherit Line 8  inherit
8                  rename                  rename
9                          internal_conform_to as old_conform_to                          internal_conform_to as old_conform_to
10                  redefine                  redefine
11                          is_real, associated_class, same_as, is_numeric, heaviest                          is_real, associated_class, same_as, is_numeric, heaviest,
12                            associated_eclass
13                  end;                  end;
14          BASIC_A          BASIC_A
15                  redefine                  redefine
16                          is_real, associated_class, same_as, is_numeric, heaviest,                          is_real, associated_class, same_as, is_numeric, heaviest,
17                          internal_conform_to                          internal_conform_to, associated_eclass
18                  select                  select
19                          internal_conform_to                          internal_conform_to
20                  end                  end
21    
22    feature -- Property
23    
24            is_real: BOOLEAN is
25                            -- Is the current type a real type ?
26                    do
27                            Result := True;
28                    end;
29    
30            associated_eclass: E_CLASS is
31                            -- Associated eiffel class
32                    once
33                            Result := associated_class.e_class;
34                                    --- **** TO BE FIXED System should not
35                                    -- have COMPILED class but E_CLASS
36                    end;
37    
38  feature  feature
39    
40          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
# Line 37  feature Line 54  feature
54                  do                  do
55                          Result := True;                          Result := True;
56                  end;                  end;
   
         is_real: BOOLEAN is  
                         -- Is the current type a real type ?  
                 do  
                         Result := True;  
                 end;  
57    
58          heaviest (type: TYPE_A): TYPE_A is          heaviest (type: TYPE_A): TYPE_A is
59                          -- Heaviest numeric type for balancing rule                          -- Heaviest numeric type for balancing rule

Legend:
Removed from v.296  
changed lines
  Added in v.3078

  ViewVC Help
Powered by ViewVC 1.1.23