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