function Form (File : File_Type) return String;

[c***@gmail.com]

Bonjour à toutes et à tous,

Je ne comprends pas à quoi peut bien servir cette fonction du package a-textio.ads , ni comment l'utiliser , j'ai cherché sur le net un exemple concret mais sans résultat . Si vous avez un simple programme avec cette fonction utilisée , merci de bien vouloir le poster avec des commentaires pour que je comprenne :)

[Jeffrey R. Carter]

Post by c***@gmail.com
Je ne comprends pas à quoi peut bien servir cette fonction du package
a-textio.ads , ni comment l'utiliser , j'ai cherché sur le net un exemple
concret mais sans résultat . Si vous avez un simple programme avec cette
fonction utilisée , merci de bien vouloir le poster avec des commentaires
pour que je comprenne :)

Form retourne le String Form donné à Create ou Open. Normalment elle est inutile
parce que la programme connaît quelle valeur elle a utilisé.

[J-P. Rosen]

Post by Jeffrey R. Carter

Post by c***@gmail.com
Je ne comprends pas à quoi peut bien servir cette fonction du package
a-textio.ads , ni comment l'utiliser , j'ai cherché sur le net un exemple
concret mais sans résultat . Si vous avez un simple programme avec cette
fonction utilisée , merci de bien vouloir le poster avec des commentaires
pour que je comprenne :)

Form retourne le String Form donné à Create ou Open. Normalment elle est inutile
parce que la programme connaît quelle valeur elle a utilisé.

Si, quand même. Le LRM dit:

Returns the form string for the external file currently associated with
the given file. If an external environment allows alternative
specifications of the form (for example, abbreviations using default
options), the string returned by the function should correspond to a
full specification (that is, it should indicate explicitly all options
selected, including default options).

Autrement dit, elle contient explicitement les valeurs implicites. Cela
permet donc (si on la stocke et la réutilise) de recréer un fichier avec
les mêmes caractéristiques, même si les défauts sont différents lors de
la création.

[c***@gmail.com]

Post by J-P. Rosen

Post by Jeffrey R. Carter

Post by c***@gmail.com
Je ne comprends pas à quoi peut bien servir cette fonction du package
a-textio.ads , ni comment l'utiliser , j'ai cherché sur le net un exemple
concret mais sans résultat . Si vous avez un simple programme avec cette
fonction utilisée , merci de bien vouloir le poster avec des commentaires
pour que je comprenne :)

Form retourne le String Form donné à Create ou Open. Normalment elle est inutile
parce que la programme connaît quelle valeur elle a utilisé.

Returns the form string for the external file currently associated with
the given file. If an external environment allows alternative
specifications of the form (for example, abbreviations using default
options), the string returned by the function should correspond to a
full specification (that is, it should indicate explicitly all options
selected, including default options).
Autrement dit, elle contient explicitement les valeurs implicites. Cela
permet donc (si on la stocke et la réutilise) de recréer un fichier avec
les mêmes caractéristiques, même si les défauts sont différents lors de
la création.

Désolé je ne comprends toujours pas, pourriez-vous me l'expliquer avec un simple code s'il-vous-plait ?

[J-P. Rosen]

Post by c***@gmail.com

Post by J-P. Rosen
Autrement dit, elle contient explicitement les valeurs implicites. Cela

Post by J-P. Rosen
permet donc (si on la stocke et la réutilise) de recréer un fichier avec
les mêmes caractéristiques, même si les défauts sont différents lors de
la création.

Désolé je ne comprends toujours pas, pourriez-vous me l'expliquer avec un simple code s'il-vous-plait ?

Pas vraiment un code, car la signification de Form dépend de
l'implémentation. Imaginons que Form définisse par exemple des droits
d'accès ("o+rwx"). Ce que je veux dire, c'est qu'on peut ouvrir un
fichier, et stocker la valeur de Form. Dans une autre exécution, on peut
faire un Create avec la valeur stockée, on retrouvera les mêmes droits
d'accès même si les valeurs par défaut (qu'on aurait en ne spécifiant
pas le paramètre Form à Create) ont changé.

[c***@gmail.com]

Post by J-P. Rosen
Pas vraiment un code, car la signification de Form dépend de
l'implémentation. Imaginons que Form définisse par exemple des droits
d'accès ("o+rwx").

Je ne comprends pas , quels sont ces droits d'accès ("o+rwx")? Pourrais-tu développer ?

Post by J-P. Rosen
Ce que je veux dire, c'est qu'on peut ouvrir un
fichier, et stocker la valeur de Form.

Quel genre de valeur ??

