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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,96296bb60aa5db9
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!news3.google.com!news.germany.com!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada.Directories
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <qa32dfmc7uk9$.cb3cqu018xtz$.dlg@40tude.net>
 <d%rSi.245768$ax1.158475@bgtnsc05-news.ops.worldnet.att.net>
 <1o4hp0vtlenw0.jql7yewhhr4a.dlg@40tude.net>
 <1192912525.922514.185180@q3g2000prf.googlegroups.com>
Date: Sun, 21 Oct 2007 09:40:01 +0200
Message-ID: <zym8ym0u7d8o$.1q6cagmgthmna.dlg@40tude.net>
NNTP-Posting-Date: 21 Oct 2007 09:40:06 CEST
NNTP-Posting-Host: e84b2056.newsspool4.arcor-online.net
X-Trace: 
 DXC=^S0S;ERUM:WI?44J>Z[:RQ4IUK<Cl32<Q4Fo<]lROoRQ^;5]aA^R6>RaB@S2U1ncT\[6LHn;2LCV^[<mhadbfdU[2gH]K1O:eL\1QPJ9k:c?]\
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:2519
Date: 2007-10-21T09:40:06+02:00
List-Id: <comp.lang.ada>

On Sat, 20 Oct 2007 13:35:25 -0700, Maciej Sobczak wrote:

> On 20 Pa , 21:40, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
> 
>> 2. Why Full_Name of the Directory_Entry corresponding to ".." does not
>> render the true name of? Can the same file have different full names?
>
> Of course. They are usually called "links".

"." is not a hard/soft link, as it cannot be removed. Soft links are all
determinable. Even with hard links any file system is ADG, with ". " it is
not.

> Add "mount points" and the
> game is even more funny.

These are determinable as well.

> In general, there is no such a thing as a "true name" of a file and if
> there are many there is often no way to assign different priorities
> for them.

See RM A.16 which for Containing_Directory explicitly rules that if the
file system is not a forest, then Containing_Directory still returns a
value. That in effect defines a canonic full path for any Directory_Entry.
RM also does not hesitate to order that full names of abbreviations should
be meaningful.

So I think it also should advise implementations to remove "." and ".."
mess, when possible. At least in order to honor:

Compose (Containing_Directory (X), Simple_Name (X)) = X

(It makes no sense to define Containing_Directory without keeping the file
system view forest.)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de