Discussion :

[Kreeg]

Voici mon programme de test:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
with PAutomaton;
with Ada.Strings.Unbounded;
with Ada.Strings.Unbounded.Text_IO;
with Text_IO;
with Simple_IO;
use Simple_IO;
use PAutomaton;
 
procedure broni is
	Ru : Rules(1 .. 2);
	Aut : Automaton;
	Str : Ada.Strings.Unbounded.Unbounded_String;
	L1, L2 : KeyList;
	Index : positive;
begin
	--Str := Ada.Strings.Unbounded.Text_IO.Get_Line;
	KeyLists.Append(L1, Ada.Strings.Unbounded.To_Unbounded_String("0-0-0"));
	KeyLists.Append(L1, Ada.Strings.Unbounded.To_Unbounded_String("0-0-1"));
	KeyLists.Append(L1, Ada.Strings.Unbounded.To_Unbounded_String("0-0-2"));
	KeyLists.Append(L2, Ada.Strings.Unbounded.To_Unbounded_String("0-1-0"));
	KeyLists.Append(L2, Ada.Strings.Unbounded.To_Unbounded_String("0-1-1"));
	Ru(1) := L1;
	Ru(2) := L2;
	SetRules(Aut, Ru'Access);
	Index := GetConfigIndex(Aut, Ada.Strings.Unbounded.To_Unbounded_String("0-0-2"));
	Put(Index);
 
end broni;

Avec le type Rules défini ainsi:

Code :

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

1
2
 
type Rules is array (Positive range <>) of KeyList;

Et

Code :

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

1
2
3
4
5
 
	procedure SetRules (Aut: in out Automaton; Ru: access Rules) is
	begin
		Aut.Ru := Ru;
	end SetRules;

A la compilation, j'ai l'erreur suivante, que j'aimerais que vous m'aidiez à résoudre :
broni.adb:25:23: prefix of "access" attribute must be aliased

J'ai du mal à utiliser les accesses en Ada, visiblement. Si vous aviez un document EXHAUSTIF sur l'utilisation des accesses en Ada, je vous en serais très reconnaissants.

Merci d'avance et bonne soirée !

[Blackknight]

Bonjour,
je te conseillerai d'abord le cours en français de Daniel Feneuille auxquel tu as accès ici. Tu y trouveras une explication en profondeur des type access.
Y a aussi quelques petites choses là.
Pour finir, en plus complexe, il y a le Ada for Software Engineers.

Amuses-toi bien

[PRomu@ld]

broni.adb:25:23: prefix of "access" attribute must be aliased

En fait l'erreur est tout à fait simple, tu ne peux pas récupérer l'adresse d'un objet qui n'est pas aliased.

Pour résoudre ton problème indique que ton type est aliased.

[Blackknight]

Arrrghhh !!! Fallait pas lui donner la réponse, maintenant, il ne va plus potasser les cours !!!

[Lowelace]

En fait l'erreur est tout à fait simple, tu ne peux pas récupérer l'adresse d'un objet qui n'est pas aliased.

Pour résoudre ton problème indique que ton type est aliased.

Même avec ça, il n'est pas près de résoudre son problème, s'il ne potasse pas la doc. .

L'utilisation des aliased est très stricte et il faut bien plus que déclarer Ru comme aliased pour résoudre son problème.
1 - un type anonyme ne peut donner lieu à alias.
2 - la portée de la variable doit être supérieur à son contexte d'utilisation, ce qui n'est pas le cas ici.

Le mieux est de passer par une bonne vieille allocation de mémoire, avec un new du style :

Code :

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

1
2
3
4
 
type Rules_Access is access all Rules;
subtype My_Rules is Rules(1..2);
Ru : constant Rules_Access := new My_Rules;

[PRomu@ld]

1 - un type anonyme ne peut donner lieu à alias.

Ca ne fait pas parti des nouveauté d'ada 2005 ?

[Lowelace]

Je ne crois pas car si la norme 2005 est plus permissive qu'en à la définition de types anonymes, elle reste intransigeante sur la portée de tel type.