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

kernel.spec.ise

Class KL_IMPORTED_INPUT_STREAM_ROUTINES


Known direct descendants

KL_STRING_BUFFER_ROUTINES, KL_INPUT_STREAM_ROUTINES

Features

Invariants

indexing

description

Imported routines that ought to be in class INPUT_STREAM

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/09/24 07:21:48 $

revision

$Revision: 1.4 $

class

KL_IMPORTED_INPUT_STREAM_ROUTINES

obsolete

[020502] Use descendants of KI_INPUT_STREAM instead.

feature -- Access

input_stream_: KL_INPUT_STREAM_ROUTINES

-- Routines that ought to be in class INPUT_STREAM

ensure
input_stream_routines_not_void: Result /= Void

feature -- Type anchors

input_stream_type: IO_MEDIUM

invariant

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

end