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