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,a070c512f8bdd68e,start
X-Google-Attributes: gid103376,public
From: rayoub@wam.umd.edu (Ronald Ayoub)
Subject: Access Types
Date: 1999/07/15
Message-ID: <7mkgqq$elo$1@dailyplanet.wam.umd.edu>#1/1
X-Deja-AN: 502747902
X-Trace: dailyplanet.wam.umd.edu 932038298 15032 128.8.10.144 (15 Jul 1999
 11:31:38 GMT)
Organization: University of Maryland College Park
NNTP-Posting-Date: 15 Jul 1999 11:31:38 GMT
Newsgroups: comp.lang.ada
X-Complaints-To: abuse@wam.umd.edu
Date: 1999-07-15T11:31:38+00:00
List-Id: <comp.lang.ada>


For this line of code:

type File_Access is access constant File_Type;

I understand this to mean that File_Access points to a File_Type variable
which cannot be changed but the value pointed to can be changed. Is this
correct?

How would you specify that the value pointed to is constant? Would it be

type File_Access is constant access File_Type;

Would this specify that both semantic elements are constant

type File_Access is constant access constant File_Type;

Thanks.

Ron