From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Out_File , excess line
Date: Thu, 21 Jan 2016 12:57:46 +0100
Date: 2016-01-21T12:57:46+01:00 [thread overview]
Message-ID: <n7qguk$at3$1@dont-email.me> (raw)
In-Reply-To: <c7f49560-a13d-462b-aa46-8d3042dfff8d@googlegroups.com>
On 21.01.16 11:56, AdaMagica wrote:
> Am Donnerstag, 21. Januar 2016 11:27:17 UTC+1 schrieb Jacob Sparre Andersen:
>> comicfanzine@gmail.com writes:
>>
>>> Then , i just opened it in Out_file with Ada , and then manually .
>>>
>>> I haven't closed the file neither .
>>
>> When an Ada program terminates, all open files are closed.
>>
>> /Jacob
>> --
>> recursive, adj.; see recursive
>
> See RM A.7(6) The language does not define what happens to external files after the completion of the main program and all the library tasks (in particular, if corresponding files have not been closed). The effect of input-output for access types is unspecified.
>
> I guess the OP is using GNAT, and this friendly compiler seems to properly close the files upon leaving the scope of a file object.
>
On Windows, that did not seem to be the case.
Always closing files is helpfully reflecting
the intent of the programmer.
next prev parent reply other threads:[~2016-01-21 11:57 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-01-20 1:39 Out_File , excess line comicfanzine
2016-01-20 11:23 ` AdaMagica
2016-01-20 13:31 ` comicfanzine
2016-01-20 14:03 ` comicfanzine
2016-01-20 14:26 ` Dmitry A. Kazakov
2016-01-20 17:33 ` AdaMagica
2016-01-21 4:50 ` comicfanzine
2016-01-21 10:27 ` Jacob Sparre Andersen
2016-01-21 10:56 ` AdaMagica
2016-01-21 11:57 ` G.B. [this message]
2016-01-21 14:42 ` Dmitry A. Kazakov
2016-01-21 16:23 ` AdaMagica
2016-01-22 2:50 ` Dennis Lee Bieber
2016-01-21 13:38 ` Dennis Lee Bieber
2016-01-21 17:30 ` comicfanzine
2016-01-22 1:56 ` comicfanzine
2016-01-22 12:28 ` Brian Drummond
2016-01-22 20:01 ` comicfanzine
2016-01-23 20:06 ` comicfanzine
2016-01-27 9:26 ` Simon Wright
2016-01-27 19:32 ` Simon Wright
2016-01-27 21:31 ` Jeffrey R. Carter
2016-01-27 20:28 ` Dmitry A. Kazakov
2016-01-24 16:11 ` comicfanzine
2016-01-25 21:54 ` comicfanzine
2016-01-25 22:01 ` MM
2016-01-26 0:50 ` comicfanzine
2016-01-26 10:10 ` comicfanzine
2016-01-27 3:57 ` comicfanzine
2016-01-27 8:13 ` AdaMagica
2016-01-28 4:35 ` comicfanzine
2016-01-29 23:04 ` comicfanzine
2016-01-30 9:44 ` Simon Wright
2016-01-30 10:43 ` AdaMagica
2016-01-30 13:51 ` Simon Wright
2016-01-31 8:56 ` comicfanzine
2016-01-31 11:25 ` Simon Wright
2016-01-31 12:57 ` Dmitry A. Kazakov
2016-01-31 17:00 ` Simon Wright
2016-01-31 11:51 ` AdaMagica
2016-02-01 6:22 ` comicfanzine
2016-02-01 8:32 ` Dmitry A. Kazakov
2016-02-09 15:07 ` comicfanzine
2016-02-09 17:00 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox