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.2 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00,
	XPRIO_SHORT_SUBJ autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2843c5eea3415584
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!newsgate.cistron.nl!feeder.enertel.nl!nntpfeed-01.ops.asmr-01.energis-idc.net!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!uio.no!193.75.75.20.MISMATCH!news.eunet.no!kda-news.kongsberg.com!not-for-mail
From: "Egil H. H�vik" <egil.harald.hoevik@REMOVEkongsberg.com>
Newsgroups: comp.lang.ada
Subject: Re: APQ
Date: Fri, 17 Dec 2004 10:06:20 +0100
Organization: News Kongsberg Defence&Aerospace T-Nett
Message-ID: <cpu73t$9nr$1@kda-news.kongsberg.com>
References: <sa4brcv2l5m.fsf@snoopy.apana.org.au>
 <Onewd.204$Wt5.95202@read2.cgocable.net>
 <ydCdnUENQ8wivV_cRVn-sQ@megapath.net> <sa4d5x9si42.fsf@snoopy.apana.org.au>
 <GTswd.248$Wt5.145533@read2.cgocable.net>
 <sa41xdpsfnt.fsf@snoopy.apana.org.au>
NNTP-Posting-Host: kda-mfxp-20.kda.kongsberg.com
X-Trace: kda-news.kongsberg.com 1103273917 9979 193.71.174.120 (17 Dec 2004
 08:58:37 GMT)
X-Complaints-To: tommy.fallsen@kongsberg.com
NNTP-Posting-Date: Fri, 17 Dec 2004 08:58:37 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Xref: g2news1.google.com comp.lang.ada:7023
Date: 2004-12-17T10:06:20+01:00
List-Id: <comp.lang.ada>

"Brian May" <bam@snoopy.apana.org.au> wrote in message
news:sa41xdpsfnt.fsf@snoopy.apana.org.au...
> >>>>> "Warren" == Warren W Gay VE3WWG <ve3wwg@NoSpam.cogeco.ca> writes:
>
>     Warren> The error looks familiar, though I don't understand the reason
>     Warren> for the "limitation" that the compiler is imposing.
>
> It would make perfect sense if I hadn't declared the type to be
> abstract. If a type has any abstract methods, then the type must be
> abstract too. This in turn prohibits creating any objects based on
> this type. Child types do not need to be defined abstract if the
> define all the abstract methods. I believe this is just what we
> required for this situation.
>
> However, in this case the type is abstract (or so I believe), hence
> the error will not occur.
>

My guess is that your full declaration of Root_Connection_Type in the
private part
is not abstract:

...
   type Root_Connection_Type is abstract new
Ada.Finalization.Limited_Controlled with private;
...
private
   type Root_Connection_Type is abstract new
Ada.Finalization.Limited_Controlled with null record;
  -- full declaration. This must also be abstract
...


~egilhh