comp.lang.ada
 help / color / mirror / Atom feed
From: gautier_niouzes@hotmail.com
Subject: Re: Ada case-statement
Date: Wed, 14 Mar 2018 22:04:51 -0700 (PDT)
Date: 2018-03-14T22:04:51-07:00	[thread overview]
Message-ID: <bec23d67-3cff-43d2-b099-8495f445403b@googlegroups.com> (raw)
In-Reply-To: <p8cagc$7fb$1@franka.jacob-sparre.dk>

Le jeudi 15 mars 2018 00:16:29 UTC+1, Randy Brukardt a écrit :

> declare
>   Selector : Day_Type renames Calculate_Day;
>   subtype Weekend_Subtype is Day_Type range Sat .. Sun;
>      -- Or use a static predicate if the range is discontiguous.
> begin
>   case Selector is
>       when Mon .. Fri =>
>          ...
>       when  Sat | Sun =>

You can even write "when Weekend_Subtype =>" there instead of "when Sat | Sun =>".
And if you write above "subtype Weekend is Day_Type range Sat .. Sun", then you have a nice "when Weekend =>" in the case statement.


  reply	other threads:[~2018-03-15  5:04 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-03-14 17:35 Ada case-statement Stephen Davies
2018-03-14 17:49 ` Dmitry A. Kazakov
2018-03-15  0:57   ` Robert I. Eachus
2018-03-15  3:10     ` Dan'l Miller
2018-03-15  5:54       ` J-P. Rosen
2018-03-15  7:56         ` Niklas Holsti
2018-03-15 12:21           ` Dan'l Miller
2018-03-15 17:22             ` Mill processor (Was: Re: Ada case-statement) Niklas Holsti
2018-03-15 21:50     ` Ada case-statement Randy Brukardt
2018-03-14 22:22 ` Mehdi Saada
2018-03-14 23:16 ` Randy Brukardt
2018-03-15  5:04   ` gautier_niouzes [this message]
2018-03-15  7:50   ` Jacob Sparre Andersen
2018-03-15 22:05     ` Randy Brukardt
2018-03-15  8:37   ` Dmitry A. Kazakov
2018-03-15 22:20     ` Randy Brukardt
2018-03-16  8:54       ` Dmitry A. Kazakov
2018-03-16 23:49         ` Randy Brukardt
2018-03-17  7:59           ` Dmitry A. Kazakov
2018-03-15 15:37   ` Stephen Davies
2018-03-15 16:33     ` J-P. Rosen
2018-03-15 17:01       ` Dmitry A. Kazakov
2018-03-15 18:41         ` Shark8
2018-03-15 21:12           ` Jeffrey R. Carter
2018-03-18  5:41             ` Robert I. Eachus
2018-03-18  6:57               ` Spiros Bousbouras
2018-03-18  9:17               ` Jeffrey R. Carter
2018-03-18 12:53                 ` Simon Wright
2018-03-15 18:50     ` Jere
2018-03-15 20:40       ` Anh Vo
2018-03-15 22:24     ` Randy Brukardt
2018-03-16  9:53       ` Stephen Davies
2018-04-03 17:56   ` marciant
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox