Discussion :

[laurent_r]

Bonjour,

J'aurais besoin de faire un appel C depuis une procédure Ada.
En fait je dois écrire des float dans un log file et je voudrais utiliser la
fonction C printf pour le faire simplement. Si jamais je tiens à préciser que
je veux utiliser ceci car c'est dans un système embarqué et que j'ai pas forcément toutes les librairies standard disponible donc le plus simple je
pense et de faire cet appel C.
Merci

[Invité]

Bonjour,

je pense que tu peux faire un import de printf de la même manière que cet import C de "system" donné par Promu@_ID

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
function System (Cmd : Interfaces.C.Char_Array) return Interfaces.C.int;
pragma Import (C, System, "system");

SI printf fait parti de la lib standard C, oops

[laurent_r]

Ok merci, mais il faudrait un peu plus développer parce que je suis pas un habitué du Ada
J'imagine que se serait du style:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
procedure Printf ( F : Float) ;
pragma Import (C, Printf, "printf");

le printf fait partit de stdio.h qui est dans la lib standard C.
Le prob c'est qu'un printf a plusieurs arguments optionnel dans mon cas
c'est réduit à cela: printf("%2.3f", my_val_float);

se qui devrait donner un truc du genre comme implémentation de la fonction d'appel du printf depuis Ada:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
procedure Printf( x : Float)
begin
     printf ("%2.3f", Double(x));
end Printf;

mais j'aimerais être sûr de se qui faut vraiment mettre

[Invité]

Ah mais non, je crois qu'il faut spécifier une procédure à l'image du prototype C, c'est à dire avec les même paramètre formels.


Pour la fonction "system" la fonction "system" C attend bien une chaine de charactères et retourne bien un entier.

en l'occurence le prototype de "printf"

si je ne m'abuse,

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
#include <stdio.h>
 
#int printf( const char *format [, arg [, arg]...]);

Par contre, là, le C, j'y comprend rien pour le moment.

[laurent_r]

Oui c'est exactement ça mais le prob c'est que system si je me trompe pas
permet juste de passer en paramètre un string (tableau de char) contenant une commande system à exécuter!
Mais dans le cas du printf comme tu l'as écrit il y a des param. optionnels.
cad que tu peux faire ceci:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
printf("test");
printf("test %f %D", 3.2, 5);
printf("%f", 4.3);

et je sais pas comment tu ferais pour appler ce genre de chose en ada .
Moi j'ai juste besoin de la dernière possibilité! Sinon je pourrais faire ma propre unité en C contenant l'appel au printf et ayant en paramètre seulement le float à envoyé depuis ada et plus besoin des paramètre optionnels mais il faudrait savoir comment linker tout ça.

[Invité]

Le paramètre peut-être du genre d'un tableau de char ou du genre à modéliser un (argc, argv, argenv) je sais plus quoi);

Sous Linux, pour linker, un gnatlink avec un pragma import, si c'est dans la lib C standard, ça doit suffire.

[Invité]

A pardon,
je voulais dire d'une liste de tableau de char.
Je teste avec String_List de Gnat.Os_Lib :/

[Invité]

Non, vraiment, je sais, pas. je trouve pas comment, désolé. :/

[Invité]

Une autre solution peut consister à faire un bind C

Si je ne m'abuse

Alors pour les options de liaison, il faut que je cherche.

[Invité]

pour linker, pardon, teste la ligne

gnatmake -o cible source -largs C_obj.o

[Invité]

Désolé, en fait, le problème reste le même, il faut fournir le bon type d'argument je pense.

Vraiment désolé

[laurent_r]

Désolé, en fait, le problème reste le même, il faut fournir le bon type d'argument je pense.

Vraiment désolé

et si je fais une unité toto.h (pour l interface) et toto.c (implémentation) qui ont une routine:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
void function print_float(x : double)
{
  printf("%2.3f", x);
}

et dans le code ada je fais appel à ma fonction print_float se trouvant dans toto.c ?

[Invité]

Si tu sait que tu va afficher que des doubles, c'est possible.

[laurent_r]

Si tu sait que tu va afficher que des doubles, c'est possible.

Oui je dois faire que ça!
Si je reprends donc d'après mon unité que je fais, je devrais avoir:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
 
procedure Print_float ( F : Float) ;
pragma Import (C, Print_float, "print_float");
 
procedure Print_float( F : Float)
begin
     print_float (Double(F));
end Printf;

est-ce correct ?
Et après dans mon code Ada j'appelle Print_float, j'ai fait une procedure car
la function C renvoie void mais je sais pas si c'est ok.
Et le le nom de l'unité C est utilisé que au moment du linkage avec le code ada
pas besoin de l'introduire dans le code Ada si j'ai bien compris !

[Invité]

essaie ça plutôt

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
with Interfaces.C;
use Interfaces.C;
procedure Printf is
 
   function Ada_Printf(format : in Char_Array;
                       Long : in Interfaces.C.double ) return Interfaces.C.Int;
   pragma Import(C, Ada_Printf, "printf");
   Res_Printf : Interfaces.C.Int;
 
begin
 
   Res_Printf := Ada_Printf(To_C("%2.3f"), 6.2);
end Printf;

[Invité]

Pour ta dernière question, je ne sais pas.

[laurent_r]

essaie ça plutôt

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
with Interfaces.C;
use Interfaces.C;
procedure Printf is
 
   function Ada_Printf(format : in Char_Array;
                       Long : in Interfaces.C.double ) return Interfaces.C.Int;
   pragma Import(C, Ada_Printf, "printf");
   Res_Printf : Interfaces.C.Int;
 
begin
 
   Res_Printf := Ada_Printf(To_C("%2.3f"), 6.2);
end Printf;

j'ai les erreurs suivant:
support_io.adb:143:34: no candidate interpretations match the actuals:
support_io.adb:143:34: missing argument for parameter "Count" in call to "To_C" declared at i-c.ads:216
support_io.adb:143:34: missing argument for parameter "Count" in call to "To_C" declared at i-c.ads:174
support_io.adb:143:34: missing argument for parameter "Count" in call to "To_C" declared at i-c.ads:128
support_io.adb:143:34: missing argument for parameter "Count" in call to "To_C" declared at i-c.ads:92
support_io.adb:143:34: too many arguments in call to "To_C"
support_io.adb:143:48: expected type "Standard.Boolean"
support_io.adb:143:48: found type "Interfaces.C.double"
support_io.adb:143:48: ==> in call to "To_C" at i-c.ads:206
support_io.adb:143:48: ==> in call to "To_C" at i-c.ads:164
support_io.adb:143:48: ==> in call to "To_C" at i-c.ads:120
support_io.adb:143:48: ==> in call to "To_C" at i-c.ads:84
formatted_print.ads:118:16: "Unbounded_String" is undefined

J'ai modifié un peu l'entête: procedure Printf (F : Float) is
et j'appelle la procedure comme ça dans une autre fonction où F est un float passer en paramètre de la fonction d'appel:
Printf(F);

line d'erreur 143> Res_Printf := Ada_Printf(To_C("%2.3f"), Double(F));

si j'ai bien compris tu essayerais encore en faisant directement appel au printf standard depuis Ada, sans passer par une unité en C

[Invité]

si j'ai bien compris tu essayerais encore en faisant directement appel au printf standard depuis Ada, sans passer par une unité en C

Bonsoir,
Oui efectivement, j'utilise l'import directement dans ma procédure printf qui devrai plutôt s'appeler Print_Double_With_Printf



Non mais, laisse tomber les commentaire.

[laurent_r]

Bonsoir,
Oui efectivement, j'utilise l'import directement dans ma procédure printf qui devrai plutôt s'appeler Print_Double_With_Printf

Si tu n'utilise pas les lib standard, il va falloir que tu t'adapte.

Ok et sa marche chez toi, tu as essayé ?
Aurais-tu une idée de l'erreur qui m'est donnné car j'ai fais comme tu m'as dit ?

J'ai essayé aussi en faisant appelle à ma propre unité mais là il trouve pas ma
fonction C

[Invité]

Ben fait péter ton code, si je puis me permettre