Discussion :

[aanis]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[Blackknight]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

[Blackknight]

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

[aanis]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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.