comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@gnat.com (Robert Dewar)
Subject: Re: Ada -vs- GNAT
Date: 25 May 2002 03:49:29 -0700
Date: 2002-05-25T10:49:29+00:00	[thread overview]
Message-ID: <5ee5b646.0205250249.15b6fc84@posting.google.com> (raw)
In-Reply-To: sXCH8.103053$Po6.225647@rwcrnsc52.ops.asp.att.net

"Steve Doiel" <nospam_steved94@attbi.com> wrote in message news:<sXCH8.103053$Po6.225647@rwcrnsc52.ops.asp.att.net>...

> Personally I find the introduction of attributes and pragmas that are not
> essential to be undesirable.

Well of course essential is somewhat in the eye of the beholder, but
if you
want to be sure of not using any non-standard pragmas you can use

pragma Restrictions (No_Implementation_Pragmas);

and/or

pragma Restrictions (No_Implementation_Attributes);

All Ada compilers introduce implementation pragmas and attributes.
Furthermore
there are of course dozens of oher ways in which the behavior of code
can be
implementation dependent (see annex M of the standard).

Note that the restrictions above are also implementation dependent,
but the
ARG has recommended that these be added to the language (along with
some other
attributes and pragmas introduced by GNAT, including Unsuppress).

By the way, you were lucky that you could get around the use of
Unrestricted_Access. When applied to procedures, this provides very
important (essential?) capabilities that are just not obtainable
easily any other way (it is a real shame that the language got a bit
crippled here by concerns of specific vendors about transitioning
their existing Ada 83 compilers).



  parent reply	other threads:[~2002-05-25 10:49 UTC|newest]

Thread overview: 62+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-25  2:47 Ada -vs- GNAT Steve Doiel
2002-05-25  4:21 ` Simon Wright
2002-05-25  5:48   ` tmoran
2002-05-25  7:36     ` Pascal Obry
2002-05-28 13:14       ` Marin David Condic
2002-05-25  7:52     ` Simon Wright
2002-05-25 10:58     ` Robert Dewar
2002-05-25 18:28       ` tmoran
2002-05-25 21:52         ` Brian Rogoff
2002-05-26  5:20           ` David Botton
2002-05-26  9:11         ` Preben Randhol
2002-05-26 11:13           ` Simon Wright
2002-05-26 12:57             ` Preben Randhol
2002-05-25 17:38     ` Richard Riehle
2002-05-25 18:37       ` tmoran
2002-05-25 20:13         ` Richard Riehle
2002-05-28 13:47       ` Marin David Condic
2002-05-28 17:55       ` Stephen Leake
2002-05-28 18:35         ` Marin David Condic
2002-05-28 21:42         ` Robert I. Eachus
2002-05-25  7:55   ` Simon Wright
2002-05-25 11:04   ` Robert Dewar
2002-05-25 11:23     ` Simon Wright
2002-05-25 11:51   ` Larry Kilgallen
2002-05-25 15:34     ` Robert Dewar
2002-05-25 20:09   ` Robert C. Leif
2002-05-25  7:27 ` Pascal Obry
2002-05-25  7:41 ` Preben Randhol
2002-05-25 14:46   ` Steve Doiel
2002-05-25 17:03     ` Preben Randhol
2002-05-25 17:10       ` Pascal Obry
2002-05-25 17:17         ` Preben Randhol
2002-05-25 22:23     ` Robert Dewar
2002-05-25 23:24       ` Steve Doiel
2002-05-26  9:21         ` Preben Randhol
2002-05-28 13:58         ` Marin David Condic
2002-05-29 11:13           ` Preben Randhol
2002-06-28 18:25             ` pontius
2002-05-25 15:35   ` Robert Dewar
2002-05-25  8:00 ` chris.danx
2002-05-25 15:37   ` Robert Dewar
2002-05-25 15:53     ` chris.danx
2002-05-25 17:02       ` Pascal Obry
2002-05-25 17:50         ` chris.danx
2002-05-25 18:04           ` Pascal Obry
2002-05-25 22:37           ` Robert Dewar
2002-05-25 22:44             ` chris.danx
2002-05-26  2:05               ` Robert Dewar
2002-05-25 22:31       ` Robert Dewar
2002-05-26  5:29   ` David Botton
2002-05-25 10:49 ` Robert Dewar [this message]
2002-05-25 11:02 ` Robert Dewar
2002-05-28 18:09   ` Stephen Leake
2002-05-25 11:09 ` Robert Dewar
2002-06-07 22:39 ` Randy Brukardt
2002-06-08 12:14   ` Robert Dewar
2002-06-08 19:37     ` SteveD
2002-06-09 12:13       ` Robert Dewar
2002-06-12 17:07         ` Warren W. Gay VE3WWG
2002-06-09 18:05       ` Robert Dewar
2002-06-09 18:06     ` Richard Riehle
2002-06-10 21:22       ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox