Gobo Eiffel Kernel Library
Copyright (c) 2001-2004, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/06/04 20:08:11 $
$Revision: 1.16 $
-- Create empty string, or remove all characters from
-- existing string.
-- (ELKS 2001 STRING)
-- Initialize from the character sequence of s.
-- (ELKS 2001 STRING)
-- Note: Use KL_STRING_ROUTINES.make_from_string instead of this
-- routine when Current can be of dynamic type STRING and s
-- of dynamic type other than STRING such as UC_STRING, because
-- class STRING provided by the Eiffel compilers is not necessarily
-- aware of the implementation of UC_STRING and this may lead to
-- run-time errors or crashes.
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Routines that ought to be in class CHARACTER
-- (From KL_IMPORTED_CHARACTER_ROUTINES)
-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)
-- Routines that ought to be in class STRING
-- (From KL_IMPORTED_STRING_ROUTINES)
-- Index of first occurrence of c at or after start_index;
-- 0 if none
-- (ELKS 2001 STRING)
-- New object which is a clone of Current extended
-- by the characters of other
-- (ELKS 2001 STRING)
-- Note: Use KL_STRING_ROUTINES.concat instead of this routine when
-- Current can be of dynamic type STRING and other of dynamic
-- type other than STRING such as UC_STRING, because class STRING
-- provided by the Eiffel compilers is not necessarily aware of
-- the implementation of UC_STRING and this may lead to run-time
-- errors or crashes.
-- Character at index i
-- (ELKS 2001 STRING)
-- Code of character at index i
-- New STRING having the same character sequence as Current
-- where characters which do not fit in a CHARACTER are
-- replaced by a '%U'
-- (Extended from ELKS 2001 STRING)
-- New object containing all characters from start_index
-- to end_index inclusive
-- (ELKS 2001 STRING)
-- Index of first occurrence of other at or after start_index in
-- a_string; 0 if none. a_string and other are considered with
-- their characters which do not fit in a CHARACTER replaced by a '%U'.
-- (Extended from ELKS 2001 STRING)
-- Note: Use KL_STRING_ROUTINES.substring_index instead of this
-- routine when Current can be of dynamic type STRING and
-- other of dynamic type other than STRING such as UC_STRING, because
-- class STRING provided by the Eiffel compilers is not necessarily
-- aware of the implementation of UC_STRING and this may lead to
-- run-time errors or crashes.
-- Number of characters
-- (ELKS 2001 STRING)
-- Number of times c appears in the string
-- (ELKS 2001 STRING)
-- Note: ELKS 2001 specifies other of type STRING, but this routine
-- is inherited from COMPARABLE with another signature:
-- infix "<" (other: STRING): BOOLEAN is
-- Is string lexicographically lower than other?
-- (Extended from ELKS 2001 STRING)
-- (From KS_COMPARABLE)
-- Is current object less than or equal to other?
-- (ELKS 95 COMPARABLE)
-- (From KS_COMPARABLE)
-- Is current object greater than other?
-- (ELKS 95 COMPARABLE)
-- (From KS_COMPARABLE)
-- Is current object greater than or equal to other?
-- (ELKS 95 COMPARABLE)
-- (From KS_COMPARABLE)
-- Is other attached to an object considered equal
-- to current object?
-- (Extended from ELKS 2001 STRING)
-- (From ANY)
-- The greater of current object and other
-- (ELKS 95 COMPARABLE)
-- (From KS_COMPARABLE)
-- The smaller of current object and other
-- (ELKS 95 COMPARABLE)
-- (From KS_COMPARABLE)
-- Do Current and other have the same character sequence?
-- Current is considered with its characters which do not
-- fit in a CHARACTER replaced by a '%U'.
-- (Extended from ELKS 2001 STRING)
-- Note: Use feature KL_STRING_ROUTINES.elks_same_string instead of
-- this routine when Current can be of dynamic type STRING and
-- other of dynamic type other than STRING such as UC_STRING,
-- because class STRING provided by the Eiffel compilers is
-- not necessarily aware of the implementation of UC_STRING
-- and this may lead to run-time errors or crashes.
-- If current object equal to other, 0; if smaller,
-- -1; if greater, 1.
-- (ELKS 95 COMPARABLE)
-- (From KS_COMPARABLE)
-- Does Current contain other?
-- other and Current are considered with their characters
-- which do not fit in a CHARACTER replaced by a '%U'.
-- (Extented from ELKS 2001 STRING)
-- Note: Use feature KL_STRING_ROUTINES.has_substring instead of
-- this routine when Current can be of dynamic type STRING and
-- other of dynamic type other than STRING such as UC_STRING,
-- because class STRING provided by the Eiffel compilers is
-- not necessarily aware of the implementation of UC_STRING
-- and this may lead to run-time errors or crashes.
-- Is i within the bounds of the string?
-- (ELKS 2001 STRING)
-- Append c at end.
-- (ELKS 2001 STRING)
-- Append a copy of s at end.
-- (ELKS 2001 STRING)
-- Note: Use KL_STRING_ROUTINES.appended_string instead of
-- this routine when Current can be of dynamic type STRING and
-- s of dynamic type other than STRING such as UC_STRING, because
-- class STRING provided by the Eiffel compilers is not necessarily
-- aware of the implementation of UC_STRING and this may lead to
-- run-time errors or crashes.
-- Replace every character with c.
-- (ELKS 2001 STRING)
-- Insert c at index i, shifting characters between
-- ranks i and count rightwards.
-- (ELKS 2001 STRING)
-- Insert s at index i, shifting characters between ranks
-- i and count rightwards.
-- (ELKS 2001 STRING)
-- Note: Use KL_STRING_ROUTINES.appended_string instead of
-- this routine when Current can be of dynamic type STRING and
-- s of dynamic type other than STRING such as UC_STRING, because
-- class STRING provided by the Eiffel compilers is not necessarily
-- aware of the implementation of UC_STRING and this may lead to
-- run-time errors or crashes.
-- Note2: There is a bug in ISE 5.4/5.5 when inserting a string
-- to itself.
-- Replace character at index i by c.
-- (ELKS 2001 STRING)
-- Note: VE 4.1 has 'like Current' in its signature instead
-- of STRING as specified in ELKS 2001:
-- replace_substring (s: STRING; start_index, end_index: INTEGER) is
-- Replace the substring from start_index to end_index,
-- inclusive, with s.
-- (ELKS 2001 STRING)
-- Note: Use KL_STRING_ROUTINES.replaced_substring instead of
-- this routine when Current can be of dynamic type STRING and
-- s of dynamic type other than STRING such as UC_STRING, because
-- class STRING provided by the Eiffel compilers is not necessarily
-- aware of the implementation of UC_STRING and this may lead to
-- run-time errors or crashes.
-- Remove i-th character, shifting characters between
-- ranks i + 1 and count leftwards.
-- (ELKS 2001 STRING)
-- Remove all characters from start_index
-- to end_index inclusive.
-- (ELKS 2001 STRING)
-- New object with all letters in lower case
-- (Extended from ELKS 2001 STRING)
-- New object with all letters in upper case
-- (Extended from ELKS 2001 STRING)
-- Convert all letters to lower case.
-- (ELKS 2001 STRING)
-- Convert all letters to upper case.
-- (ELKS 2001 STRING)
-- New STRING containing terse printable representation
-- of current object
-- (ELKS 2001 STRING)
-- (From ANY)
-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)
[040101] Use Platform instead.
-- Current any
Portable interface for class STRING