🚀 go-pugleaf

Le mercredi 30 janvier 2013 19:04:36 UTC+1, Ludovic Brenta a écrit :
> Je suppose que nous sommes tous trop occupés à préparer
> 
> le FOSDEM pour répondre en détail...
> 
> 
> 
> En quelques mots très rapides:
> 
> 
> 
> - n'utilise pas System.Address mais un type accès
> 
>   vers le record.  Ajoute pragma Convention (C) au
> 
>   type accès.
> 
> 
> 
> - pour les tableaux qui sont dans le record, utilise
> 
>   des instances de Interfaces.C.Pointers (ARM B.3.2).
> 
>   Dans le record, chaque "int" deviendra un
> 
>   Interfaces.C.ptrdiff_t et chaque pointeur vers
> 
>   tableau deviendra un Interfaces.C.Pointers.Pointer.
> 
> 
> 
> Autre solution: les 4 longueurs peuvent devenir 4
> 
> discriminants du record, les 4 tableaux étant contraints
> 
> par ces discriminants.  Je ne suis pas sûr que ça
> 
> marcherait mais ça vaut peut-être le coup d'essayer.
> 
> 
> 
> -- 
> 
> Ludovic Brenta.

J'ai essayé avec les discriminants :

   type Modbus_Mapping_Type1
     (Bits_Number            : Integer;
      Input_Bits_Number      : Integer;
      Input_Registers_Number : Integer;
      Registers_Number       : Integer
      ) is
      record
         nb_bits             : C.int := C.int(Bits_Number);
         nb_input_bits       : C.int := C.int(Input_Bits_Number);
         nb_input_registers  : C.int := C.int(Input_Registers_Number);
         nb_registers        : C.int := C.int(Registers_Number);
         tab_bits            : Byte_Array (0..Bits_Number);
         tab_input_bits      : Byte_Array (0..Input_Bits_Number);
         tab_input_registers : Word_Array (0..Input_Registers_Number);
         tab_registers       : Word_Array (0..Registers_Number);
      end record;
   pragma Convention (C, Modbus_Mapping_Type1);

Ici j'obtiens un warning : variant record as no direct equivalent in C
   
   type Modbus_Mapping_Type2 is
      record
         nb_bits             : C.int := 0;
         nb_input_bits       : C.int := 0;
         nb_input_registers  : C.int := 10;
         nb_registers        : C.int := 20;
         tab_bits            : Byte_Array (0..0);
         tab_input_bits      : Byte_Array (0..0);
         tab_input_registers : Word_Array (0..10);
         tab_registers       : Word_Array (0..20);
      end record;
   pragma Convention (C, Modbus_Mapping_Type2);

Là ça compile, ce qui ne veut pas dire que ça marche.
Mais ça fige la taille de la structure pour de bon.