From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: GNAT and “pragma Restrictions (No_Implementation_Pragmas);”
Date: Mon, 28 Nov 2011 00:01:08 +0100
Date: 2011-11-28T00:01:08+01:00 [thread overview]
Message-ID: <jauffh$kdl$1@dont-email.me> (raw)
In-Reply-To: <op.v5mkrtj4ule2fv@douda-yannick>
Le 27/11/2011 23:00, Yannick Duchêne (Hibou57) a écrit :
> Is this normal behavior or not ? If a gnat.adc file contains
>
> pragma Restrictions (No_Implementation_Pragmas);
>
> Then at compile time, I get restrictions violation error for each type
> and subprogram predicate. Cannot use any “with Pre => …” and others. Or
> may be I did not understood the meaning of this pragma ?
>
Pre and post conditions were implemented as (implementation defined)
pragmas in Gnat 2005. Gnat implements the 2012 aspects by translating
them into pragmas. Therefore, it is not surprising that they might still
be flagged as implementation defined... Worth reporting to AdaCore.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Adalog a déménagé / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
next prev parent reply other threads:[~2011-11-27 23:01 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-11-27 22:00 GNAT and “pragma Restrictions (No_Implementation_Pragmas);” Yannick Duchêne (Hibou57)
2011-11-27 23:01 ` J-P. Rosen [this message]
2011-11-28 13:21 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox