Section Header

    + name := STRING_CONSTANT;

    - comment := "String built in.";

Section Inherit

    - parent_abstract_string:ABSTRACT_STRING :=

Section ABSTRACT_STRING, ABSTRACT_ENTRY
BSBS: A revoir avec les Section External.

    + storage:NATIVE_ARRAY[CHARACTER] :=

Section Public
- clone:SELF <- Self;

    + count:INTEGER :=

    - to_string:Strict STRING <-

Section Public

    - capacity:INTEGER <-

Aliasing String.


    - bucket:SET[STRING_CONSTANT] :=

The Guru section: The Compiler consideration.


    - set_storage p:NATIVE_ARRAY[CHARACTER] count nb_char:INTEGER <-
        Do not use directly.

    - new_intern p:NATIVE_ARRAY[CHARACTER] count nb_char:INTEGER :STRING_CONSTANT<-
        Do not use directly. WARNING: Use by c_string and c_argument (COMMAND_LINE).

    - to_external:NATIVE_ARRAY[CHARACTER] <-
        Gives C access to the internal `storage' (may be dangerous).
        To be compatible with C, a null character is added at the end
        of the internal `storage'. This extra null character is not
        part of the Lisaac STRING.

    - create_copy other:ABSTRACT_STRING :SELF <-

    - make_copy other:ABSTRACT_STRING <-

Debug: Require / Ensure / Check


    - '?' test:BLOCK <-

    - '-?' test:BLOCK <-

    - '+?' test:BLOCK <-