Post by J-P. Rosen
Dans une autre exécution, on peut
faire un Create avec la valeur stockée, on retrouvera les mêmes droits
d'accès même si les valeurs par défaut (qu'on aurait en ne spécifiant
pas le paramètre Form à Create) ont changé.
--

Tout d'abords, merci de tes explications .
Cependant je ne suis pas sûr d'avoir compris alors j'ai éssayé d'apliquer ce que tu m'as dit, en programmant .

D'abord, le fichier avec Form :

================

with Ada.Text_IO;
use Ada.Text_IO;

Procedure valeur_recuperable is

Fichier1 : File_type ;

BEGIN
Create( Fichier1,Name => "infos_réutilisables.adb");
-- Je créer un fichier , il est donc maintenant ouvert

Form (Fichier1 : File_Type) ;
-- Quels genre de valeurs on peut donner à Form ?? et -- Comment ? On sait que Form return String , alors par -- "valeur" et "droit d'accés" tu faisais allusion à
-- String ?

end valeur_recuperable;

[c***@gmail.com]

Post by J-P. Rosen
Pas vraiment un code, car la signification de Form dépend de
l'implémentation. Imaginons que Form définisse par exemple des droits
d'accès ("o+rwx").

Je ne comprends pas , quels sont ces droits d'accès ("o+rwx")? Pourrais-tu développer ?

Post by J-P. Rosen
Ce que je veux dire, c'est qu'on peut ouvrir un
fichier, et stocker la valeur de Form.

Quel genre de valeur ??

Post by J-P. Rosen
Dans une autre exécution, on peut
faire un Create avec la valeur stockée, on retrouvera les mêmes droits
d'accès même si les valeurs par défaut (qu'on aurait en ne spécifiant
pas le paramètre Form à Create) ont changé.
--

Tout d'abords, merci de tes explications .
Cependant je ne suis pas sûr d'avoir compris alors j'ai éssayé d'apliquer ce que tu m'as dit, en programmant .

D'abord, le fichier avec Form :

================

with Ada.Text_IO;
use Ada.Text_IO;

Procedure valeur_recuperable is

Fichier1 : File_type ;

BEGIN
Create( Fichier1,Name => "infos_réutilisables.adb");
-- Je créer un fichier , il est donc maintenant ouvert

Form (Fichier1 : File_Type) ;
-- Quels genre de valeurs on peut donner à Form ?? et
-- Comment ? On sait que Form return String , alors par
-- "valeur" et "droit d'accés" tu faisais allusion à String ?

end valeur_recuperable;

[J-P. Rosen]

Post by c***@gmail.com
Form (Fichier1 : File_Type) ;
-- Quels genre de valeurs on peut donner à Form ?? et
-- Comment ? On sait que Form return String , alors par
-- "valeur" et "droit d'accés" tu faisais allusion à String ?

Non, Form est une fonction qui renvoie une chaîne de caractères (quand
appliquée sur un fichier ouvert). Le contenu précis de cette chaîne est
défini par l'implémentation, c'est à dire que chaque implémentation fait
ce qu'elle veut, mais qu'elle est tenue de le documenter. Donc, pour
plus d'info, RTFM du compilateur...

En plus, les procédures open et create ont un paramètre (facultatif)
Form pour préciser des options de création dépendant du système. La
valeur par défaut est la chaîne vide, qui signifie "fais au mieux".

[c***@gmail.com]

Post by J-P. Rosen
Non, Form est une fonction qui renvoie une chaîne de caractères (quand
appliquée sur un fichier ouvert).

Oui, ce qui était le cas dans l'exemple , le fichier était bien ouvert.

Post by J-P. Rosen
Le contenu précis de cette chaîne est
défini par l'implémentation, c'est à dire que chaque implémentation fait
ce qu'elle veut, mais qu'elle est tenue de le documenter.

Que veux-tu dire par implémentation ? Ce mot a plusieurs définitions en informatique !

Post by J-P. Rosen
En plus, les procédures open et create ont un paramètre (facultatif)
Form pour préciser des options de création dépendant du système. D'accord, mais ça ne m'explique en rien comment utiliser form , même dans ces procédures !

Pourquoi est-ce si difficile d'utiliser form en programmant ? Je comprendrais mieux avec un programme avec commentaires .

[J-P. Rosen]

Post by c***@gmail.com
Que veux-tu dire par implémentation ? Ce mot a plusieurs définitions en informatique !

Mais une seule en Ada... "Défini par l'implémentation" signifie que
c'est au choix du compilateur.

Post by c***@gmail.com

Post by J-P. Rosen
En plus, les procédures open et create ont un paramètre (facultatif)
Form pour préciser des options de création dépendant du système. D'accord, mais ça ne m'explique en rien comment utiliser form , même dans ces procédures !

Pourquoi est-ce si difficile d'utiliser form en programmant ? Je comprendrais mieux avec un programme avec commentaires .

Form est prévu pour préciser tout ce qui peut dépendre du système
d'exploitation, donc il est par définition non portable => il faut lire
la doc du compilateur.

Heureusement, la norme précise qu'en l'absence de Form explicite, le
compilateur doit faire quelque chose de "raisonnable". Autrement dit, le
mieux est de l'ignorer totalement, et sauf besoin particulier, ça
marche. Perso, je ne l'utilise jamais.

[c***@gmail.com]

Post by J-P. Rosen

Post by c***@gmail.com
Que veux-tu dire par implémentation ? Ce mot a plusieurs définitions en informatique !

Mais une seule en Ada... "Défini par l'implémentation" signifie que
c'est au choix du compilateur.

Post by c***@gmail.com

Post by J-P. Rosen
En plus, les procédures open et create ont un paramètre (facultatif)
Form pour préciser des options de création dépendant du système. D'accord, mais ça ne m'explique en rien comment utiliser form , même dans ces procédures !

Pourquoi est-ce si difficile d'utiliser form en programmant ? Je comprendrais mieux avec un programme avec commentaires .

Form est prévu pour préciser tout ce qui peut dépendre du système
d'exploitation, donc il est par définition non portable => il faut lire
la doc du compilateur.
Heureusement, la norme précise qu'en l'absence de Form explicite, le
compilateur doit faire quelque chose de "raisonnable". Autrement dit, le
mieux est de l'ignorer totalement, et sauf besoin particulier, ça
marche. Perso, je ne l'utilise jamais.

Ok , je pense avoir compris plus de choses . Mais je ne sais toujours pas l'utiliser . Ou trouver une explication sur l'usage de Form ? Par norme , tu faisais référence à une doc de Ada2012 ? Si oui, quel document ?

Post by J-P. Rosen

Post by c***@gmail.com
Returns the form string for the external file currently associated with
the given file. If an external environment allows alternative
specifications of the form (for example, abbreviations using default
options), the string returned by the function should correspond to a
full specification (that is, it should indicate explicitly all options
selected, including default options).

Qu'est-ce que le LRM ? Pourrais-tu me linker ?

[Jeffrey R. Carter]

Post by c***@gmail.com
Qu'est-ce que le LRM ? Pourrais-tu me linker ?

LRM = Language Reference Manual

Je l'appelle ARM = Ada Reference Manual, parce que c'est le titre d'ISO/IEC
8652:(1995|2007|2012).

http://www.adaic.org/resources/add_content/standards/12rm/html/RM-TOC.html

[J-P. Rosen]

Post by Jeffrey R. Carter

Post by c***@gmail.com
Qu'est-ce que le LRM ? Pourrais-tu me linker ?

LRM = Language Reference Manual
Je l'appelle ARM = Ada Reference Manual, parce que c'est le titre d'ISO/IEC
8652:(1995|2007|2012).
http://www.adaic.org/resources/add_content/standards/12rm/html/RM-TOC.html

Quelques explications complémentaires, puisque tu es manifestement
nouveau à Ada ;-) (bienvenue!).

La culture de la standardisation est inhérente à Ada. Ada est le seul
langage de programmation dont la norme soit parue avant la parution du
premier compilateur. A part pour certaines (petites) variations prévues
et autorisées par la norme, il n'y a pas d'Ada-Gnat vs. Ada-PTC (ex
Atego) vs. Ada-Janus vs.... Il y a Ada, défini par la norme, et la
conformité de tous les compilateurs est vérifiée par une suite de
validation.

Donc, la réponse à toutes les questions est dans la norme, dont le texte
est appelé familièrement LRM ou ARM. Si jamais un compilateur montrait
un comportement différent, il faut le signaler au fabricant qui
corrigera le tir. On est loin de la jungle des variantes que l'on trouve
dans d'autres langages!

Et donc, l'Adaiste distingué se promène toujours avec son petit Livre
Vert (couleur d'origine, la version Springer est plutôt rouge...) sous
le coude, prêt à le dégainer à la moindre question.

Ceci dit, le LRM est très technique, et pas toujours facile à lire; en
tout cas, il a été fait pour être une référence, pas un outil
pédagogique. Mais tu verras souvent dans des réponses des références de
la forme a.b.c(x/n) (par exemple: 3.10.2(10/3)). a.b.c est le numéro de
section; de plus chaque paragraphe est numéroté en marge: x est le
numéro de paragraphe, n étant un indice de révision. Absent si le
paragraphe n'a pas été modifié depuis Ada95, /1 s'il a été modifié par
le corrigendum de 2001, /2 s'il a été modifié par l'amendement de 2005
et /3 s'il a été modifié par la révision de 2012.

NB: mon exemple de 3.10.2(10/3) est un des paragraphes les plus
difficiles à comprendre de la norme...

[pehache]

Post by J-P. Rosen

Post by Jeffrey R. Carter

Post by c***@gmail.com
Qu'est-ce que le LRM ? Pourrais-tu me linker ?

LRM = Language Reference Manual
Je l'appelle ARM = Ada Reference Manual, parce que c'est le titre d'ISO/IEC
8652:(1995|2007|2012).
http://www.adaic.org/resources/add_content/standards/12rm/html/RM-TOC.html

Quelques explications complémentaires, puisque tu es manifestement
nouveau à Ada ;-) (bienvenue!).
La culture de la standardisation est inhérente à Ada. Ada est le seul
langage de programmation dont la norme soit parue avant la parution du
premier compilateur. A part pour certaines (petites) variations prévues
et autorisées par la norme, il n'y a pas d'Ada-Gnat vs. Ada-PTC (ex
Atego) vs. Ada-Janus vs.... Il y a Ada, défini par la norme, et la
conformité de tous les compilateurs est vérifiée par une suite de
validation.
Donc, la réponse à toutes les questions est dans la norme, dont le texte
est appelé familièrement LRM ou ARM. Si jamais un compilateur montrait
un comportement différent, il faut le signaler au fabricant qui
corrigera le tir. On est loin de la jungle des variantes que l'on trouve
dans d'autres langages!

Mouais... Les langages utilisés industriellement (C, Fortran...) sont
aussi définis par des normes (une par langage je veux dire), qui sont
respectées par les compilos sérieux.

[J-P. Rosen]

Post by pehache
Mouais... Les langages utilisés industriellement (C, Fortran...) sont
aussi définis par des normes (une par langage je veux dire), qui sont
respectées par les compilos sérieux.

C'est vrai, pour C cela marche relativement bien. Fortran, j'ai plus de
doutes. Cela fait longtemps que je ne l'ai pas pratiqué, mais les
fabricants ont souvent des extensions propriétaires.

OTOH, il n'y a pas deux compilateurs C++ qui implémentent les templates
ou les exceptions exactement de la même manière...

[pehache]

Post by J-P. Rosen

Post by pehache
Mouais... Les langages utilisés industriellement (C, Fortran...) sont
aussi définis par des normes (une par langage je veux dire), qui sont
respectées par les compilos sérieux.

C'est vrai, pour C cela marche relativement bien. Fortran, j'ai plus de
doutes. Cela fait longtemps que je ne l'ai pas pratiqué, mais les
fabricants ont souvent des extensions propriétaires.

Ca c'était avant :-)

Les extensions au Fortran visaient à combler des manques importants du
langage (par exemple les "pointeurs Cray" pour l'allocation dynamique) ou
anticipaient l'évolution de la norme (par exemple les boucles non
labellisées introduites par je ne sais plus qui). Elles étaient en
général reprises (avec le même comportement) par la plupart des
compilateurs et avaient pratiquement le statut de "norme officieuse".

Ceci dit on pouvait écrire du code strictement portable en adhérant
strictement à la norme si on voulait.

Aujourd'hui la norme a suffisamment évolué pour que le recours à des
extensions soit largement inutile.

Post by J-P. Rosen
OTOH, il n'y a pas deux compilateurs C++ qui implémentent les templates
ou les exceptions exactement de la même manière...

Connais pas trop le C++

[c***@gmail.com]

Post by J-P. Rosen

Post by Jeffrey R. Carter

Post by c***@gmail.com
Qu'est-ce que le LRM ? Pourrais-tu me linker ?

LRM = Language Reference Manual
Je l'appelle ARM = Ada Reference Manual, parce que c'est le titre d'ISO/IEC
8652:(1995|2007|2012).
http://www.adaic.org/resources/add_content/standards/12rm/html/RM-TOC.html

Quelques explications complémentaires, puisque tu es manifestement
nouveau à Ada ;-) (bienvenue!).

Merci :)

Post by J-P. Rosen
La culture de la standardisation est inhérente à Ada. Ada est le seul
langage de programmation dont la norme soit parue avant la parution du
premier compilateur. A part pour certaines (petites) variations prévues
et autorisées par la norme, il n'y a pas d'Ada-Gnat vs. Ada-PTC (ex
Atego) vs. Ada-Janus vs.... Il y a Ada, défini par la norme, et la
conformité de tous les compilateurs est vérifiée par une suite de
validation.
Donc, la réponse à toutes les questions est dans la norme, dont le texte
est appelé familièrement LRM ou ARM. Si jamais un compilateur montrait
un comportement différent, il faut le signaler au fabricant qui
corrigera le tir. On est loin de la jungle des variantes que l'on trouve
dans d'autres langages!
Et donc, l'Adaiste distingué se promène toujours avec son petit Livre
Vert (couleur d'origine, la version Springer est plutôt rouge...) sous
le coude, prêt à le dégainer à la moindre question.
Ceci dit, le LRM est très technique, et pas toujours facile à lire; en
tout cas, il a été fait pour être une référence, pas un outil
pédagogique. Mais tu verras souvent dans des réponses des références de
la forme a.b.c(x/n) (par exemple: 3.10.2(10/3)). a.b.c est le numéro de
section; de plus chaque paragraphe est numéroté en marge: x est le
numéro de paragraphe, n étant un indice de révision. Absent si le
paragraphe n'a pas été modifié depuis Ada95, /1 s'il a été modifié par
le corrigendum de 2001, /2 s'il a été modifié par l'amendement de 2005
et /3 s'il a été modifié par la révision de 2012.
NB: mon exemple de 3.10.2(10/3) est un des paragraphes les plus
difficiles à comprendre de la norme...

Merci pour ces simples explicatons

[c***@gmail.com]

Post by Jeffrey R. Carter

Post by c***@gmail.com
Qu'est-ce que le LRM ? Pourrais-tu me linker ?

LRM = Language Reference Manual
Je l'appelle ARM = Ada Reference Manual, parce que c'est le titre d'ISO/IEC
8652:(1995|2007|2012).
http://www.adaic.org/resources/add_content/standards/12rm/html/RM-TOC.html

Merci , j'ai lu , je comprends la majorité sauf la phrase de fin qui est trés vague ! :
"The conventions governing the interpretation of such strings shall be documented."

De quelles conventions parlent-ils exactement ??

Le lien plus exacte de ma source est : [url]http://www.adaic.org/resources/add_content/standards/12rm/html/RM-A-7.html#I6229[/url]

[J-P. Rosen]

Post by c***@gmail.com
"The conventions governing the interpretation of such strings shall be documented."
De quelles conventions parlent-ils exactement ??

Ben justement, de l'interprétation du paramètre Form. Tout ce que dit la
norme, c'est que la forme de cette chaîne (sa syntaxe, quoi) doit être
documentée. A part ça, c'est au choix de l'implémentation (i.e. du
compilateur).

[c***@gmail.com]

Post by J-P. Rosen
Ben justement, de l'interprétation du paramètre Form. Tout ce que dit la
norme, c'est que la forme de cette chaîne (sa syntaxe, quoi) doit être
documentée. A part ça, c'est au choix de l'implémentation (i.e. du
compilateur).

D'accord ,mais documentée ou et comment ?

[J-P. Rosen]

Post by c***@gmail.com

Post by J-P. Rosen
Ben justement, de l'interprétation du paramètre Form. Tout ce que dit la
norme, c'est que la forme de cette chaîne (sa syntaxe, quoi) doit être
documentée. A part ça, c'est au choix de l'implémentation (i.e. du
compilateur).

D'accord ,mais documentée ou et comment ?

Ca dépend du compilateur, normalement tout compilateur vient avec sa doc...

Tu ne l'as pas dit, mais si tu utilises Gnat, c'est dans le document
intitulé mystérieusement "Gnat Refence Manual", que l'on peut accéder
depuis le menu Gnat de "Tous les programmes" (si tu es sous Windows, ce
que nous supposerons également).

Là, il faut chercher le chapitre 10 ("The implementation of Standard
I/O"), sous-chapitre 10.2 "FORM Strings"... et suivants.

[Jeffrey R. Carter]

Post by J-P. Rosen
Tu ne l'as pas dit, mais si tu utilises Gnat, c'est dans le document
intitulé mystérieusement "Gnat Refence Manual", que l'on peut accéder
depuis le menu Gnat de "Tous les programmes" (si tu es sous Windows, ce
que nous supposerons également).
Là, il faut chercher le chapitre 10 ("The implementation of Standard
I/O"), sous-chapitre 10.2 "FORM Strings"... et suivants.

Ou à

http://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm.html

11.2

[c***@gmail.com]

Merci à tout les deux , effectivement je comprends mieux l'usage de la fonction Form et de ses parametres comme défini : http://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/the_implementation_of_standard_i_o.html