Writers

Light-weight text output file writers.

		type Writer
	Light-weight text output file writer. File access. Behaviour.

		type Writer_Access
	Type for class-wide instance variables.

Internal initialization and finalization

		procedure Initialize
	Initialize a newly created writer instance.
	Param  Type  Description access This  Writer'Class  Writer instance.

		procedure Initialize
	Initialize a newly created writer instance with a file to write.
	Param  Type  Description access This  Writer'Class  Writer instance. in Filename  String  Open this file for writing.

		procedure Finalize
	Close the output file.
	Param  Type  Description access This  Writer'Class  Object instance.

Creating writers

		function Current_Output
	Create a writer for current output (stdout).
	Param  Type  Description return  Writer_Access  The newly created writer instance.

		function Create
	Create a writer for file output.
	Param  Type  Description in Filename  String  Create this file. return  Writer_Access  The newly created writer instance.

		procedure Close
	Close a writer's output file.
	Param  Type  Description in out This  Writer_Access  Close this writer.

Error handling

		procedure Unknown_Tag_Error
	Writing this tagged object is not implemented. Print an error message and raise Program_Error.
	Param  Type  Description in Context  String  Where the error occurred. in Tag  String  The tag that could not be handled.

Wrappers for file output

		procedure Put
	Output a character to the file.
	Param  Type  Description access This  Writer'Class  Writer instance. in Text  Character  Put this character.

		procedure Put
	Output a string to the file.
	Param  Type  Description access This  Writer'Class  Writer instance. in Text  String  Put this string.

		procedure Put_Line
	Output a string to the file, followed by a newline.
	Param  Type  Description access This  Writer'Class  Writer instance. in Text  String  Put this string plus a newline.

		procedure New_Line
	Output a newline to the file.
	Param  Type  Description access This  Writer'Class  Writer instance.

Writing

		procedure Write_Whitespace
	Write whitespace.
	Param  Type  Description access This  Writer'Class  Writer instance.

		procedure Write_Word
	Write a word.
	Param  Type  Description access This  Writer'Class  Writer instance. in Text  String  Write this word.

		procedure Write_String
	Write a string plus quotes.
	Param  Type  Description access This  Writer'Class  Writer instance. in Text  String  Write this string.