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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,aeb76e9a1032bd70,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-09-12 02:02:19 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!194.213.69.151!news.algonet.se!newsfeed1.telenordia.se!algonet!uab.ericsson.se!erix.ericsson.se!newstoo.ericsson.se!not-for-mail
From: "Sebastian" <sebastian.madunic@esavionics.se>
Newsgroups: comp.lang.ada
Subject: "type X is abstract tagged limited private"
Date: Wed, 12 Sep 2001 11:01:07 +0200
Organization: ericsson
Message-ID: <9nn76f$lml$1@newstoo.ericsson.se>
NNTP-Posting-Host: 172.17.81.175
X-Newsreader: Microsoft Outlook Express 4.72.2106.4
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4
Xref: archiver1.google.com comp.lang.ada:13044
Date: 2001-09-12T11:01:07+02:00
List-Id: <comp.lang.ada>

Hi,
I'm pretty new in Ada programming and a have seen this in a code example

pragma pure;
type X is abstract tagged limited private;
procedure y(a : in X);
private
type X is abstract tagged limited null record;

what is the meaning of this?

Thanks