INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Windows INI file section"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: ini
class INI_SECTION
inherit

INI_CONTAINER
rename
data as keys,
item_from_buffer as key,
data_from_buffer as array_from_buffer
redefine
out
end
creation

make
feature {NONE}-- Creation

make (section_name: STRING; ini_file: like file)
-- Bind section 'section_name' to the 'ini_file'
require
non_void_section_name: section_name /= void
not_empty_section_name: not section_name.is_empty
non_void_ini_file: ini_file /= void
ensure
name_set: equal (name, section_name)
name_not_aliased: name /= section_name
feature -- Access

key (key_name: STRING): INI_KEY
feature -- Status

file: INI_FILE
feature -- Removal

remove: BOOLEAN
-- Removes the section from the file
feature -- Output

out: STRING
-- Section name in the format "[name]"
invariant

non_void_file: file /= void
end -- class INI_SECTION

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES