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

kernel.io

Class KL_SHARED_STREAMS


Known direct descendants

UT_ERROR_HANDLER, ST_FORMATTER, ET_C_GENERATOR, ET_AST_PRINTER, XM_FORMATTER

Features

Invariants

indexing

description

Shared input and output streams

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 12:49:51 $

revision

$Revision: 1.5 $

class

KL_SHARED_STREAMS

feature -- Access

null_output_stream: KL_NULL_TEXT_OUTPUT_STREAM

-- Null output stream

ensure
null_output_stream_not_void: Result /= Void

invariant

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

end