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,6bf1c4b845bd2160
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: What about a glob standard method in Ada.Command_Line ?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <op.vhrt97eexmjfy8@garhos>
 <i4nsfv$jpe$1@news.eternal-september.org>
 <4c6f9837$0$5420$ba4acef3@reader.news.orange.fr>
 <i4rs3k$t6v$1@news.eternal-september.org> <i4uutv$ivu$1@munin.nbi.dk>
 <op.vhw01ogsule2fv@garhos>
 <eb3ef42d-5631-4434-b43c-f50e9813291b@f6g2000pro.googlegroups.com>
 <4c739e76$0$6992$9b4e6d93@newsspool4.arcor-online.net>
 <152a2z5en4z2o$.xjsuqr7s8yak$.dlg@40tude.net>
 <4c73e859$0$6991$9b4e6d93@newsspool4.arcor-online.net>
 <cgcipmczsqwm.ppd1a9aky2z5.dlg@40tude.net>
 <4c73fcf6$0$6992$9b4e6d93@newsspool4.arcor-online.net>
 <1jxm50y65grlo.sjyb9hm4y1xp$.dlg@40tude.net>
 <4c743a59$0$6893$9b4e6d93@newsspool2.arcor-online.net>
 <bxz3ymdyul62$.16pl56dd68msl.dlg@40tude.net>
 <4c74db09$0$6890$9b4e6d93@newsspool2.arcor-online.net>
 <1r82cxcws3pc9$.r40m8l3ttil7$.dlg@40tude.net>
 <4c74f9f6$0$6772$9b4e6d93@newsspool3.arcor-online.net>
 <17drl4b1ko4iv.1eccfudluzl5h.dlg@40tude.net>
 <4c7515fc$0$7664$9b4e6d93@newsspool1.arcor-online.net>
Date: Wed, 25 Aug 2010 15:30:25 +0200
Message-ID: <v7ds1anf1tn6$.1g19kva383xes.dlg@40tude.net>
NNTP-Posting-Date: 25 Aug 2010 15:30:23 CEST
NNTP-Posting-Host: 3338318d.newsspool1.arcor-online.net
X-Trace: 
 DXC=AAmGhB0WM`g]BlmkiiU@Biic==]BZ:afn4Fo<]lROoRa<`=YMgDjhgbE>BTRb^`4fk[6LHn;2LCVn[<mhadbfdUk\^X?W>n6MOl\BWU^Ac2Ikm
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:13727
Date: 2010-08-25T15:30:23+02:00
List-Id: <comp.lang.ada>

On Wed, 25 Aug 2010 15:09:16 +0200, Georg Bauhaus wrote:

> On 25.08.10 14:01, Dmitry A. Kazakov wrote:
>> On Wed, 25 Aug 2010 13:09:41 +0200, Georg Bauhaus wrote:
>> 
>>> If you now want R* to decide the encoding of:
>> 
>> No, I want match this:
>> 
>>    a*¶
> 
> Fine, just do it using String; every component of a String
> is well defined. Code points have nothing to do with Strings.

If code points have nothing to do with String why do you propose to do it
with String? And how is this related to the point anyway?

>> This pattern precisely defines a language L:
> 
> It does no such thing absent a definition of *.

You have commented out the definition:

   L = aΣ*¶

Or in BNF

   L ::= a <star> ¶
   <star> ::= <empty> | <code-point> [<star>]

> The important question is what constitues Σ,

   http://en.wikipedia.org/wiki/Code_point

> If we use String, used in Directories.Start_Search,
> then everything, including Σ, is well defined in Ada,
> as is.

String as defined by RM 3.5.2 (2/2) does not represent Σ*. It could
represent some encoding of Σ*, which is the point.

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