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

kernel.spec.ise

Class KL_IMPORTED_FIXED_ARRAY_ROUTINES



Features

Invariants

indexing

description

Imported routines that ought to be in class FIXED_ARRAY. %
%A fixed array is a zero-based indexed sequence of values, %
%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/12/22 22:44:12 $

revision

$Revision: 1.4 $

class

KL_IMPORTED_FIXED_ARRAY_ROUTINES

obsolete

[041219] Use SPECIAL and KL_SPECIAL_ROUTINES instead.

feature -- Access

fixed_any_array_: KL_FIXED_ARRAY_ROUTINES [ANY]

-- Routines that ought to be in class FIXED_ARRAY

ensure
fixed_any_array_routines_not_void: Result /= Void
fixed_boolean_array_: KL_FIXED_ARRAY_ROUTINES [BOOLEAN]

-- Routines that ought to be in class FIXED_ARRAY

ensure
fixed_boolean_array_routines_not_void: Result /= Void
fixed_character_array_: KL_FIXED_ARRAY_ROUTINES [CHARACTER]

-- Routines that ought to be in class FIXED_ARRAY

ensure
fixed_character_array_routines_not_void: Result /= Void
fixed_integer_array_: KL_FIXED_ARRAY_ROUTINES [INTEGER]

-- Routines that ought to be in class FIXED_ARRAY

ensure
fixed_integer_array_routines_not_void: Result /= Void
fixed_string_array_: KL_FIXED_ARRAY_ROUTINES [STRING]

-- Routines that ought to be in class FIXED_ARRAY

ensure
fixed_string_array_routines_not_void: Result /= Void

feature -- Type anchors

fixed_any_array_type: SPECIAL [ANY]
fixed_boolean_array_type: SPECIAL [BOOLEAN]
fixed_character_array_type: SPECIAL [CHARACTER]
fixed_integer_array_type: SPECIAL [INTEGER]
fixed_string_array_type: SPECIAL [STRING]

invariant

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

end