- indexing
- title: "Extended output"
- project: "Visual Eiffel Library"
- revision: "$Revision: 1.2 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: gmsgs
class PROJECT_OUTPUT
- creation
- make
- feature
-
make (fname: STRING; device: CHARACTER)
-
- require
-
valid_device:
(device = 's') or (device = 'f') or (device = 'b') or (device = 'n')
-
not_void_file_name:
(device = 'f' or device = 'b') implies (fname /= void)
-
close
-
put (obj: ANY)
-
put_character (c: CHARACTER)
-
put_integer (i: INTEGER)
-
put_real (r: REAL)
-
put_double (d: DOUBLE)
-
put_char (c: CHARACTER)
- obsolete "Use 'put_character' instead"
-
put_int (i: INTEGER)
- obsolete "Use 'put_integer' instead"
-
put_string (s: STRING)
-
to_string (obj: ANY): STRING
-
xput (arr: ARRAY [ANY])
-
putln (obj: ANY)
-
xputln (arr: ARRAY [ANY])
-
reset_line
-
put_newline
-
last_char: CHARACTER
-
get_char
-
is_to_screen: BOOLEAN
-
is_to_file: BOOLEAN
-
set_separator (s: STRING)
-
- require
-
s /= void
- feature
-
screen: CHARACTER
-
file: CHARACTER
-
both: CHARACTER
-
null: CHARACTER
-
separator: STRING
-
default_separator: STRING
end -- class PROJECT_OUTPUT