From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: function Is_Open (File : File_Type) return Boolean; :Text_io
Date: Tue, 27 Oct 2015 10:15:14 -0700
Date: 2015-10-27T10:15:14-07:00 [thread overview]
Message-ID: <n0obb0$c9m$1@dont-email.me> (raw)
In-Reply-To: <8508dafc-5fea-4e5d-992f-8fe48f5d9df6@googlegroups.com>
I've reformatted your code to my coding standards.
with Ada.Text_IO;
use Ada.Text_IO;
procedure Testfichier is
Monfichier : File_Type;
begin
Create (Monfichier, Name => "clone.adb");
-- If Create succeeds, then Monfichier is open and you get to the "if". If
-- Create fails, it raises an exception and your program ends.
if Is_Open (Monfichier) then
-- If you get to this line, then Create succeeded and Monfichier if open, so
-- this test is redundant; Is_Open will always return True.
Put (Item => "Le fichier , ouvert ? : ", File => Monfichier);
end if;
-- You probably want to close the file before you end.
end Testfichier;
So your code is functionally equivalent to
with Ada.Text_IO;
use Ada.Text_IO;
procedure Testfichier is
Monfichier : File_Type;
begin
Create (Monfichier, Name => "clone.adb");
Put (Item => "Le fichier , ouvert ? : ", File => Monfichier);
end Testfichier;
Since you want it to output the result of Is_Open, and we know that will always
be True, and we should close the file, I'd end up with
with Ada.Text_IO;
procedure Testfichier is
Monfichier : Ada.Text_IO.File_Type;
begin
Ada.Text_IO.Create (File => Monfichier, Name => "clone.adb");
Ada.Text_IO.Put_Line
(Item => "Le fichier , ouvert ? : True", File => Monfichier);
Ada.Text_IO.Close (File => Monfichier);
end Testfichier;
--
Jeff Carter
"You cheesy lot of second-hand electric donkey-bottom biters."
Monty Python & the Holy Grail
14
next prev parent reply other threads:[~2015-10-27 17:15 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-26 10:00 function Is_Open (File : File_Type) return Boolean; :Text_io comicfanzine
2015-10-26 11:27 ` Simon Wright
2015-10-26 13:25 ` comicfanzine
2015-10-26 18:01 ` Simon Wright
2015-10-26 19:03 ` AdaMagica
2015-10-27 11:30 ` Simon Wright
2015-10-26 18:02 ` Jeffrey R. Carter
2015-10-26 13:28 ` comicfanzine
2015-10-26 15:07 ` Jacob Sparre Andersen
2015-10-26 16:37 ` AdaMagica
2015-10-26 20:46 ` J-P. Rosen
2015-10-27 8:42 ` comicfanzine
2015-10-27 11:34 ` Simon Wright
2015-10-28 13:32 ` comicfanzine
2015-10-27 8:51 ` comicfanzine
2015-10-27 17:15 ` Jeffrey R. Carter [this message]
2015-10-26 22:48 ` Bob Duff
2015-10-27 8:30 ` Dmitry A. Kazakov
2015-10-27 13:30 ` Bob Duff
2015-10-27 14:00 ` G.B.
2015-10-27 15:26 ` Dmitry A. Kazakov
2015-10-27 16:43 ` G.B.
2015-10-27 20:04 ` Dmitry A. Kazakov
2015-10-28 11:06 ` Georg Bauhaus
2015-10-28 17:58 ` Randy Brukardt
2015-10-28 18:20 ` Dmitry A. Kazakov
2015-10-28 20:36 ` Bob Duff
2015-10-28 21:02 ` Dmitry A. Kazakov
2015-10-29 11:25 ` AdaMagica
2015-10-29 13:37 ` Dmitry A. Kazakov
2015-10-29 17:57 ` AdaMagica
2015-10-29 18:12 ` AdaMagica
2015-10-29 18:26 ` Dmitry A. Kazakov
2015-10-30 8:27 ` Jacob Sparre Andersen
2015-10-30 9:11 ` J-P. Rosen
2015-10-29 11:47 ` G.B.
2015-10-29 13:01 ` J-P. Rosen
2015-10-29 14:00 ` Dmitry A. Kazakov
2015-10-30 1:06 ` Georg Bauhaus
2015-10-30 8:39 ` Dmitry A. Kazakov
2015-10-30 14:32 ` G.B.
2015-10-30 16:20 ` Dmitry A. Kazakov
2015-10-30 19:07 ` G.B.
2015-10-31 9:31 ` Dmitry A. Kazakov
2015-10-31 11:17 ` Georg Bauhaus
2015-10-30 14:40 ` G.B.
2015-10-30 16:26 ` Dmitry A. Kazakov
2015-10-28 20:07 ` Bob Duff
2015-10-28 20:59 ` Dmitry A. Kazakov
2015-10-27 14:02 ` G.B.
2015-10-27 15:10 ` Dmitry A. Kazakov
2015-10-27 16:41 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox