INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "XTEXT"
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 XTEXT
creation

make
feature

make (file_name: STRING)
require
non_void_file_name: file_name /= void

close

put_character (ch: CHARACTER)

put_char (ch: CHARACTER)
obsolete "Use 'put_character' instead."

put_newline

put (str: STRING)
require
non_void_string: str /= void
invariant

output /= void
end -- class XTEXT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES