INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES