Garde dans le select

Version imprimable

Bonjour tout le monde. J'ai le listing suivant dans le corps d'une
tache ( un tunnel ferroviaire)

Code:

1
2
3
4
5
6
7
8
9
10
select
accept entrer(sdc: in sensDeCirculation; reponse: out boolean) do
                        if sdc=sdt then
                                trains_dans_tunnel:=trains_dans_tunnel+1;
                                reponse:=true;
                                trains_passes:=trains_passes+1;
                        else
                                reponse:=false;
                        end if;
end entrer;

Le tunnel signale qu'un train peut entrer via le parametre do sortie
"reponse", et un train ne peut n'entre que s'il recoit une reponse
positive ce qui donne:

Code:

1
2
3
4
5
loop
        tunnel.entrer(sdc,autorisation);
        exit when autorisation;
        delay 0.1;
end loop;

Je voudrais eviter d'utiliser le parametre de retour et la boucle
active, ce qui donnerait dans le corps du tunnel:

Code:

1
2
3
4
5
select
when sdt=sdc => accept entrer(sdc: in sensDeCirculation) do
                        trains_dans_tunnel:=trains_dans_tunnel+1;
                        trains_passes:=trains_passes+1;
end entrer;

Mais biensur, la variable sdt n'est pas visible avant l'execution de
"entrer".
Quelle solution me proposez-vous? Merce

Juste une question, ça représente quoi sdt ?
bon, sinon, un début de réponse, c'est de coder une fonction de vérification des conditions d'entrée dans le tunnel style
Code:

1 2 3 4 5 6 7 8 9 function check_conditions_d_entree(sdc : sensDeCirculation) return Boolean is begin if sdc=sdt then return true; else return false; end if; end check_conditions_d_entree;
Que tu peux appeler dans ta barrière.

12/10/2010, 17h48
Blackknight

Oublies ce que j'ai dit, je devrais pas m'attaquer à la moquette dès 10h du mat' 8O
C'est n'importe quoi :D
Bon, ça dit pas ce que représente sdt

Bonjour.
Sdt est le sens de circulation dans le tunnel. C'est une variable locale a la task tunnel.
Mon erreur etait dans la conception de la tache tunnel, la task tunnel ne possedait qu'une seule entry pour signaler l'entree dans le tunnel, alors qu'il aurait fallu la doter de deux entry. Voila comment j'ai resolu le probleme.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
select
                --autorisation: variable booleenne locale a la tache 
                when autorisation and trains_passes< NB_MAX =>
                    accept entrers1 do
                        trains_dans_tunnel:=trains_dans_tunnel+1;
                        trains_passes:=trains_passes+1;
                    end entrers1;
            or
                when (not perms1) and trains_passes< NB_MAX =>
                    accept entrers2 do
                        trains_dans_tunnel:=trains_dans_tunnel+1;
                        trains_passes:=trains_passes+1;                       
                    end entrers2;

Et dans le code du train:

Code:

1
2
3
4
5
if sdc=s1 then
            tunnel.entrers1;
        else
            tunnel.entrers2;
        end if;

Sdc est le sens de circulation du train.
P.S: J'ai oublie de le preciser, mais le tunnel n'a qu'une voie et ne peut laisser passer qu'au plus, NB_MAX trains dans un sens.
En tout cas, merci pour votre reponse.