Class KL_IMPORTED_ARRAY_ROUTINES

Known direct descendants

AP_PARSER, UT_ERROR, KL_PATHNAME, KL_DIRECTORY, 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_UNIVERSE, ET_CLUSTER, ET_CLUSTERS, ET_FEATURE_IDS, ET_XACE_ISE_GENERATOR, ET_XACE_VE41_GENERATOR, UT_TEMPLATE_EXPANDER, XM_XPATH_COMPUTED_EXPRESSION, XM_XPATH_STATIC_PROPERTY, XM_XPATH_TINY_BUILDER, XM_XSLT_COMPILED_ANALYZE_STRING, XM_XSLT_COMPLEX_CONTENT_OUTPUTTER, XM_XPATH_TINY_FOREST

Features

Access

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)

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)

Documentation generated by edoc