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

kernel.spec.ise

Class KL_IMPORTED_NATIVE_ARRAY_ROUTINES



Features

Invariants

indexing

description

Imported routines that ought to be in class NATIVE_ARRAY. %
%A native array is a zero-based indexed sequence of values, %
%equipped with features put and item, but the clients %
%have to keep track of count.

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/12/22 22:44:12 $

revision

$Revision: 1.4 $

class

KL_IMPORTED_NATIVE_ARRAY_ROUTINES

obsolete

[041219] Use SPECIAL and KL_SPECIAL_ROUTINES instead.

feature -- Access

native_any_array_: KL_NATIVE_ARRAY_ROUTINES [ANY]

-- Routines that ought to be in class NATIVE_ARRAY

ensure
native_any_array_routines_not_void: Result /= Void
native_boolean_array_: KL_NATIVE_ARRAY_ROUTINES [BOOLEAN]

-- Routines that ought to be in class NATIVE_ARRAY

ensure
native_boolean_array_routines_not_void: Result /= Void
native_character_array_: KL_NATIVE_ARRAY_ROUTINES [CHARACTER]

-- Routines that ought to be in class NATIVE_ARRAY

ensure
native_character_array_routines_not_void: Result /= Void
native_integer_array_: KL_NATIVE_ARRAY_ROUTINES [INTEGER]

-- Routines that ought to be in class NATIVE_ARRAY

ensure
native_integer_array_routines_not_void: Result /= Void
native_string_array_: KL_NATIVE_ARRAY_ROUTINES [STRING]

-- Routines that ought to be in class NATIVE_ARRAY

ensure
native_string_array_routines_not_void: Result /= Void

feature -- Type anchors

native_any_array_type: SPECIAL [ANY]
native_boolean_array_type: SPECIAL [BOOLEAN]
native_character_array_type: SPECIAL [CHARACTER]
native_integer_array_type: SPECIAL [INTEGER]
native_string_array_type: SPECIAL [STRING]

invariant

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

end