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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 41732 - (show annotations)
Fri Mar 5 17:59:47 2004 UTC (15 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/real_a.e
File size: 894 byte(s)
Removed redefinition of `internal_conform_to', we now use the definition
  from CL_TYPE_A.
Ensured that all basic types have their `class_id' attribute properly defined
  as per the new CL_TYPE_A invariant.
Removed `heaviest' since we are now relying on the conversion mechanism and
  not on the balancing rules.

1 indexing
2
3 description:
4 "Actual type for real type."
5 date: "$Date$"
6 revision: "$Revision $"
7
8 class REAL_A
9
10 inherit
11 BASIC_A
12 redefine
13 is_real, associated_class, same_as, is_numeric,
14 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
27
28 feature -- Property
29
30 is_real: BOOLEAN is True
31 -- Is the current type a real type ?
32
33 associated_class: CLASS_C is
34 -- Class REAL
35 once
36 Result := System.real_class.compiled_class
37 end
38
39 feature {COMPILER_EXPORTER}
40
41 is_numeric: BOOLEAN is True
42 -- Is the current type a numeric type ?
43
44 type_i: FLOAT_I is
45 -- C type
46 do
47 Result := float_c_type
48 end
49
50 same_as (other: TYPE_A): BOOLEAN is
51 -- Is the current type the same as `other' ?
52 do
53 Result := other.is_real
54 end
55
56 end -- class REAL_A

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23