INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Catalog storage file"
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: dale
class CATALOG_STORAGE_FILE
inherit

FILE
rename
put_string as ptf_put_string,
put_integer as ptf_put_integer
end

DALE_SERVER
undefine
copy
end
creation

make,
make_open_read,
make_open_write
feature -- Constants:

Tag_Null: CHARACTER

Tag_Empty: CHARACTER

Tag_Delim: CHARACTER

Tag_Space: CHARACTER
feature -- Attributes:

put_string (s: STRING)
-- ...
require
valid_string: s /= void implies not s.has (' ')

put_integer (n: INTEGER)
-- ...

get_string: STRING
-- ...

get_integer: INTEGER
-- ...

hide_blanks (s: STRING)
-- hide blanks
require
not_void: s /= void

reveal_blanks (s: STRING)
-- reveal blanks
require
not_void: s /= void
end -- class CATALOG_STORAGE_FILE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES