- 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