Re: What about a glob standard method in Ada.Command_Line ?

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

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