INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Container of INI objects"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: ini
deferred class INI_CONTAINER
inherit

PLATFORM
end

MEMORY
end

WAPI_PROFILE_FUNCTIONS
end
feature -- Status

name: STRING
feature -- Access

data: like data_from_buffer
-- Item(s) of the INI container
ensure
non_void_result: Result /= void
invariant

non_void_name: name /= void
not_empty_name: not name.is_empty
end -- class INI_CONTAINER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES