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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fad7742cc8dcbb84
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!proxad.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: type and subtype
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1122215078.559279.16980@f14g2000cwb.googlegroups.com>
Date: Sun, 24 Jul 2005 16:39:38 +0200
Message-ID: <8z48c1qpzke3.1no8cx1dyy7zf$.dlg@40tude.net>
NNTP-Posting-Date: 24 Jul 2005 16:39:36 MEST
NNTP-Posting-Host: 62dc0c55.newsread2.arcor-online.net
X-Trace: 
 DXC=PBF>I5ek1j0c]9?QGJT=S2Q5U85hF6f;4jW\KbG]kaM8XY;eg@jLYe<J9WUHUJo889[6LHn;2LCV>I^><>f3dFY:l]<3GK@EFd:
X-Complaints-To: abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:3740
Date: 2005-07-24T16:39:36+02:00
List-Id: <comp.lang.ada>

On 24 Jul 2005 07:24:38 -0700, Douglas Chong wrote:

> I'm a newbie in Ada 95.
> Can some one tell me what is the different between type and subtype ?
> Both are look the same for me. Thanks

"A subtype of a given type is a combination of the type, a constraint on
values of the type, and certain attributes specific to the subtype. The
given type is called the type of the subtype. Similarly, the associated
constraint is called the constraint of the subtype. The set of values of a
subtype consists of the values of its type that satisfy its constraint.
Such values belong to the subtype."
       -- ARM 3.2(8)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de