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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!microsoft!johnro
From: johnro@microsoft.UUCP (John ROGERS)
Newsgroups: comp.lang.ada
Subject: What is a "special function"?
Keywords: attributes, 'VAL, LRM
Message-ID: <56685@microsoft.UUCP>
Date: 17 Aug 90 21:40:11 GMT
Organization: Microsoft OS/2 file systems group
List-Id: <comp.lang.ada>

Hi!  Could someone please clarify something in the LRM for me?  I've
been looking at the definitions of all of the attributes, and I noticed
something for the first time.  At least 5 of the attributes are described as
"functions", but 1 of the attributes is described as a "special function".
The regular ones ('IMAGE, 'POS, 'PRED, 'SUCC, and 'VALUE) don't seem to be
much different from the "special" one ('VAL).  I haven't been able to
find anything in the LRM (or the index to the Rationale that I have)
on this.  So, can anyone tell me what a "special function" is?

If you'd like to look it up for yourself, the sections of the LRM are
3.5.5(7) and Annex A(48).

Thanks in advance,
-- 
Happy hacking!				     with Standard.Disclaimer;  --Ada
--JR (John Rogers, JohnRo@Microsoft.UUCP)    #include "disclaimer.h"    /* C */
UUCP: {uunet,decwrl,sun,uw-beaver}!microsoft!johnro
	"An eye for an eye just leaves everyone blind."