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.9 required=5.0 tests=BAYES_00,XPRIO autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b0f4738b8e27cca3,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-11-25 07:15:11 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!npeer.de.kpn-eurorings.net!rz.uni-karlsruhe.de!feed.news.schlund.de!schlund.de!news.online.de!not-for-mail
From: "Ekkehard Morgenstern" <ekkehard.morgenstern@onlinehome.de>
Newsgroups: comp.lang.ada
Subject: Problem with protected type
Date: Tue, 25 Nov 2003 16:15:14 +0100
Organization: 1&1 Internet AG
Message-ID: <bpvrlt$6cs$1@online.de>
NNTP-Posting-Host: p508c004b.dip0.t-ipconnect.de
X-Trace: online.de 1069773310 6556 80.140.0.75 (25 Nov 2003 15:15:10 GMT)
X-Complaints-To: abuse@einsundeins.com
NNTP-Posting-Date: Tue, 25 Nov 2003 15:15:10 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Xref: archiver1.google.com comp.lang.ada:2923
Date: 2003-11-25T16:15:14+01:00
List-Id: <comp.lang.ada>


Hi guys,

I'm an Ada newbie, and I have a problem with a protected type definition
(Ada 95, GNAT 3.15p):

 type CoreEvent is limited private;

 protected BaseEvent is
  entry Wait;
  procedure Signal;
  procedure ManualMode;
  procedure AutoMode;
  procedure Reset;
  function IsSignaled return Boolean;
 private
  EventObject : CoreEvent;
  ManualReset : Boolean := FALSE;
 end BaseEvent;

The compiler reports "premature usage of incomplete type derived from
"BaseEvent"".

What's wrong here?

Can I use a barrier expression that is doing a function call?

The barrier expression in this case would be "IsSignaled( EventObject )",
which is a function defined as "function IsSignaled( Evt : in CoreEvent )
return Boolean".