Class UC_STRING

-- Create empty string, or remove all characters from
-- existing string.
-- (Extended from ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Create empty string.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Initialize from the character sequence of a_string.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Initialize from the bytes sequence of s corresponding
-- to the UTF-8 representation of a string.

-- Create string of length n filled with character c.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Create string of length n filled with unicode
-- character of code a_code.

-- Create string of length n filled with unicode character c.

-- Initialize from the character sequence of a_string
-- between start_index and end_index inclusive.

-- Initialize from the bytes sequence of s corresponding
-- to the UTF-16 representation of a string.

-- Object of a type conforming to the type of s,
-- initialized with attributes from s
-- (From STRING_8)

-- Reset contents of string from contents of c_string,
-- a string created by some C function.
-- (From STRING_8)

-- Reset contents of string from substring of c_string,
-- a string created by some C function.
-- (From STRING_8)

-- Initialize from contents of c_string,
-- a string created by some C function
-- (From STRING_8)

-- Initialize Current with a_system_string.
-- (From STRING_8)

-- Allocate space for at least n characters.
-- (From STRING_8)

Use make instead

-- Create empty string, or remove all characters from
-- existing string.
-- (Extended from ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Initialize from the character sequence of a_string.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Routines that ought to be in class STRING_8
-- (From KL_IMPORTED_STRING_ROUTINES)

-- UTF-16 encoding routines
-- (From UC_IMPORTED_UTF16_ROUTINES)

-- Special data zone
-- (From TO_SPECIAL)

-- Routines that ought to be in class CHARACTER_8
-- (From KL_IMPORTED_CHARACTER_ROUTINES)

-- UTF-8 encoding routines
-- (From UC_IMPORTED_UTF8_ROUTINES)

-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)

-- Constant string "false"
-- (From STRING_8)

-- Position of first occurrence of other at or after start
-- with 0..fuzz mismatches between the string and other.
-- 0 if there are no fuzzy matches
-- (From STRING_8)

-- Position of last occurrence of c.
-- 0 if none
-- (From STRING_8)

-- Does string share the text of other?
-- (From STRING_8)

-- Position of first occurrence of other at or after start_pos
-- and to or before end_pos;
-- 0 if none.
-- (From STRING_8)

-- Constant string "true"
-- (From STRING_8)

-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)

-- Unicode routines
-- (From UC_IMPORTED_UNICODE_ROUTINES)

-- Routines that ought to be in class INTEGER_32
-- (From KL_IMPORTED_INTEGER_ROUTINES)

-- Hash code
-- (ELKS 2001 STRING_8)
-- (From KS_HASHABLE)

-- Index of first occurrence of character c
-- at or after start_index; 0 if none
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Index of first occurrence of unicode character with
-- code a_code at or after start_index; 0 if none

-- Index of first occurrence of c at or after start_index;
-- 0 if none

-- New object which is a clone of Current extended
-- by the characters of other
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Character at index i
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Character at index i;
-- '%U' if the unicode character at index
-- i cannot fit into a CHARACTER_8
-- (Extended from ELKS 2001 STRING_8)
-- Note: Use item_code instead of this routine when Current
-- can contain characters which may not fit into a CHARACTER_8.
-- (From KS_STRING)

-- Code of character at index i
-- (From KS_STRING)

-- New empty string with same dynamic type as Current

-- New object which is a clone of Current preceded
-- by the characters of other

-- New STRING_8 having the same character sequence as Current
-- where characters which do not fit in a CHARACTER_8 are
-- replaced by a '%U'
-- (Extended from ELKS 2001 STRING_8)
-- (From KS_STRING)

-- New object containing all characters
-- from start_index to end_index inclusive
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Index of first occurrence of other at or after start_index;
-- 0 if none. other and Current are considered with their
-- characters which do not fit in a CHARACTER_8 replaced by a '%U'
-- (Extended from ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Unicode character at index i;
-- Return a new object at each call

-- Index of first occurrence of other at or after start_index;
-- 0 if none

-- UTF-32 encoding routines
-- (From UC_IMPORTED_UTF32_ROUTINES)

-- Proposed number of additional items
--| Result is a reasonable value, resulting from a space-time tradeoff.
-- (From RESIZABLE)

-- Percentage by which structure will grow automatically
-- (From RESIZABLE)

-- Minimal number of additional items
-- (From RESIZABLE)

-- Range of acceptable indexes
-- (From INDEXABLE)

-- Maximum number of bytes that can be put in
-- internal storage
-- (From STRING_GENERAL)

-- Number of bytes in internal storage

-- Number of times unicode character of code
-- a_code appears in the string

-- Number of characters
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Number of times character c appears in the string
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Number of times c appears in the string

-- Is current object less than or equal to other?
-- (From KS_COMPARABLE)

-- Is current object greater than other?
-- (From KS_COMPARABLE)

-- Is current object greater than or equal to other?
-- (From KS_COMPARABLE)

-- The greater of current object and other
-- (From KS_COMPARABLE)

-- The smaller of current object and other
-- (From KS_COMPARABLE)

-- Is string lexicographically lower than other?
-- (Extended from ELKS 2001 STRING_8, inherited from COMPARABLE)
-- (From KS_COMPARABLE)

-- Is other attached to an object considered equal
-- to current object?
-- (Extended from ELKS 2001 STRING_8)
-- (From ANY)

-- Do Current and other have the same character sequence?
-- Current is considered with its characters which do not
-- fit in a CHARACTER_8 replaced by a '%U'.
-- (Extended from ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Do Current and other have the same unicode character sequence?

-- If current object equal to other, 0;
-- if smaller, -1; if greater, 1
-- (ELKS 2001 STRING_8, inherited from COMPARABLE)
-- Note: there is a bug in the specification of the
-- contracts of three_way_comparison inherited
-- from COMPARABLE. This routine cannot satisfy
-- its postconditions if other is not of the
-- same type as Current because the postcondition
-- uses is_equal and is_equal has a postcondition
-- inherited from ANY which says if it returns true
-- then other has the same type as Current.
-- (From KS_COMPARABLE)

-- If current object equal to other, 0;
-- if smaller, -1; if greater, 1
-- Note: there is a bug in the specification of the
-- contracts of three_way_comparison inherited
-- from COMPARABLE. This routine cannot satisfy
-- its postconditions if other is not of the
-- same type as Current because the postcondition
-- uses is_equal and is_equal has a postcondition
-- inherited from ANY which says if it returns true
-- then other has the same type as Current.
-- three_way_unicode_comparison solves this problem
-- and make the comparison polymorphically safe by
-- changing the signature from 'like Current' to
-- 'STRING_8' and by using same_unicode_string instead
-- of is_equal in its postcondition.

-- Is string made of same character sequence as other regardless of casing
-- (possibly with a different capacity)?
-- (From STRING_8)

-- Is string lexicographically lower than other?
-- (From PART_COMPARABLE)

-- Is string made of same character sequence as other
-- (possibly with a different capacity)?
-- (From ANY)

-- Must search operations use equal rather than =
-- for comparing references? (Default: no, use =.)
-- (From CONTAINER)

-- Is there no element?
-- (From CONTAINER)

ELKS 2000: Use is_empty instead

-- (From CONTAINER)

-- May new items be added? (Answer: yes.)
-- (From COLLECTION)

-- Does Current represent a BOOLEAN?
-- (From STRING_8)

-- Does Current represent a REAL_64?
-- (From STRING_8)

-- Does Current represent an INTEGER_32?
-- (From STRING_8)

-- Does Current represent an INTEGER_16?
-- (From STRING_8)

-- Does Current represent an INTEGER_32?
-- (From STRING_8)

-- Does Current represent an INTEGER_64?
-- (From STRING_8)

-- Does Current represent an INTEGER_8?
-- (From STRING_8)

-- Does Current represent a NATURAL_32?
-- (From STRING_8)

-- Does Current represent a NATURAL_16?
-- (From STRING_8)

-- Does Current represent a NATURAL_32?
-- (From STRING_8)

-- Does Current represent a NATURAL_64?
-- (From STRING_8)

-- Does Current represent a NATURAL_8?
-- (From STRING_8)

-- Does Current represent a number sequence?
-- (From STRING_8)

-- Does Current represent a REAL_32?
-- (From STRING_8)

-- Current is a STRING_32 instance
-- (From STRING_GENERAL)

-- Current is not a STRING_8 instance
-- (From STRING_GENERAL)

-- Is Current convertible to STRING_8 without information loss?
-- (From STRING_GENERAL)

-- May items be removed? (Answer: yes.)
-- (From COLLECTION)

-- Is v a valid code for a CHARACTER_32?
-- (From STRING_GENERAL)

-- Is i within the bounds of the string?
-- (From KS_STRING)

-- Does Current contain character c?
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Does Current contain the unicode character of code a_code?

-- Does Current contain other?
-- other and Current are considered with their characters
-- which do not fit in a CHARACTER_8 replaced by a '%U'.
-- (Extented from ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Does Current contain c?

-- Does Current contain other?

-- Does string contain only ASCII characters?

-- Is string empty?
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- May current object be hashed?
-- (True if it is not its type's default.)
-- (From HASHABLE)

-- Has v been inserted by the most recent insertion?
-- (By default, the value returned is equivalent to calling
-- has (v). However, descendants might be able to provide more
-- efficient implementations.)
-- (From COLLECTION)

-- Is structure empty?
-- (From STRING_GENERAL)

-- Can current output stream be closed?
-- (From KI_OUTPUT_STREAM)

-- May capacity be changed? (Answer: yes.)
-- (From BOUNDED)

-- Is structure full?
-- (From BOX)

-- Ensure that future search operations will use equal
-- rather than = for comparing references.
-- (From CONTAINER)

-- Ensure that future search operations will use =
-- rather than equal for comparing references.
-- (From CONTAINER)

-- Fill with as many items of other as possible.
-- The representations of other and current structure
-- need not be the same.
-- (From COLLECTION)

-- Append a copy of s at end.
-- (From STRING_8)

-- Append the string representation of b at end.
-- (From STRING_8)

-- Append the string representation of d at end.
-- (From STRING_8)

-- Append the string representation of i at end.
-- (From STRING_8)

-- Append the string representation of r at end.
-- (From STRING_8)

-- Append a copy of s at end.
-- (From STRING_GENERAL)

-- Append c at end.
-- (From COLLECTION)

-- Fill with capacity blank characters.
-- (From STRING_8)

-- Fill with capacity characters all equal to c.
-- (From STRING_8)

-- Add s to left of position i in current string.
-- (From STRING_8)

ELKS 2001: use insert_string instead

-- Add c at front.
-- (From STRING_8)

-- Prepend a copy of s at front.
-- (From STRING_8)

-- Prepend the string representation of b at front.
-- (From STRING_8)

-- Add c at front.
-- (From STRING_8)

-- Prepend the string representation of d at front.
-- (From STRING_8)

-- Prepend the string representation of i at front.
-- (From STRING_8)

-- Prepend the string representation of r at front.
-- (From STRING_8)

-- Prepend a copy of s, if not void, at front.
-- (From STRING_8)

-- Replace all current characters with blanks.
-- (From STRING_8)

-- Replace every character with c.
-- (From STRING_8)

ELKS 2001: use fill_with instead'

-- Replace every occurrence of original with new.
-- (From STRING_8)

-- Set current string to substring of t from indices n1
-- to n2, or to empty string if no such substring.
-- (From STRING_8)

-- Make current string share the text of other.
-- Subsequent changes to the characters of current string
-- will also affect other, and conversely.
-- (From STRING_8)

-- Copy characters of other within bounds start_pos and
-- end_pos to current string starting at index index_pos.
-- (From STRING_8)

-- Append character c at end.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Append unicode character of code a_code at end.

-- Append a copy of a_string at end.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Append substring of a_string between indexes
-- s and e at end of current string.
-- (From KI_CHARACTER_OUTPUT_STREAM)

-- Append unicode character c at end.

-- Append UTF-16 encoded string s at end of current string.

-- Append UTF-8 encoded string s at end of current string.

-- Replace every character with character c.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Replace every character with unicode character of code a_code.

-- Replace every character with unicode character c.

-- Insert character c at index i, shifting
-- characters between ranks i and count rightwards.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Insert unicode character of code a_code
-- at index i, shifting characters between
-- ranks i and count rightwards.

-- Insert a_string at index i, shifting characters between ranks
-- i and count rightwards.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Insert unicode character c at index i, shifting
-- characters between ranks i and count rightwards.

-- Replace unicode character at index i by character c.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Replace unicode character at index i
-- by unicode character of code a_code.

-- Replace unicode character at index i by c.

-- Replace the substring from start_index to end_index,
-- inclusive, with a_string.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Replace the substring from start_index to end_index,
-- inclusive, with a_string.

-- Remove all the characters except for the first n;
-- if n > count, do nothing.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove all the characters except for the last n;
-- if n > count, do nothing.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove i-th character, shifting characters between
-- ranks i + 1 and count leftwards.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove the first n characters;
-- if n > count, remove all.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove all characters from start_index
-- to end_index inclusive.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove the last n characters;
-- if n > count, remove all.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove all characters.
-- (ELKS 2001 STRING_8)
-- (From KS_STRING)

-- Remove first occurrence of c, if any.
-- (From COLLECTION)

-- Remove all occurrences of c.
-- (From COLLECTION)

-- Remove all leading occurrences of c.
-- (From STRING_8)

-- Remove all trailing occurrences of c.
-- (From STRING_8)

-- Change the capacity to accommodate at least
-- Growth_percentage more items.
--| Trades space for time:
--| allocates fairly large chunks of memory but not very often.
-- (From RESIZABLE)

-- Adapt the size to accommodate count characters.
-- (From STRING_8)

-- Ensure that the capacity is at least newsize.
-- (From RESIZABLE)

-- Rearrange string so that it can accommodate
-- at least newsize characters.
-- Do not lose any previously entered character.
-- (From STRING_GENERAL)

-- Convert Current as a STRING_32.
-- (From STRING_GENERAL)