/[eiffelstudio]/FreeELKS/trunk/library/kernel/natural_64.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/kernel/natural_64.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (show annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years ago) by ericb
File size: 4052 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2 description: "Unsigned integer values coded on 64 bits"
3 external_name: "System.UInt64"
4 assembly: "mscorlib"
5 library: "Free implementation of ELKS library"
6 copyright: "Copyright (c) 1986-2005, Eiffel Software and others"
7 license: "Eiffel Forum License v2 (see forum.txt)"
8 date: "$Date$"
9 revision: "$Revision$"
10
11 frozen expanded class NATURAL_64
12
13 inherit
14 NATURAL_64_REF
15 redefine
16 infix "<",
17 infix "+",
18 infix "-",
19 infix "*",
20 infix "/",
21 prefix "+",
22 infix "//",
23 infix "\\",
24 infix "^",
25 as_natural_8,
26 as_natural_16,
27 as_natural_32,
28 as_natural_64,
29 as_integer_8,
30 as_integer_16,
31 as_integer_32,
32 as_integer_64,
33 to_real_32,
34 to_real_64,
35 to_character_8,
36 to_character_32,
37 bit_and,
38 bit_or,
39 bit_xor,
40 bit_not,
41 bit_shift_left,
42 bit_shift_right
43 end
44
45 create
46 default_create,
47 make_from_reference
48
49 convert
50 make_from_reference ({NATURAL_64_REF}),
51 to_real_32: {REAL},
52 to_real_64: {DOUBLE}
53
54 feature -- Comparison
55
56 infix "<" (other: like Current): BOOLEAN is
57 -- Is current integer less than `other'?
58 external
59 "built_in"
60 end
61
62 feature -- Basic operations
63
64 infix "+" (other: like Current): like Current is
65 -- Sum with `other'
66 external
67 "built_in"
68 end
69
70 infix "-" (other: like Current): like Current is
71 -- Result of subtracting `other'
72 external
73 "built_in"
74 end
75
76 infix "*" (other: like Current): like Current is
77 -- Product by `other'
78 external
79 "built_in"
80 end
81
82 infix "/" (other: like Current): DOUBLE is
83 -- Division by `other'
84 external
85 "built_in"
86 end
87
88 prefix "+": like Current is
89 -- Unary plus
90 external
91 "built_in"
92 end
93
94 infix "//" (other: like Current): like Current is
95 -- Integer division of Current by `other'
96 external
97 "built_in"
98 end
99
100 infix "\\" (other: like Current): like Current is
101 -- Remainder of the integer division of Current by `other'
102 external
103 "built_in"
104 end
105
106 infix "^" (other: DOUBLE): DOUBLE is
107 -- Integer power of Current by `other'
108 external
109 "built_in"
110 end
111
112 feature -- Conversion
113
114 as_natural_8: NATURAL_8 is
115 -- Convert `item' into an NATURAL_8 value.
116 external
117 "built_in"
118 end
119
120 as_natural_16: NATURAL_16 is
121 -- Convert `item' into an NATURAL_16 value.
122 external
123 "built_in"
124 end
125
126 as_natural_32: NATURAL_32 is
127 -- Convert `item' into an NATURAL_32 value.
128 external
129 "built_in"
130 end
131
132 as_natural_64: NATURAL_64 is
133 -- Convert `item' into an NATURAL_64 value.
134 external
135 "built_in"
136 end
137
138 as_integer_8: INTEGER_8 is
139 -- Convert `item' into an INTEGER_8 value.
140 external
141 "built_in"
142 end
143
144 as_integer_16: INTEGER_16 is
145 -- Convert `item' into an INTEGER_16 value.
146 external
147 "built_in"
148 end
149
150 as_integer_32: INTEGER is
151 -- Convert `item' into an INTEGER_32 value.
152 external
153 "built_in"
154 end
155
156 as_integer_64: INTEGER_64 is
157 -- Convert `item' into an INTEGER_64 value.
158 external
159 "built_in"
160 end
161
162 to_real_32: REAL is
163 -- Convert `item' into a REAL
164 external
165 "built_in"
166 end
167
168 to_real_64: DOUBLE is
169 -- Convert `item' into a DOUBLE
170 external
171 "built_in"
172 end
173
174 to_character_8: CHARACTER_8 is
175 -- Associated character in 8 bit version.
176 external
177 "built_in"
178 end
179
180 to_character_32: CHARACTER_32 is
181 -- Associated character in 32 bit version.
182 external
183 "built_in"
184 end
185
186 feature -- Bit operations
187
188 bit_and (i: like Current): like Current is
189 -- Bitwise and between Current' and `i'.
190 external
191 "built_in"
192 end
193
194 bit_or (i: like Current): like Current is
195 -- Bitwise or between Current' and `i'.
196 external
197 "built_in"
198 end
199
200 bit_xor (i: like Current): like Current is
201 -- Bitwise xor between Current' and `i'.
202 external
203 "built_in"
204 end
205
206 bit_not: like Current is
207 -- One's complement of Current.
208 external
209 "built_in"
210 end
211
212 bit_shift_left (n: INTEGER): like Current is
213 -- Shift Current from `n' position to left.
214 external
215 "built_in"
216 end
217
218 bit_shift_right (n: INTEGER): like Current is
219 -- Shift Current from `n' position to right.
220 external
221 "built_in"
222 end
223
224 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23