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

kernel.spec.ise

Class KL_OUTPUT_STREAM_ROUTINES


Direct ancestors

KL_IMPORTED_OUTPUT_STREAM_ROUTINES, KL_IMPORTED_ANY_ROUTINES

Features

Invariants

indexing

description

Routines that ought to be in class OUTPUT_STREAM

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/02/07 16:21:59 $

revision

$Revision: 1.6 $

class

KL_OUTPUT_STREAM_ROUTINES

obsolete

[020502] Use descendants of KI_OUTPUT_STREAM instead.

inherit

KL_IMPORTED_OUTPUT_STREAM_ROUTINES
KL_IMPORTED_ANY_ROUTINES

feature -- Initialization

make_file_open_write (a_filename: STRING): like OUTPUT_STREAM_TYPE

-- Create a new file object with a_filename as
-- file name and try to open it in write-only mode.
-- is_open_write (Result) is set to True
-- if operation was successful.

require
a_filename_not_void: a_filename /= Void
a_filename_is_string: ANY_.same_types (a_filename,
)
a_filename_not_empty: a_filename.count > 0
ensure
file_not_void: Result /= Void

feature -- Access

any_: KL_ANY_ROUTINES

-- Routines that ought to be in class ANY

-- (From KL_IMPORTED_ANY_ROUTINES)

ensure
any_routines_not_void: Result /= Void
output_stream_: KL_OUTPUT_STREAM_ROUTINES

-- Routines that ought to be in class OUTPUT_STREAM

-- (From KL_IMPORTED_OUTPUT_STREAM_ROUTINES)

ensure
output_stream_routines_not_void: Result /= Void

feature -- Status report

is_closed (a_stream: like OUTPUT_STREAM_TYPE): BOOLEAN

-- Is a_stream closed?

require
a_stream_void: a_stream /= Void
is_open_write (a_stream: like OUTPUT_STREAM_TYPE): BOOLEAN

-- Is a_stream open in write mode?

require
a_stream_void: a_stream /= Void

feature -- Status setting

close (a_stream: like OUTPUT_STREAM_TYPE)

-- Close a_stream if it is closable,
-- let it open otherwise.

require
a_stream_not_void: a_stream /= Void
not_closed: not is_closed (a_stream)

feature -- Element change

flush (a_stream: like OUTPUT_STREAM_TYPE)

-- Flush data of a_stream to disk.

require
a_stream_not_void: a_stream /= Void
not_closed: not is_closed (a_stream)

feature -- Type anchors

invariant


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

end