* GNAT and “pragma Restrictions (No_Implementation_Pragmas);”
@ 2011-11-27 22:00 Yannick Duchêne (Hibou57)
2011-11-27 23:01 ` J-P. Rosen
0 siblings, 1 reply; 3+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2011-11-27 22:00 UTC (permalink / raw)
Hi all,
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 ?
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: [Epigrams on Programming — Alan J. — P. Yale University]
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: GNAT and “pragma Restrictions (No_Implementation_Pragmas);”
2011-11-27 22:00 GNAT and “pragma Restrictions (No_Implementation_Pragmas);” Yannick Duchêne (Hibou57)
@ 2011-11-27 23:01 ` J-P. Rosen
2011-11-28 13:21 ` Yannick Duchêne (Hibou57)
0 siblings, 1 reply; 3+ messages in thread
From: J-P. Rosen @ 2011-11-27 23:01 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2011-11-28 13:21 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-11-27 22:00 GNAT and “pragma Restrictions (No_Implementation_Pragmas);” Yannick Duchêne (Hibou57)
2011-11-27 23:01 ` J-P. Rosen
2011-11-28 13:21 ` Yannick Duchêne (Hibou57)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox