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.9 required=5.0 tests=BAYES_00 autolearn=ham
	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!news1.google.com!news.glorb.com!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 25 Aug 2010 15:09:16 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.2.8) Gecko/20100802 Thunderbird/3.1.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: What about a glob standard method in Ada.Command_Line ?
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>
In-Reply-To: <17drl4b1ko4iv.1eccfudluzl5h.dlg@40tude.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <4c7515fc$0$7664$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 25 Aug 2010 15:09:16 CEST
NNTP-Posting-Host: 7575a1e4.newsspool1.arcor-online.net
X-Trace: 
 DXC=9W?E[Fj5;V4;]cDoEWD6A4ic==]BZ:af>4Fo<]lROoR1<`=YMgDjhg2Db>jfmWVF0;nc\616M64>:Lh>_cHTX3j=WJCQUThSeS2
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:13723
Date: 2010-08-25T15:09:16+02:00
List-Id: <comp.lang.ada>

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.
Let me try this in Kleene terms, with hypothetical wildcard
meaning (which I think you still have not specified explicitly):

Start with the (terminal) symbol a.
Continue with any number of (terminal) symbols
 drawn from Σ (which includes a and ¶, but not *).
End with the terminal symbol ¶.

> This pattern precisely defines a language L:

It does no such thing absent a definition of *.

The important question is what constitues Σ, not L.
If we use String, used in Directories.Start_Search,
then everything, including Σ, is well defined in Ada,
as is.


Georg