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

kernel.basic

Class KL_IMPORTED_SPECIAL_ROUTINES


Known direct descendants

YY_PARSER_SKELETON, YY_SCANNER_SKELETON, RX_BYTE_CODE, RX_CASE_MAPPING, RX_CHARACTER_SET, RX_PCRE_MATCHER, DS_ARRAYED_SPARSE_SET, DS_MULTIARRAYED_SPARSE_SET, DS_ARRAYED_SPARSE_TABLE, DS_MULTIARRAYED_SPARSE_TABLE, ET_CLIENTS_LIST

Features

Invariants

indexing

description

Imported routines that ought to be in class SPECIAL. %
%A special object is a zero-based indexed sequence of values, %
%equipped with features put, item and count.

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/04/06 17:45:52 $

revision

$Revision: 1.1 $

class

KL_IMPORTED_SPECIAL_ROUTINES

feature -- Access

special_any_: KL_SPECIAL_ROUTINES [ANY]

-- Routines that ought to be in class SPECIAL

ensure
special_any_routines_not_void: Result /= Void
special_boolean_: KL_SPECIAL_ROUTINES [BOOLEAN]

-- Routines that ought to be in class SPECIAL

ensure
special_boolean_routines_not_void: Result /= Void
special_character_: KL_SPECIAL_ROUTINES [CHARACTER]

-- Routines that ought to be in class SPECIAL

ensure
special_character_routines_not_void: Result /= Void
special_integer_: KL_SPECIAL_ROUTINES [INTEGER]

-- Routines that ought to be in class SPECIAL

ensure
special_integer_routines_not_void: Result /= Void
special_string_: KL_SPECIAL_ROUTINES [STRING]

-- Routines that ought to be in class SPECIAL

ensure
special_string_routines_not_void: Result /= Void

invariant

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

end