Section Header
  
  
    + name    := Expanded POINTER -> INTEGER;
  
  
    - comment := "References to objects (POINTER is mapped as C type 'void *')";
  
    - type    := `void *`;
  
  
    - default := `NULL`:POINTER;
  
Section Insert
  
  
    - parent_numeric:INTEGER := 
  
Section Public
  
  
    - in_range low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-  
         BSBS: A revoir.
  
  
    - object_size:INTEGER <- 
  
- pointer_size:INTEGER <- `sizeof(void *)`:INTEGER;
  
  
    - is_null:BOOLEAN <- 
  
         Is the external POINTER a NULL pointer ?
  
  
    - is_not_null:BOOLEAN <- 
  
         Is the external POINTER a non-NULL pointer ?
  
  
    - to_native_array:NATIVE_ARRAY[UINTEGER_8] <- 
  
         Convert `pointer' into 'native_array' type.
  
  
    - to_uinteger_32:UINTEGER_32 <- 
  
         convert `pointer' into uinteger type (adress of the pointer)
  
  
    - from_uinteger p:UINTEGER_32 :POINTER <- 
  
         create POINTER from an adress
  
  
    - to_integer:INTEGER <- 
  
  
  
 Convertion format without test.
  
  
  
    - to_raw_integer:INTEGER         <- 
  
  
    - to_raw_uinteger_8:UINTEGER_8   <- 
  
    - to_raw_uinteger_16:UINTEGER_16 <- 
  
    - to_raw_uinteger_32:UINTEGER_32 <- 
  
    - to_raw_uinteger_64:UINTEGER_64 <- 
  
  
    - to_raw_integer_8:INTEGER_8     <- 
  
    - to_raw_integer_16:INTEGER_16   <- 
  
    - to_raw_integer_32:INTEGER_32   <- 
  
    - to_raw_integer_64:INTEGER_64   <-