plus de renommage d'attribut sous forme de fonction autorisé ?

[Mehdi Saada]

function Maximum (
A,
B : in T_Entier )
return T_Entier renames T_Entier'Max (A, B );
le code vient direct du cours, et voilà la réponse de gnat:

p_entier.ads:62:38: illegal expressions in attribute reference
La norme a changé pour ce point entre temps ?

[Niklas Holsti]

Post by Mehdi Saada
Maximum (
A,
B : in T_Entier )
return T_Entier renames T_Entier'Max (A, B );

return T_Entier renames T_Entier'Max;

tout simplement.

[Mehdi Saada]

D'accord, merci. C'est donc le professeur qui a fait une erreur ? Je ne comprend vraiment pas. Enfin, ça compile, tant mieux.

[Jeffrey R. Carter]

Post by Mehdi Saada
Maximum (
    A,
    B : in     T_Entier )
return T_Entier renames T_Entier'Max (A, B  );

   return T_Entier renames T_Entier'Max;

ou

return T_Entier is (T_Entier'Max (A, B) );

[g***@hotmail.com]

Post by Jeffrey R. Carter
return T_Entier is (T_Entier'Max (A, B) );

Bien... mais sauf erreur ce n'est pas un renommage mais un raccourci (Ada 2012) de
begin
return T_Entier'Max (A, B);
end;

La fonction Maximum va appeler à son tour Max (sauf optimisation Inline), ce qui est différent, n'est-ce pas ?...

[Jeffrey R. Carter]

Post by g***@hotmail.com

Post by Jeffrey R. Carter
return T_Entier is (T_Entier'Max (A, B) );

Bien... mais sauf erreur ce n'est pas un renommage mais un raccourci (Ada 2012) de
begin
return T_Entier'Max (A, B);
end;
La fonction Maximum va appeler à son tour Max (sauf optimisation Inline), ce qui est différent, n'est-ce pas ?...

Oui. J'ai pensé que la prof a combiné les 2 formes.

[Mehdi Saada]

Hehe, pourquoi pas, mais le cours a plusieurs années de plus (la flemme de regarder) que la nouvelle norme.