From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Operating System differences and Ada OS independent programming
Date: Wed, 23 Mar 2016 16:08:17 +0100
Date: 2016-03-23T16:08:17+01:00 [thread overview]
Message-ID: <ncubb2$o98$1@dont-email.me> (raw)
In-Reply-To: <nctkn9$rjn$1@gioia.aioe.org>
On 23.03.16 09:38, Dmitry A. Kazakov wrote:
> For anything impossible under the given OS Use_Error is propagated.
In some cases a substitution mechanism might work:
If "E:\" is covered by some "multiple roots" type,
and the filesystem is Unix style, the Use_Error
could be staged, and conditional. The run-time
support that establishes the type's associated behavior
(or path mapping) would be configurable. The
programmer specifies a mapping mechanism from the
"multiple roots" object representing "E:\" to some
other "multiple roots" object that can play the
same role on his or her system. Provided, maybe,
that the original object did not specifically use
"root-ness", which could be reflected in some constant
property preventing the above mentioned mapping.
So, then, Use_Error would be raised either
- if the mapping could not be performed because the
target object would not represent "root-ness",
- or if no mapping was provided by the programmer,
- or if the mapping "tampers with file systems",
- or if the run-time system does not support mapping.
next prev parent reply other threads:[~2016-03-23 15:08 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-21 13:18 Operating System differences and Ada OS independent programming ldries46
2016-03-21 15:07 ` gautier_niouzes
2016-03-21 17:24 ` Dennis Lee Bieber
2016-03-21 22:04 ` Randy Brukardt
2016-03-22 8:43 ` Dmitry A. Kazakov
2016-03-22 11:15 ` G.B.
2016-03-22 13:40 ` Dmitry A. Kazakov
2016-03-22 14:36 ` Stefan.Lucks
2016-03-22 15:08 ` G.B.
2016-03-22 19:06 ` Dmitry A. Kazakov
2016-03-23 8:13 ` gautier_niouzes
2016-03-23 8:38 ` Dmitry A. Kazakov
2016-03-23 15:08 ` G.B. [this message]
2016-03-24 8:00 ` Dmitry A. Kazakov
2016-03-24 10:41 ` G.B.
2016-03-24 10:42 ` G.B.
2016-03-24 12:16 ` Dmitry A. Kazakov
2016-03-24 3:36 ` Shark8
2016-03-24 7:58 ` Dmitry A. Kazakov
2016-03-24 11:42 ` Dennis Lee Bieber
2016-03-24 1:19 ` rieachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox