From: mheaney@ni.net (Matthew Heaney)
Subject: Re: Flexible Strings (was Equality operator...)
Date: 1997/05/10
Date: 1997-05-10T00:00:00+00:00 [thread overview]
Message-ID: <mheaney-ya023680001005971803120001@news.ni.net> (raw)
In-Reply-To: dewar.863287346@merv
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
next prev parent reply other threads:[~1997-05-10 0:00 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-04-30 0:00 Flexible Strings (was Equality operator...) W. Wesley Groleau (Wes)
1997-04-30 0:00 ` Matthew Heaney
1997-05-01 0:00 ` Robert Dewar
1997-05-02 0:00 ` Kevin Cline
1997-05-03 0:00 ` Robert Dewar
1997-05-04 0:00 ` Kevin Cline
1997-05-04 0:00 ` Robert Dewar
1997-05-06 0:00 ` Kaz Kylheku
1997-05-07 0:00 ` Kevin Cline
1997-05-07 0:00 ` Matthew Heaney
1997-05-07 0:00 ` Jon S Anthony
1997-05-07 0:00 ` Robert A Duff
1997-05-07 0:00 ` Robert Dewar
1997-05-07 0:00 ` Jon S Anthony
1997-05-07 0:00 ` Robert Dewar
1997-05-07 0:00 ` Robert A Duff
1997-05-07 0:00 ` Robert Dewar
1997-05-08 0:00 ` Robert I. Eachus
1997-05-07 0:00 ` Robert Dewar
1997-05-09 0:00 ` Erik Magnuson
1997-05-10 0:00 ` Robert Dewar
1997-05-10 0:00 ` Matthew Heaney [this message]
1997-05-10 0:00 ` John G. Volan
1997-05-10 0:00 ` Robert Dewar
1997-05-10 0:00 ` Matthew Heaney
1997-05-11 0:00 ` Robert Dewar
1997-05-12 0:00 ` Erik Magnuson
1997-05-03 0:00 ` Jon S Anthony
[not found] <199705010554.WAA24507@ni1.ni.net>
1997-05-01 0:00 ` W. Wesley Groleau (Wes)
1997-05-02 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox