Lisaac prototype interface

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 <-