Controlled I/O: a Library for Scope-Based Files

Описание: by Jeffrey R. Carter at Ada Developers Workshop 2024.

A request was made for "Scope-base files (controlled-type files), that close when they go out of scope". Extending Ada.Finalization.Limited_Controlled to contain an Ada.*_IO.File_Type and overriding Finalize to close the file if it is open is trivial, so I presume the poster was looking for something more than that. In response I came up with Controlled_IO, a different way of dealing with files from that used in the standard library. Files are opened/created when they are declared, and closed when they go out of scope. The library will be presented, along with some simple examples of its use.
Presenter: see above.

Support us:   / ada_re  
Join Telegram: https://t.me/ada_lang

#ada #ada-lang #adalang