Mehdi Saada
2017-11-22 23:03:45 UTC
Bonjour
J'ai quelques troubles à comprendre le manuel, peut-être est-ce parce que l'anglais n'est pas ma langue d'origine, ce qui a ajoute un effort mental supplémentaire là où je devrais être concentré sur autre chose.
Je lisais en détail Strings.Maps, et la dernière fonction
function To_Range (Map : in Character_Mapping) return Character_Sequence;
m'échappe. J'ai assimilé le reste du paquet.
L'anglais:
To_Range returns the Character_Sequence value R, such that if D = To_Domain(Map), then R has the same bounds as D, and D(I) maps to R(I) for each I in D'Range.
C'est simple, j'arrive pas à me figurer la différence entre D et R dans cet exemple, ou entre To_Domain(Map) et To_Range(Map). Si R et D commencent et finissent aux même caractères, et que D(I) = R(I) pour tout I dans R, alors D = R non ?
Merci
J'ai quelques troubles à comprendre le manuel, peut-être est-ce parce que l'anglais n'est pas ma langue d'origine, ce qui a ajoute un effort mental supplémentaire là où je devrais être concentré sur autre chose.
Je lisais en détail Strings.Maps, et la dernière fonction
function To_Range (Map : in Character_Mapping) return Character_Sequence;
m'échappe. J'ai assimilé le reste du paquet.
L'anglais:
To_Range returns the Character_Sequence value R, such that if D = To_Domain(Map), then R has the same bounds as D, and D(I) maps to R(I) for each I in D'Range.
C'est simple, j'arrive pas à me figurer la différence entre D et R dans cet exemple, ou entre To_Domain(Map) et To_Range(Map). Si R et D commencent et finissent aux même caractères, et que D(I) = R(I) pour tout I dans R, alors D = R non ?
Merci