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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:ad4:4e2e:: with SMTP id dm14mr8286302qvb.40.1575565961759;
 Thu, 05 Dec 2019 09:12:41 -0800 (PST)
X-Received: by 2002:aca:52c7:: with SMTP id g190mr7862891oib.84.1575565961454;
 Thu, 05 Dec 2019 09:12:41 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g89no8510051qtd.0!news-out.google.com!w29ni192qtc.0!nntp.google.com!g89no8510049qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 5 Dec 2019 09:12:41 -0800 (PST)
In-Reply-To: <qsbble$nen$1@news.albasani.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=185.22.143.114; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 185.22.143.114
References: <87muca3vgd.fsf@nightsong.com>
 <57d49047-0a61-4d13-8822-d004732a3acc@googlegroups.com>
 <d2f6474f-2534-463f-b075-9550ce8931da@googlegroups.com>
 <qs5ngj$tah$1@dont-email.me>
 <a6e6220c-1cf1-4ee7-9ee6-e8dc1b7a5a28@googlegroups.com>
 <3b1b248b-43d0-4762-b1f5-1c5460d24c8b@googlegroups.com>
 <5e222e6c-7afe-4349-ac66-d9b78ca40ec6@googlegroups.com>
 <27b11294-d628-4118-8328-a4a9a3946937@googlegroups.com>
 <be3b770c-9e58-4af0-bf69-c97de02eecc5@googlegroups.com>
 <80bcdfd1-b1e5-4ebf-aa8a-4beaba5ec3c2@googlegroups.com>
 <60e61003-409d-4bd5-9784-8ddad5942934@googlegroups.com>
 <4f659af6-c840-4509-9f76-e9a96b547a55@googlegroups.com>
 <qsbble$nen$1@news.albasani.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cd5f431d-2f2a-4ce6-a1b5-1e2f2a4d4558@googlegroups.com>
Subject: Re: Beginning Ada Programming, by Andrew T. Shvets (2020)
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Thu, 05 Dec 2019 17:12:41 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:57656
Date: 2019-12-05T09:12:41-08:00
List-Id: <comp.lang.ada>

Am Donnerstag, 5. Dezember 2019 17:36:00 UTC+1 schrieb Dirk Heinrichs:
> > Type Password is new String
> >    with Dynamic_Predicate => Password'Length in Minimum_Length..Maximum_Length
         and Password (Password'First) in Lower_Case
> >      and (For all C of Password => C in Digit|Upper_Case|Lower_Case|Symbol);
> 
> That's a really nice one. How would the predicate look like if the PW 
> was to start with a lowercase character?