From: Laurent Guerby <Laurent.Guerby@enst-bretagne.fr>
Subject: Re: Pro*Ada and Gnat
Date: 1997/03/03
Date: 1997-03-03T00:00:00+00:00 [thread overview]
Message-ID: <fx7mjp5nwm.fsf@boole.enst-bretagne.fr> (raw)
In-Reply-To: 5f9hlt$7j9@hetre.wanadoo.fr
Rosen.Adalog@wanadoo.fr (J-P. Rosen) writes:
> We have been unable to use Pro*Ada (Oracle) with Gnat. Apparently,
> Pro*Ada uses heavily unchecked_conversions between pointers and
> adresses, and other doubtful features; has anyone succeded to use
> Pro*Ada with Gnat ?
Two GNAT features are of a great help in this kind of situation:
- Compile time warnings about Unchecked_Conversion between types with
different sizes,
- Size representation clause on access types.
Example:
type P is access String; -- by default fat (double) pointer with GNAT
for P'Size use Integer'Size; -- force thin pointer
function F is new Unchecked_Conversion (P, Integer);
-- no more warnings ;-)
--
Laurent Guerby <guerby@gnat.com>, Team Ada.
"Use the Source, Luke. The Source will be with you, always (GPL)."
next prev parent reply other threads:[~1997-03-03 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-01 0:00 Pro*Ada and Gnat J-P. Rosen
1997-03-03 0:00 ` Robert Dewar
1997-03-03 0:00 ` Brad Balfour
1997-03-04 0:00 ` J-P. Rosen
1997-03-11 0:00 ` Ed Bruce
1997-03-03 0:00 ` Laurent Guerby [this message]
1997-03-03 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