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,2925b133078d1557
X-Google-Attributes: gid103376,public
From: mheaney@ni.net (Matthew Heaney)
Subject: Re: Flexible Strings (was Equality operator...)
Date: 1997/05/10
Message-ID: <mheaney-ya023680001005971803120001@news.ni.net>#1/1
X-Deja-AN: 240768340
References: <9704301422.AA07755@most>
   <mheaney-ya023680003004972301380001@news.ni.net>
        <3F2AA8DEC61418AE.502E81A8ECA1C4E7.3A25DE2FB38755A4@library-proxy.airnews.net>
  <dewar.862662015@merv>
  <F8EE9AADC9C36923.41A42DC23ED785AA.CE3497CD89914525@library-proxy.airnews.net>
  <dewar.862755569@merv> <lvzpu4gvt7.fsf@sulu.fl.ensco.com>
 <dewar.863287346@merv>
Organization: Estormza Software
Newsgroups: comp.lang.ada
Date: 1997-05-10T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.863287346@merv>, dewar@merv.cs.nyu.edu (Robert Dewar) wrote:


>Note that in Ada 95, providing you are using a compiler, such as GNAT, that
>fully supports annex H, then you have *exactly* what you need via
>
>   pragma Restrictions (No_Unchecked_Deallocation);
>
>this will cause a program to be illegal if it attempts to instantiate
>Unchecked_Deallocation -- just what you want for your small embedded system
>example.

Is this restriction global, or can you forbid deallocation on a per access
type basis?

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271