From: Kenneth Wolcott <kennethwolcott@gmail.com>
Subject: Re: Using "pure" (?) Ada, how to determine whether a file is a "text" file, not a binary?
Date: Sat, 1 Jul 2023 13:54:51 -0700 (PDT) [thread overview]
Message-ID: <a53a6fbd-c26b-4dd4-928c-7573e5daf0ean@googlegroups.com> (raw)
In-Reply-To: <u7q2tv$2u2pl$1@dont-email.me>
On Saturday, July 1, 2023 at 1:39:30 PM UTC-7, Jeffrey R.Carter wrote:
> On 2023-07-01 19:15, Kenneth Wolcott wrote:
> >
> > Using "pure" (?) Ada, how to determine whether a file is a "text" file, not a binary?
> That depends on the definition of a text file. Under Unix and Windows, all files
> are sequences of bytes, and so may be considered sequences of Characters, and so
> text files.
>
> If you can define what distinguishes text files from binary files, then it
> should be fairly easy to write Ada to distinguish them.
>
> For example, if a text file is one in which all the characters, except line
> terminators, are graphic characters, then it should be clear how to determine
> whether a file meets that definition of a text file.
I think that is the definition that I'm going to pursue as the simplest and effective definition.
> > As a side question, how does one read "binary" files in Ada?
> Ada has Direct_IO, Sequential_IO, and Stream_IO for reading binary files. Which
> you would use and how to use it depends on what's in the file and what you need
> to do with it.
Ok, now that seems to be pretty obvious! I'll go and experiment further...
Thank you!
Ken
next prev parent reply other threads:[~2023-07-01 20:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-07-01 17:15 Using "pure" (?) Ada, how to determine whether a file is a "text" file, not a binary? Kenneth Wolcott
2023-07-01 20:39 ` Jeffrey R.Carter
2023-07-01 20:54 ` Kenneth Wolcott [this message]
2023-07-01 21:39 ` Keith Thompson
2023-07-01 21:50 ` Kenneth Wolcott
2023-07-02 1:08 ` Chris Townley
2023-07-02 1:48 ` Kenneth Wolcott
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox