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

kernel.basic

Class KL_IMPORTED_STRING_BUFFER_ROUTINES


Known direct descendants

KL_STRING_BUFFER_ROUTINES

Features

Invariants

indexing

description

Imported routines that ought to be in class STRING_BUFFER. %
%A string buffer is a sequence of characters equipped with %
%features put, item and count.

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/10/08 14:13:17 $

revision

$Revision: 1.1 $

class

KL_IMPORTED_STRING_BUFFER_ROUTINES

obsolete

[020717] Use descendants of KI_CHARACTER_BUFFER instead.

feature -- Access

string_buffer_: KL_STRING_BUFFER_ROUTINES

-- Routines that ought to be in class STRING_BUFFER

ensure
string_buffer_routines_not_void: Result /= Void

feature -- Type anchors

invariant

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

end