Re: [boost] [filesystem] Request for commentsonproposedrelative()function

Subject: Re: [boost] [filesystem] Request for commentsonproposedrelative()function
From: Yakov Galka (ybungalobill_at_[hidden])
Date: 2014-05-18 13:25:59

On Sun, May 18, 2014 at 8:21 PM, Yakov Galka <ybungalobill_at_[hidden]> wrote:

>     x is absolute iff for all possible filesystem instances F (under the
> given OS), if exists a filesystem node f in F and a program state S such
> that f = open(F, S, x), then for all program states S, f = open(F, S, x).
>
> (i.e. ∀F ∃f ∈ F ((∃S f = open(F,S,x)) → (∀S f = open(F,S,x)))) Here
> open(F, S, x) is the node of F that the path x resolves to at the program
> state S, and program state S includes current directory, environment vars,
> etc...
>

Note: I think this definition in fact coincides with that x is absolute iff
system_complete(x) is eval-equivalent to x. So defining is_absolute in
terms of the system-specific system_complete() actually makes sense.

-- 
Yakov