INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Specifies a range of characters in a rich edit control. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_CHARACTER_RANGE
inherit

WEL_STRUCTURE
rename
make as structure_make
end
creation

make,
make_by_pointer,
make_empty
feature {NONE}-- Initialization

make (a_minimum, a_maximum: INTEGER)
-- Make a char range structure and set `maximum',
-- `minimum', with `a_maximum', `a_minimum'
require
positive_minimum: a_minimum >= 0
valid_range: a_minimum <= a_maximum
ensure
minimum_set: minimum = a_minimum
maximum_set: maximum = a_maximum

make_empty
-- Make an empty character range structure.
ensure
minimum_set: minimum = 0
maximum_set: maximum = 0
feature -- Access

minimum: INTEGER
-- Index of first intercharacter position

maximum: INTEGER
-- Index of last intercharacter position
feature -- Element change

set_range (a_minimum, a_maximum: INTEGER)
-- Set `minimum' with `a_minimum' and
-- `maximum' with `a_maximum'
require
positive_minimum: a_minimum >= 0
valid_range: a_minimum <= a_maximum
ensure
minimum_set: minimum = a_minimum
maximum_set: maximum = a_maximum
feature -- Measurement

structure_size: INTEGER
-- Size to allocate (in bytes)
invariant

positive_minimum: minimum >= 0
valid_minumum_maximum: maximum >= minimum
end -- class WEL_CHARACTER_RANGE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES