INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Visual Eiffel Library."
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
class WAPI_GET_POINTER
feature

get_ptr (p: POINTER): POINTER
ensure
correct_result: Result = p
end -- class WAPI_GET_POINTER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES