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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.albasani.net!.POSTED!not-for-mail
From: Dirk Heinrichs <dirk.heinrichs@altum.de>
Newsgroups: comp.lang.ada
Subject: Re: Beginning Ada Programming, by Andrew T. Shvets (2020)
Date: Mon, 9 Dec 2019 20:08:11 +0100
Organization: albasani.net
Message-ID: <qsm62r$o5o$1@news.albasani.net>
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>
 <cd5f431d-2f2a-4ce6-a1b5-1e2f2a4d4558@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.albasani.net
 BBiWFfPQpN2KcQX+/vl+9YuKcDMfIBHgfpKRBgk6wtUBgZlQmrjJ5Cm5X+9eT0UaSZ5tDbYCvVwwuouB/9MjkQ==
NNTP-Posting-Date: Mon, 9 Dec 2019 19:08:11 +0000 (UTC)
Injection-Info: news.albasani.net;
 logging-data="GXS7CjCSGSK96IrxpqM5p2RTXMyXSx54yWQ9Zy4RWP8l6kNqhPYv410SOnELlrUoPA1l4iQTyZejQwGXM7uiKl6pJmsq53g2fwVXFXmt+yiUbWlYrsekQPfy4535IMvw";
 mail-complaints-to="abuse@albasani.net"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.2.2
In-Reply-To: <cd5f431d-2f2a-4ce6-a1b5-1e2f2a4d4558@googlegroups.com>
Content-Language: en-US
Cancel-Lock: sha1:MC4gZxg2Tt+GG5Z70QGhvnTpgZk=
Xref: reader01.eternal-september.org comp.lang.ada:57698
Date: 2019-12-09T20:08:11+01:00
List-Id: <comp.lang.ada>

Am 05.12.19 um 18:12 schrieb AdaMagica:

> 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?

Thanks a lot...

	Dirk
-- 
Dirk Heinrichs <dirk.heinrichs@altum.de>
GPG Public Key: D01B367761B0F7CE6E6D81AAD5A2E54246986015
Sichere Internetkommunikation: http://www.retroshare.org
Privacy Handbuch: https://www.privacy-handbuch.de