Discussion :

[Orni-Dev]

Bonjour
J'ai utilisé une liaison entre C et ADA pour des procédures ADA et ça fonctionne.
Or quand j'essaie d'exporter une fonction ADA, le programme plante totalement, le retour de variable pose un problème.
Quelqu'un aurait-il une idée de comment faire.
PS: j'utilise la méthode indiquée dans la doc trouvée sur developpez.com et le tuto sur adacore pour faire la liaison. (avec utilisation de adanit et adafinalize (runtime ada)).
merci

[Lowelace]

Bonsoir,

Tout d'abord, quel profil à la fonction Ada que tu exportes ?
Si c'est un problème de convention de représentation des données, c'est primordial.

[Orni-Dev]

Bonjour,
J'ai apparement résolu mon probleme.
La fonction ADA que je veux exporter est :

Code :

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

function maFonction return C.int;

Or j'ai essayé ceci

Code :

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

1
2
3
4
function maFonction return C.int is
begin
return C.int(0);
end;

Mais en essayant ceci :

Code :

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

1
2
3
4
5
function maFonction return C.int is
temp : Integer := 0; 
begin
return C.int(temp);
end;

Cela fonctionne sans problème.
Pour info je n'avais pas fait d'ADA avant. Effectivement, en y récléhissant un peu 0 peut etre vu comme n'importe quoi.

[Orni-Dev]

Bonjour,
maintenant je me retrouve confronté à un problème.
Comment peut on exporter une structure C en Ada. (Cette structure contient des chaines de caracteres et des floats).
J'ai bien vu le principe page 2 et 3 du cours 14 du cours de l'iut mais je me demandais si on ne pouvais pas importer la structure automatiquement.

[Lowelace]

Le problème (en général) avec les structures C ou C++ est qu'elles ne sont pas compatibles de la représentation Ada des records. Pour les passer de C vers ADA, on utilise souvent un pointeur sur la donnée (System.address) plutôt que la donnée brute.

Puis, dans le code ADA, on mappe une structure équivalente à celle du C à l'adresse passée en paramètre.

Pour revenir au cas de Ada vers C, en fait, le 0 que tu passais en dur était sans doute vu comme l'adresse 0x0 qui était ensuite déréférencer et .
Alors que dans l'autre codage, on utilisais l'adresse de temp qui référence la valeur 0 : je suis pas très sûr mais j'ai déjà connu des pb comme celui-là, d'où la réponse ci-dessus.

[Orni-Dev]

Donc c'est le principe de la doc.
Par contre c'est assez chiant puisqu'il faut mappé la structure dans le bon ordre et que si on modifie le c on doit modifier l'ada en parrallèle (de toute façon aurait du le faire mais ca rajoute du code a gérer en plus).

J'avais cru lire que l'adresse etait dans access et pas dans address.

[Lowelace]

En fait, en Ada, un access cache une adresse. L'access est là pour typer les pointeurs, ce que ne fait pas C par exemple (* désigne un pointeur sur un truc qui peut très bien etre affecter à un pointeur sur un machin).

Il existe un paquetage générique ADA 95 (celui-là) qui permet de convertir l'un dans l'autre : System.Address_To_Access_Conversions.

[Orni-Dev]

Merci pour les infos.
Si je réussi à faire le mappage je rajouterai résolu.

[Orni-Dev]

Re bonjour,
Je viens de découvrir un petit problème supplémentaire.
Supposons une fonction en C de prototype :

Code :

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

int function machin (montype * pmavariable);

où on modifie pmavariable dans la fonction.
Lors de l'importation dans ADA on ne peut en faire une procédure puisqu'on a un retour
ni une fonction puisque pmavariable est modifié donc ca devrait être un parametre in out voir out pour de l'ADA95(impossible pour une fonction).
Donc on est obligé de faire une fonction :

Code :

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

void function machinversAda(montype * pmavariable,int * retour);

pour pouvoir l'importer en tant que procédure.
J'aimerais donc avoir une confirmation ou mieux une infirmation pour me dire qu'on peut faire plus simple.

[Lowelace]

Bonjour,

Et non Dieu Ada 95 est passé par là : il existe un 4eme mode de passage de paramètres : le mode access qui est autorisé pour les fonctions.

int function machin (montype * pmavariable);

devient en Ada 95 :

Code :

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

 function machin (pmavariable : access  montype) return int;

Une méthode alternative (Souvent appliquer en Ada 83) :

Code :

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

1
2
3
4
5
 function machin (pmavariable : in System.Address) return int is
localvariable : montype;
for localvariable'Address use pmavariable;
begin 
...

Une autre méthode plus "sale" (et à utiliser que si on ne peut pas faire autrement) :

Code :

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

1
2
3
4
5
6
 
function machien (pmavariable : in montype) return int is
localvariable : montype;
for localvariable'Address use pmavariable 'Address;
begin 
...

Mais on ne maitrise pas forcement ce que fait le compilo et ca peut foirer suivant le type de pmavariable.

[Orni-Dev]

Je ne dirais que merci mon Dieu .
Je teste tout ça de suite.
Il manque vraiment une super documentation sur Ada. J'ai beau cherché je trouve rien de transcendant .

[Orni-Dev]

Effectivement ça marche bien xD
Lowelace, je te remercie pour tous tes précieux renseignements.

[Orni-Dev]

Bonjour,
Je continue mon petit bonhomme de chemin et je retombe encore sur une petite epine :
Je n'arrive pas à passer en ada une fonction du type

Code :

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

const char * function machin ( params ...);

En effet, j'ai bien essayé un

Code :

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

machin return c.char_array;

mais lorsque je m'en sers je me retrouve avec des exceptions CONSTRAINT_ERROR voir des EXCEPTION_ACCESS_VIOLATION;
J'aimerais donc savoir si il y a un moyen en Ada pour faire ça.

La possibilité de faire une fonction C qui envoit un buffer avec sa taille m'est passée par la tête mais je me doute qu'une meilleure solution existe.

Voila en esperant avoir une reponse pouvant m'eclairer.
Merci d'avance.


[EDIT]
En essayant de definir des access c.char_array, je n'ai pas d'erreur sauf quand j'essaie d'utiliser ce dernier

[Orni-Dev]

Apres une instance recherche et reflexion : je viens de trouver la solution.

Code :

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

const char * function machin ( params ...);

devient

Code :

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

machin return Interfaces.C.Strings.chars_ptr;

Et pour transformer le retour en String Ada

Code :

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

Interfaces.C.To_Ada(Interfaces.C.Strings.Value(ValeurDeRetour))

Voila.
J'espere que ca pourra servir à d'autres personnes ses petites réflexions .
Et encore merci pour tout lowelace !!!