Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

xml.event

Class XM_OUTPUT


Direct ancestors

KL_SHARED_STANDARD_FILES, KL_IMPORTED_STRING_ROUTINES

Known direct descendants

XM_PRETTY_PRINT_FILTER, XM_DTD_PRETTY_PRINT_FILTER

Features

Invariants

indexing

description

Output facility switchable between in-memory string and standard output

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/06/04 22:34:27 $

revision

$Revision: 1.17 $

class

XM_OUTPUT

feature -- Output

last_output: STRING

-- Last output;
-- May be void if standard output or stream is used.

set_output_standard

-- Set output to standard output (Default).

set_output_standard_error

-- Set output to standard error.

set_output_stream (a_stream: like output_stream)

-- Set output to stream.

require
a_stream_not_void: a_stream /= Void
set_output_string (a_string: like last_output)

-- Initialize output to given string,
-- the result must still be collected from
-- last_output, which may be another string.

require
a_string_not_void: a_string /= Void
set_output_to_string

-- Set output to new string.

ensure
last_output_not_void: last_output /= Void
last_output_empty: last_output.count = 0

feature -- Output, interface to descendants

output (a_string: STRING)

-- Output string.
-- All output from descendants should go through this for
-- convenient redefinition.

require
a_string_not_void: a_string /= Void

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end