comp.lang.ada
 help / color / mirror / Atom feed
* Two ranges of constraints.
@ 2017-06-25 10:49 Distant Worlds
  2017-06-25 14:32 ` Shark8
  0 siblings, 1 reply; 2+ messages in thread
From: Distant Worlds @ 2017-06-25 10:49 UTC (permalink / raw)


Can I do something like this?

subtype my_numbers  is integer range 10..20 or 50..70;

Thanks!


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Two ranges of constraints.
  2017-06-25 10:49 Two ranges of constraints Distant Worlds
@ 2017-06-25 14:32 ` Shark8
  0 siblings, 0 replies; 2+ messages in thread
From: Shark8 @ 2017-06-25 14:32 UTC (permalink / raw)


On Sunday, June 25, 2017 at 4:49:58 AM UTC-6, Distant Worlds wrote:
> Can I do something like this?
> 
> subtype my_numbers  is integer range 10..20 or 50..70;
> 
> Thanks!

  subtype my_numbers is integer
   with Static_Predicate => my_numbers in 10..20 | 50..70;


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2017-06-25 14:32 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-06-25 10:49 Two ranges of constraints Distant Worlds
2017-06-25 14:32 ` Shark8

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