INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "A low-level string class. ", "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-2001 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_STRING
inherit

WEL_STRUCTURE
rename
make as structure_make
end
creation

make,
make_empty
feature {NONE}-- Initialization

make (a_string: STRING)
-- Make a C string from `a_string'.
require
a_string_not_void: a_string /= void
ensure
capacity_set: capacity = a_string.count + 1

make_empty (a_length: INTEGER)
-- Make an empty C string of `a_length' characters.
require
positive_length: a_length >= 0
ensure
capacity_set: capacity = a_length + 1
feature -- Access

w_string: STRING
-- Eiffel string
ensure
result_not_void: Result /= void

capacity: INTEGER
feature -- Element change

set_string (a_string: STRING)
-- Set `string' with `a_string'.
require
a_string_not_void: a_string /= void
count_ok: a_string.count < capacity
ensure
string_set: a_string.is_equal (a_string)
feature -- Measurement

structure_size: INTEGER
-- String length
invariant

capacity_ok: w_string.count < capacity
end -- class WEL_STRING

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES