comp.lang.ada
 help / color / mirror / Atom feed
From: mazzanti@iei.pi.cnr.it (Franco Mazzanti)
Subject: Abnormal file objects
Date: 1996/12/13
Date: 1996-12-13T00:00:00+00:00	[thread overview]
Message-ID: <mazzanti-1312961721260001@131.114.200.115> (raw)



Let us consider the following program fragment:

 ...
 select
    delay 5.0;
    Put_Line ("Timeout expired");
 then abort
   -- ask for password within the given timeout
   Put("Enter Password:");
   Get_Line(This_Password,Last);
 end select;

 If the timeout expires, maybe when Get_line was reading the data,
 can the underlying "file-object" become abnormal  because some assignment
 to it has been disrupted (as for 9.8.(21)) ?

 Notice that a very similar example is given in Reference Manual 
 (in 9.7(11)) and it would be unfortunate il the RM examples sugggested
 potentially erroneous programming styles.

Franco Mazzanti




                 reply	other threads:[~1996-12-13  0:00 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox