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: 103376,ea81945e8b96701b X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: packet type ? Date: 2000/01/20 Message-ID: #1/1 X-Deja-AN: 575313654 References: <387F3DD1.485F7C70@icn.siemens.de> <85njs1$3rl$1@nnrp1.deja.com> <38845EBD.6F90845D@icn.siemens.de> <8646k7$6g1$1@nyheter.chalmers.se> <38871060.37CA@nospam.com.tj> Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: nntp1.ba.best.com 948385447 226 bpr@206.184.139.136 MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-01-20T00:00:00+00:00 List-Id: Quite sure, but you have to fix my syntax error. :-) -- Brian On Thu, 20 Jan 2000, Andy S wrote: > Brian Rogoff wrote: > > Ada 95 also allows you to create a stack signature > > > > generic > > type Item_Type is private; > > type Stack_Type is private; > > with procedure Push(Stack : in out Stack_Type; Item : in Item_Type); > > with procedure Pop(Stack : in out Stack_Type; Item : out Item_Type); > > ... > > package Stack_Sig is begin end; > > > > and write code which only depends on an instantiation having that profile, > > so that your stack code and many others can supply the stack ADT for the > > code. This is a very nice feature of Ada 95 which is not described in many > > Ada books; Barnes and Ben-Ari are exceptional here. > > > Are you sure? My GNAT compiler barffed at this one ! > > ___________________________________________ > > Andy Starritt > ___________________________________________ >