Re: wait does not perform as expected

["Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>]

On 2023-02-22 17:34, Daniel Gaudry wrote:
> the following code :

Atio and Tio are undefined. Clearly this code is not what you are running.

The important bit:

>           if Skip_After > 0.0
>              then
> 
>              -- KEEP THE USER'S ATTENTION
>              while Timer < Skip_After loop
>                 Timer := 1.0 + @;
>                 delay 1.0;
>                 ada.text_io.Put(Natural(Skip_After - Timer)'Img);
> 
>                 --USER ENDS THE WAITING PERIOD  BEFORE IT'S END ?
> 
> 
>                 TIO.LOOK_AHEAD(ITEM          => CHAR,
>                                END_OF_LINE   => HIT);
>                 
>                   ada.text_io.GET_IMMEDIATE(ITEM      => CHAR,
>                                      AVAILABLE => HIT);
>                    IF HIT THEN
>                       RETURN;
>                    END IF;
> 
>              end loop;
> 
>              -- USER WAITED FOR THE WHOLE  WAITING PERIOD
>              -- LET HIM READ THE ZERO ON THE SCREEN
> 
>              delay 1.0;
>              return;
>           end if;

Let's simplify this. Without the countdown, this can be rewritten using ATC

Timed_Out : Boolean := False;
...
select
    delay Skip_After;

    Timed_Out := True;
then abort
    Ada.Text_IO.Get_Immediate (Item => Char);
end select;

if Timed_Out then
    delay 1.0;
end if;

return;

This should be simple enough to get right. If ATC doesn't work well with this, 
it should still be simple enough to get right without it.

To add the countdown, let's split that out into a task:

declare
    task Timer is
       entry Stop;
    end Timer;

    task body Timer is ...
    -- Does the countdown immediately (uses the global constant Skip_After)
    -- Stops the countdown if Stop is called
begin
    select
       delay Skip_After;

       Timed_Out := True;
    then abort
       Ada.Text_IO.Get_Immediate (Item => Char);
       Timer.Stop;
    end select;
end;

if Timed_Out then
    delay 1.0;
end if;

return;

The task should be simple enough to get right, too.

-- 
Jeff Carter
"Saving keystrokes is the job of the text editor,
not the programming language."
Preben Randhol
64