From: christoph.grein@eurocopter.com
Subject: Re: C getchar() functionality in Ada
Date: Wed, 18 Feb 2009 02:41:40 -0800 (PST)
Date: 2009-02-18T02:41:40-08:00 [thread overview]
Message-ID: <c63bd0da-ecf1-4ea8-ac3e-194634d7b88c@k8g2000yqn.googlegroups.com> (raw)
In-Reply-To: bdegng.77k.ln@hunter.axlog.fr
On Feb 18, 8:46 am, Jean-Pierre Rosen <ro...@adalog.fr> wrote:
> Jeffrey R. Carter a écrit :> Except that, given a file that ends with a blank line,
> > Ada.Text_IO.End_Of_File may return True before the final blank line has
> > been detected. The general rule is to not use Ada.Text_IO.End_Of_File,
> > and handle the resulting End_Error.
>
> I agree. Moreover, it behaves better in the case of ill-formed files
> (from an Ada point of view), such as those that have no terminating LF.
This includes what Jeffrey calls a blank line at end. Such a file is
not well-formed in the Ada sense. This is discussed in Text_IO RM A.
10.2(3) and A.10.5(16).
prev parent reply other threads:[~2009-02-18 10:41 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-02-16 20:36 C getchar() functionality in Ada Thomas Locke
2009-02-16 21:43 ` Jeffrey R. Carter
2009-02-17 7:23 ` Thomas Locke
2009-02-17 8:16 ` Niklas Holsti
2009-02-17 13:01 ` Georg Bauhaus
2009-02-17 22:03 ` Thomas Locke
2009-03-03 8:57 ` David Thompson
2009-02-17 20:48 ` Jeffrey R. Carter
2009-02-17 21:59 ` Thomas Locke
2009-02-16 23:46 ` Adam Beneschan
2009-02-17 7:19 ` Thomas Locke
2009-02-17 8:37 ` Jacob Sparre Andersen
2009-02-17 17:31 ` Keith Thompson
2009-02-17 14:57 ` Hibou57 (Yannick Duchêne)
2009-02-17 14:55 ` Hibou57 (Yannick Duchêne)
2009-02-17 10:37 ` m.collado
2009-02-17 22:07 ` Thomas Locke
2009-02-17 16:40 ` Jean-Pierre Rosen
2009-02-17 19:46 ` Thomas Locke
2009-02-17 20:24 ` Hyman Rosen
2009-02-17 23:44 ` Robert A Duff
2009-02-18 5:44 ` anon
2009-02-18 0:39 ` Adam Beneschan
2009-02-18 7:43 ` Jean-Pierre Rosen
2009-02-18 11:42 ` christoph.grein
2009-02-17 20:38 ` Jeffrey R. Carter
2009-02-18 7:46 ` Jean-Pierre Rosen
2009-02-18 10:41 ` christoph.grein [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox