- 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