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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (hide annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years, 1 month ago) by ericb
File size: 4052 byte(s)
Synchronized with ISE 6.0.65740
1 ericb 91447 indexing
2     description: "Unsigned integer values coded on 64 bits"
3 ericb 91477 external_name: "System.UInt64"
4     assembly: "mscorlib"
5 ericb 91447 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 ericb 91477 frozen expanded class NATURAL_64
12 ericb 91447
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 ericb 91477 to_character_8,
36     to_character_32,
37 ericb 91447 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 ericb 91477 to_character_8: CHARACTER_8 is
175     -- Associated character in 8 bit version.
176 ericb 91447 external
177     "built_in"
178     end
179    
180 ericb 91477 to_character_32: CHARACTER_32 is
181     -- Associated character in 32 bit version.
182     external
183     "built_in"
184     end
185    
186 ericb 91447 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