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,ddba00b4baf322d8
X-Google-Attributes: gid103376,public
From: jsa@alexandria (Jon S Anthony)
Subject: Re: Access to primitive operations of tagged types
Date: 1997/03/18
Message-ID: <JSA.97Mar18183425@alexandria>#1/1
X-Deja-AN: 226563964
Distribution: world
References: <hkbmg5.2h2.ln@localhost>
Organization: PSI Public Usenet Link
Newsgroups: comp.lang.ada
Date: 1997-03-18T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <hkbmg5.2h2.ln@localhost> njt@sv1pc161.cs.york.ac.uk (Nigel J. Tracey) writes:

> My problem is however that I cannot pass an access to the callback
> functions when installing the callback routine in X.  The Ada RM
> states that a dereference of an access-to-subprogram value is never
> a dispatching call.

Make the "access" registered functions non dispatching, make them
private (or better yet in a body), and have them _call_ their
appropriate dispatchable operation.

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com