“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 163 — #173
i
i
i
i
i
i
i
i
3.7 Les besoins non déclaratifs
163
– Le gadget label spécifie un texte à afficher par l’enregistrement
label(text:VS)
où VS est une chaîne virtuelle.
– Le gadget text spécifie un texte à afficher et permet d’entrer plusieurs lignes
de texte. Il peut utiliser des barres de défilement (« scroll bars ») pour afficher
plus de texte que l’on peut voir en une fois. Avec une barre verticale (« td » veut
dire « top-down »), le gadget est spécifié par l’enregistrement
text(handle:H tdscrollbar:true)
Quand la fenêtre est créée, la variable H sera liée à un objet qui sert à contrôler le
gadget. Nous appelons un tel objet un manipulateur (« handler »). Vous pouvez
considérer l’objet comme une procédure avec un argument : {H set(VS)}
affiche le texte VS et {H get(VS)} lit le texte et le renvoie dans VS.
– Le gadget button spécifie un bouton et une action à exécuter quand le bouton
est appuyé. Le gadget est spécifié par l’enregistrement
button(text:VS action:P)
où VS est un chaîne virtuelle et P est une procédure avec zéro arguments. {P}
est invoquée chaque fois que le bouton est appuyé.
16 Pour chaque fenêtre, toutes
les actions sont exécutées séquentiellement.
– Les gadgets td (« top-down ») et lr (« left-to-right ») spécifient un arrangement
d’autres gadgets dans un ordre de haut en bas ou de gauche à droite :
lr(W1 W2 ... Wn)
td(W1 W2 ... Wn)
où W1, W2, . . . , Wn sont d’autres gadgets.
La spécification déclarative des changements de taille
Quand la taille d’une fenêtre est changée, les gadgets à l’intérieur doivent se comporter
correctement, c’est-à-dire changer de taille ou garder la même taille, selon ce que doit
faire l’interface. Le comportement d’un gadget lors d’un changement de taille est
spécifié déclarativement avec un champ facultatif glue dans l’enregistrement du
gadget. Le champ glue indique pour chacun des quatre côtés du gadget s’il doit
être « collé » ou pas au gadget qui l’entoure. La valeur du champ glue est un atome
qui peut contenir toute combinaison des quatre caractères n (nord), s (sud), w (ouest,
« west ») ou e (est), ce qui indique pour chaque direction si le bord doit être collé ou
pas (le nord vers le haut). Voici quelques exemples :
16. Pour être précis, quand le bouton gauche de la souris est appuyé et relâché pendant que la souris
reste au-dessus du gadget. Cela permet à l’utilisateur de corriger un clic erroné.
© Dunod – La photocopie non autorisée est un délit
i
i
i
i
i
i
i
i
3.7 Les besoins non déclaratifs
163
– Le gadget label spécifie un texte à afficher par l’enregistrement
label(text:VS)
où VS est une chaîne virtuelle.
– Le gadget text spécifie un texte à afficher et permet d’entrer plusieurs lignes
de texte. Il peut utiliser des barres de défilement (« scroll bars ») pour afficher
plus de texte que l’on peut voir en une fois. Avec une barre verticale (« td » veut
dire « top-down »), le gadget est spécifié par l’enregistrement
text(handle:H tdscrollbar:true)
Quand la fenêtre est créée, la variable H sera liée à un objet qui sert à contrôler le
gadget. Nous appelons un tel objet un manipulateur (« handler »). Vous pouvez
considérer l’objet comme une procédure avec un argument : {H set(VS)}
affiche le texte VS et {H get(VS)} lit le texte et le renvoie dans VS.
– Le gadget button spécifie un bouton et une action à exécuter quand le bouton
est appuyé. Le gadget est spécifié par l’enregistrement
button(text:VS action:P)
où VS est un chaîne virtuelle et P est une procédure avec zéro arguments. {P}
est invoquée chaque fois que le bouton est appuyé.
16 Pour chaque fenêtre, toutes
les actions sont exécutées séquentiellement.
– Les gadgets td (« top-down ») et lr (« left-to-right ») spécifient un arrangement
d’autres gadgets dans un ordre de haut en bas ou de gauche à droite :
lr(W1 W2 ... Wn)
td(W1 W2 ... Wn)
où W1, W2, . . . , Wn sont d’autres gadgets.
La spécification déclarative des changements de taille
Quand la taille d’une fenêtre est changée, les gadgets à l’intérieur doivent se comporter
correctement, c’est-à-dire changer de taille ou garder la même taille, selon ce que doit
faire l’interface. Le comportement d’un gadget lors d’un changement de taille est
spécifié déclarativement avec un champ facultatif glue dans l’enregistrement du
gadget. Le champ glue indique pour chacun des quatre côtés du gadget s’il doit
être « collé » ou pas au gadget qui l’entoure. La valeur du champ glue est un atome
qui peut contenir toute combinaison des quatre caractères n (nord), s (sud), w (ouest,
« west ») ou e (est), ce qui indique pour chaque direction si le bord doit être collé ou
pas (le nord vers le haut). Voici quelques exemples :
16. Pour être précis, quand le bouton gauche de la souris est appuyé et relâché pendant que la souris
reste au-dessus du gadget. Cela permet à l’utilisateur de corriger un clic erroné.
© Dunod – La photocopie non autorisée est un délit