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

kernel.basic

Class KL_IMPORTED_ARRAY_ROUTINES


Known direct descendants

KL_DIRECTORY, KL_PATHNAME, UT_ERROR, LX_TABLES, YY_SCANNER_SKELETON, MA_DECIMAL_CONTEXT_CONSTANTS, MA_DECIMAL_CONTEXT, PR_PARSER_GENERATOR, ST_FORMATTER, DS_MULTIARRAYED_SPARSE_SET, DS_MULTIARRAYED_SPARSE_TABLE, ET_CLUSTER, ET_UNIVERSE, ET_CLUSTERS, ET_FEATURE_IDS, ET_XACE_ISE_GENERATOR, ET_XACE_VE41_GENERATOR, UT_TEMPLATE_EXPANDER, XM_XPATH_COMPUTED_EXPRESSION, XM_XSLT_COMPLEX_CONTENT_OUTPUTTER, XM_XSLT_COMPILED_ANALYZE_STRING, XM_XPATH_STATIC_PROPERTY, XM_XPATH_TINY_BUILDER, XM_XPATH_TINY_FOREST

Features

Invariants

indexing

description

Imported routines that ought to be in class ARRAY

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/06/04 20:04:51 $

revision

$Revision: 1.5 $

class

KL_IMPORTED_ARRAY_ROUTINES

feature -- Access

any_array_: KL_ARRAY_ROUTINES [ANY]

-- Routines that ought to be in class ARRAY

ensure
any_array_routines_not_void: Result /= Void
array_special_integer_: KL_ARRAY_ROUTINES [SPECIAL [INTEGER]]

-- Routines that ought to be in class ARRAY

ensure
special_integer_array_routines_not_void: Result /= Void
boolean_array_: KL_ARRAY_ROUTINES [BOOLEAN]

-- Routines that ought to be in class ARRAY

ensure
boolean_array_routines_not_void: Result /= Void
integer_array_: KL_ARRAY_ROUTINES [INTEGER]

-- Routines that ought to be in class ARRAY

ensure
integer_array_routines_not_void: Result /= Void
string_array_: KL_ARRAY_ROUTINES [STRING]

-- Routines that ought to be in class ARRAY

ensure
string_array_routines_not_void: Result /= Void

invariant

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

end