INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Ancestor to all Windows objects and structures. ", "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
deferred class WEL_ANY
inherit

ANY
end

MEMORY
export
{NONE}
all
redefine
dispose
end
feature -- Access

item: POINTER
feature -- Status report

shared: BOOLEAN

exists: BOOLEAN
-- Does the `item' exist?
ensure
Result = (item /= default_pointer)
feature -- Element change

set_item (an_item: POINTER)
-- Set `item' with `an_item'
ensure
item_set: item = an_item
feature -- Status setting

set_shared
-- Set `shared' to True.
ensure
shared: shared

set_unshared
-- Set `shared' to False.
ensure
unshared: not shared
feature -- Conversion

to_integer: INTEGER
-- Converts `item' to an integer.
ensure
Result = cwel_pointer_to_integer (item)
end -- class WEL_ANY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES