lib/string
Provides strings, which are sequences of characters.
->See description

 

CHARACTER_CONSTANTS
 Platform-independent, universal, character constants.
 Intended to be used as ancestor for classes that need these constants.

CHARACTER
 Note: An Eiffel CHARACTER is mapped as a C unsigned char or as a Java Byte.

STRING
 Resizable character STRINGs indexed from `1' to `count'.

UNICODE_STRING
 WARNING: THIS CLASS IS A WORK IN PROGRESS. SOME FEATURE ARE NOT
 YET IMPLEMENTED AND SOME FEATURE MAY APPEAR/DISAPPEAR.

 A UNICODE_STRING is a resizable string written with unicode values.
 From unicode.org: "Unicode provides a unique number for every
 character ,
                    no matter what the platform,
                    no matter what the program,
                    no matter what the language.

 WARNING: a grapheme may be described with many code.
 grapheme may be defined as "user character". Angstrom sign is
 one grapheme but may be defined using (LETTER A + COMBINING RING).
 Unicode strings may be acceded in two ways:
      - low-level (code by code)
      - high-level (grapheme by grapheme)

 Unless otherwise specified, all functions unit is the unicode number.


 

Cluster lib/string description

Provides strings, which are sequences of characters. There are two kinds of strings: the standard ASCII strings (using 8-bit characters), and Unicode strings.

Note that the compiler accepts a special notation for manifest Unicode strings: U"example"