- indexing
- title: "Configuration file"
- project: "Visual Eiffel"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: grape
class CONFIG_FILE
- creation
- make
- feature
-
filename: STRING
-
is_opened: BOOLEAN
-
make (fn: STRING)
-
- require
-
valid_file_name:
fn /= void
-
open
-
close
-
get_string (sec, entry, deflt: STRING): STRING
-
- require
-
valid_filename:
filename /= void
-
valid_section:
sec /= void
-
valid_entry:
entry /= void
-
valid_default_value:
deflt /= void
-
- ensure
-
Result /= void
-
put_string (sec, entry, contents: STRING)
-
- require
-
valid_filename:
filename /= void
-
valid_section:
sec /= void
end -- class CONFIG_FILE