Re: Tasking issues

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

anon wrote:
> 
> As for "Get_Line immediately", thats an error, The Ada code can not 
> force the operating system or keyboard routine to abort. Try reading 
> RM 7.6.1 (23).
> 
> 23   (20) Abort is deferred during certain operations related to controlled
>      types, as explained in 9.8.  Those rules prevent an abort from causing a
>      controlled object to be left in an ill-defined state.

There are no controlled objects in your code.

> Since the keyboard routine in the operating system is one of the 
> following define in RM 9.8
> 
>     6  a protected action;
>    11  an assignment operation to an object with a controlled part.
> 
> or the 'Get_Line' procedure has connect to a secondary task { aka 
> operating system's keyboard routine } and the execution is define in 
> RM 9.8 as
> 
>    16  the point where the execution initiates the activation of another
>        task;
> or
>    17  the end of the activation of a task;
> 
> where the another task { aka operating system's keyboard routine }.

There are no protected actions in your code. The only task activations 
in your code are of the 2 tasks Get_Name and Print_Something.

-- 
Jeff Carter
"Sir Lancelot saves Sir Gallahad from almost certain temptation."
Monty Python & the Holy Grail
69