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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Interface/Implementation (was Re: Design by Contract)
Date: 1997/09/05
Message-ID: <dewar.873461769@merv>#1/1
X-Deja-AN: 270020011
References: <01bcb389$24f579d0$1c10d30a@ntwneil>
 <EFMpCv.8uv.0.-s@inmet.camb.inmet.com> <5u62es$e23$7@miranda.gmrc.gecm.com>
 <JSA.97Aug29152347@alexandria.organon.com> <EFqDC8.342@ecf.toronto.edu>
 <340C85CE.6F42@link.com>
Organization: New York University
Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel
Date: 1997-09-05T00:00:00+00:00
List-Id: <comp.lang.ada>


iSamuel Mize in his nice list says

<<* Different order of subprograms -- one order or grouping may be
  most meaningful for the interface, another for implementation.
>>

I find this very useful. If you look at the GNAT sources, you will see
that the specs are typically in some useful logically grouped order
by subprograms, but the body is in alphabetical order for easier
reference.