Page 238 - 《软件学报》2021年第6期

1812 Journal of Software 软件学报 Vol.32, No.6, June 2021

every_i:=0;
while (every_i≤2)
{signal_light_state[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2};
reg_signal_light_light1:=4;
TEMP<==reg_signal_light_light1 and skip;
every_i:=0;
while (every_i≤2)
{signal_light_light1[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2};
reg_signal_light_light2:=2;
TEMP<==reg_signal_light_light2 and skip;
every_i:=0;
while (every_i≤2)
{signal_light_light2[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2}}
else {empty}}
else {if (reg_signal_light_state=signal_light_S2)
then {if (reg_signal_light_count=30)
then {reg_signal_light_state:=signal_light_S3;
TEMP<==reg_signal_light_state and skip;
every_i:=0;
while (every_i≤2)
{signal_light_state[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2};
reg_signal_light_light1:=1;
TEMP<==reg_signal_light_light1 and skip;
every_i:=0;
while (every_i≤2)
{signal_light_light1[every_i]:=TEMP%2;
every_i:=every_i+1;
TEMP:=TEMP/2};
reg_signal_light_light2:=4;
TEMP<==reg_signal_light_light2 and skip;
every_i:=0;
while (every_i≤2)
{signal_light_light2[every_i]:=TEMP%2;
every_i:=every_i+1;