From: Maciej Sobczak <no.spam@no.spam.com>
Subject: subtype of enumeration type
Date: Mon, 20 Mar 2006 14:31:45 +0100
Date: 2006-03-20T14:31:45+01:00 [thread overview]
Message-ID: <dvmas1$kj8$1@sunnews.cern.ch> (raw)
Consider this:
type Day is (Mon, Tue, Wed, Thu, Fri, Sat, Sun);
and the following standard example:
subtype Weekday is Day range Mon .. Fri;
Now imagine that in some country children don't have to go to school on
Wednesdays, they go there only Monday, Tuesday, Thursday and Friday.
I want to say it in Ada.
subtype Schoolday is Day <what goes here?>;
--
Maciej Sobczak : http://www.msobczak.com/
Programming : http://www.msobczak.com/prog/
next reply other threads:[~2006-03-20 13:31 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-03-20 13:31 Maciej Sobczak [this message]
2006-03-20 14:26 ` subtype of enumeration type Larry Kilgallen
2006-03-20 15:18 ` Maciej Sobczak
2006-03-20 15:37 ` Robert A Duff
2006-03-20 20:29 ` Björn Persson
2006-03-20 21:41 ` Jeffrey R. Carter
2006-03-21 8:37 ` subtypes and preconditions (was: subtype of enumeration type) Peter Amey
2006-03-21 17:42 ` subtypes and preconditions Jeffrey R. Carter
2006-03-21 19:00 ` Georg Bauhaus
2006-03-22 1:54 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox