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

kernel.spec.ise

Class KL_IMPORTED_NATIVE_ARRAY_TYPE


Known direct descendants

KL_NATIVE_ARRAY_ROUTINES

Features

Invariants

indexing

description

Imported type anchor for NATIVE_ARRAY [G]. %
%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.3 $

class

KL_IMPORTED_NATIVE_ARRAY_TYPE [G]

obsolete

[041219] Use SPECIAL and KL_SPECIAL_ROUTINES instead.

feature -- Type anchors

native_array_type: SPECIAL [G]

invariant

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

end