From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,87c9eb1ac78f3483
X-Google-Attributes: gid103376,public
From: Jeff Carter <carter@spam.innocon.com>
Subject: Re: [Ada.]Text_IO.Create
Date: 1997/05/14
Message-ID: <3379CE8B.2781E494@spam.innocon.com>#1/1
X-Deja-AN: 241499652
References: <3378c3c3.3637188@news.demon.co.uk>
Organization: Innovative Concepts, Inc.
Newsgroups: comp.lang.ada
Date: 1997-05-14T00:00:00+00:00
List-Id: <comp.lang.ada>


John McCabe wrote:
...
> Anyway, I am currently trying to implement a Create function (like in
> Text_IO), however it is not clear to me (either from the Ada 83 LRM or
> the Ada 95 ARM) exactly what behaviour is expected if Create is called
> for a file that already exists. It does state that it "Establishes a
> new external file", however this seems a bit wooly.
...

I think you'll find that this behavior is implementation defined. ALMOST
all versions I've used deleted the existing file and created a new,
empty file with the same name (or truncated the existing file to zero
bytes; I can't tell the difference :). Anyway, since you're creating an
implementation, you're free to decide what it does.
-- 
Jeff Carter  PGP:1024/440FBE21
Auntie-spam reply to; try ( carter @ innocon . com )
"Now go away, or I shall taunt you a second time."
Monty Python & the Holy Grail