INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Visual Eiffel Library.", "Data structure that can be adapted to external pointer"
project: "Visual Eiffel Win32 Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: winlib
deferred class WAPI_ADAPTABLE
inherit

MEMORY
end
feature -- Queries

data_size: INTEGER
-- Size of class data
ensure
correct_result: Result >= 0

ptr: POINTER
-- Pointer to class data
ensure
correct_result: Result /= default_pointer
feature -- Operations

adapt (p: POINTER)
-- Copy external data onto `Current'
--
-- USE CAREFULLY!!!
require
correct_p: p /= default_pointer

store (p: POINTER)
-- Copy data from `Current' to `p'
--
-- USE CAREFULLY!!!
require
correct_p: p /= default_pointer
end -- class WAPI_ADAPTABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES