INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES