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

kernel.basic

Class KL_IMPORTED_ANY_ROUTINES


Known direct descendants

DS_LINKED_LIST, KL_DIRECTORY, KI_CHARACTER_BUFFER, KL_CHARACTER_BUFFER, KL_ARRAY_ROUTINES, KL_INTEGER_ROUTINES, KL_STRING_BUFFER_ROUTINES, KL_STRING_ROUTINES, KS_STRING, KI_CHARACTER_INPUT_STREAM, KI_PATHNAME, KL_CLONABLE, KL_FILE_SYSTEM, KL_STDIN_FILE, KL_EXECUTION_ENVIRONMENT, UC_UTF16_ROUTINES, UC_UTF8_ROUTINES, UC_UNICODE_FACTORY, KI_FILE_SYSTEM, KL_INPUT_FILE, KL_FILE, KL_INPUT_STREAM_ROUTINES, KL_OUTPUT_STREAM_ROUTINES, KL_SHELL_COMMAND, LX_DFA_STATE, DS_ARRAYED_LIST, LX_NFA, LX_TRANSITION_TABLE, UT_ERROR, DS_ARRAYED_STACK, RX_PATTERN_MATCHER, PR_STATE, PR_FSM, PR_ERROR_ACTION, PR_ACTION, ST_COLLATION_KEY, ST_FORMATTER, ST_FORMATTING_ROUTINES, DS_CURSOR, DS_SEARCHABLE, DS_LINKED_QUEUE, DS_LINKED_STACK, DS_SPARSE_SET, DS_SPARSE_TABLE, ET_IDENTIFIER, TS_ASSERTION_ROUTINES, DT_WEEK_DAY, DT_DATE_DURATION, DT_TIME_DURATION, DT_FIXED_OFFSET_ZONED_DATE, DT_ZONED_DATE_TIME, DT_FIXED_OFFSET_ZONED_TIME, ET_TYPE_CONTEXT, ET_CALL_NAME, ET_EXTENDED_FEATURE_NAME, ET_FEATURE_CALL, ET_STATIC_FEATURE_CALL, ET_FLATTENED_FEATURE, ET_REPLICABLE_FEATURE, ET_FEATURE_IDS, ET_FEATURE_CHECKER, ET_DYNAMIC_TYPE_BUILDER, UT_TEMPLATE_EXPANDER, UT_STRING_FORMATTER, UT_MEDIA_TYPE, XM_EIFFEL_CHARACTER_ENTITY, XM_EIFFEL_INPUT_STREAM, XM_EIFFEL_PARSER_SKELETON, XM_XSLT_PATTERN, XM_XPATH_EXPRESSION, XM_XPATH_ITEM_TYPE, XM_XPATH_SEQUENCE_ITERATOR, XM_XPATH_ITEM, XM_XPATH_EXPRESSION_CONTAINER, XM_XSLT_SORT_KEY_DEFINITION, XM_XSLT_SORT_RECORD, XM_XSLT_EMITTER, XM_XPATH_REPLACE

Features

Invariants

indexing

description

Imported routines that ought to be in class ANY

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2005, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/02/05 14:57:13 $

revision

$Revision: 1.1 $

class

KL_IMPORTED_ANY_ROUTINES

feature -- Access

any_: KL_ANY_ROUTINES

-- Routines that ought to be in class ANY

ensure
any_routines_not_void: Result /= Void

invariant

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

end