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.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,989d0c2f2f87320d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-01-10 13:55:17 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!hub.org!hub.org!newsfeed.direct.ca!look.ca!newsfeed.mathworks.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: Record type with check?
Date: Wed, 10 Jan 2001 21:41:08 GMT
Organization: Deja.com
Message-ID: <93ikth$ik5$1@nnrp1.deja.com>
References: <868zolm9dp.fsf@book.mteege.de> <ur92cs7da.fsf@gsfc.nasa.gov>
 <87hf373l3a.fsf@moon.mteege.de>
NNTP-Posting-Host: 205.232.38.14
X-Article-Creation-Date: Wed Jan 10 21:41:08 2001 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U)
X-Http-Proxy: 1.0 x57.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:3875
Date: 2001-01-10T21:41:08+00:00
List-Id: <comp.lang.ada>

In article <87hf373l3a.fsf@moon.mteege.de>,
  Matthias Teege <matthias@mteege.de> wrote:
> If nobody knows a
> better representation I'll made a private type. ;-)

A private type *IS* a better representation. Nearly all types
should be private if they are at all complex, and most
certainly if invariants like this are to be preserved, the
appropriate interface is an abstract data type.


Sent via Deja.com
http://www.deja.com/