- indexing
- title: "2-byte unsigned integer values"
- project: "Visual Eiffel run-time system"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
class RTS_UINTEGER_2
- feature -- Access
-
byte0: CHARACTER
-
byte1: CHARACTER
-
item: RTS_UINTEGER_2
-
-
-- The value
- feature -- Modification
-
set_item (other: RTS_UINTEGER_2)
-
- ensure
-
item_set:
item = other
-
set_byte0 (v: CHARACTER)
-
-
-- Set `byte0' to `v'
-
- ensure
-
byte0_set:
byte0 = v
-
set_byte1 (v: CHARACTER)
-
-
-- Set `byte1' to `v'
-
- ensure
-
byte1_set:
byte1 = v
-
from_integer (v: INTEGER)
-
-
-- Set the value to `v'
-
- require
-
non_negative:
v >= 0
-
not_too_large:
v <= 65535
-
- ensure
-
value_set:
to_integer = v
- feature -- Conversion
-
to_integer: INTEGER
-
- ensure
-
non_negative_result:
Result >= 0
-
not_too_large_result:
Result <= 65535
end -- class RTS_UINTEGER_2