Un problème avec Void-Safe

5 views
Skip to first unread message

Philippe Cordel

unread,
Jan 27, 2016, 8:06:34 AM1/27/16
to Groupe des Eiffelistes Francophones
Bonjour
un extrait de ce qui me pose problème

if la_permanence.nb_de_numeros_sortis = 0 or not attached la_permanence.dernier_sorti_non_zero then -- premier coup de la partie ou que des zéros sortis
-- miser la mise sur Rouge
Result := create {MISE_COULEUR}.make(montant, True)
else
if la_roulette.est_gagnante (mise_courante) then -- la mise précédente a gagné on rejoue la couleur
Result := create {MISE_COULEUR}.make(montant, la_permanence.dernier_sorti_non_zero.est_rouge)
elseif

J'ai une erreur VUTA sur le second Result :=

Il s'agit sans doute de dernier_sorti_non_zero que le message dit pouvoir être Void

Je pensais (naïvement) que le else garantissait que dernier_sorti_non_zero est bien attaché

C'est sans doute tout bête mais je vois pas

Merci d'avance

Philippe

Eric Bezault

unread,
Jan 27, 2016, 8:16:27 AM1/27/16
to groupe_eiffelis...@googlegroups.com
En fait, quelqu'un a pu changer la valeur de
la_permanence.dernier_sorti_non_zero entre le moment ou tu le testes
dans le if et le moment ou tu l'utilises dans le else. Le compilateur
n'est pas assez intelligent pour le detecter, d'ou l'erreur.

La solution est de faire ca:

if la_permanence.nb_de_numeros_sortis = 0 or not attached
la_permanence.dernier_sorti_non_zero as l_dernier_sorti_non_zero then
Result := create {MISE_COULEUR}.make(montant, True)
else
if la_roulette.est_gagnante (mise_courante) then
Result := create {MISE_COULEUR}.make(montant,
l_dernier_sorti_non_zero.est_rouge)

--
Eric Bezault
mailto:er...@gobosoft.com
http://www.gobosoft.com

On 1/27/2016 14:06, Philippe Cordel wrote:
> Bonjour
> un extrait de ce qui me pose problème
>
> if la_permanence.nb_de_numeros_sortis = 0 or not attached
> la_permanence.dernier_sorti_non_zero then-- premier coup de la partie ou
> que des zéros sortis
> -- miser la mise sur Rouge
> Result := create {MISE_COULEUR}.make(montant, True)
> else
> if la_roulette.est_gagnante (mise_courante) then-- la mise précédente a

Philippe Cordel

unread,
Jan 27, 2016, 8:28:22 AM1/27/16
to Groupe des Eiffelistes Francophones
Limpide ! Comme d'hab !
Merci
Reply all
Reply to author
Forward
0 new messages