comp.lang.ada
 help / color / mirror / Atom feed
From: tmoran@acm.org
Subject: Re: Interfacing to C and types visible to Ada
Date: Thu, 03 Jul 2008 14:19:37 -0500
Date: 2008-07-03T14:19:37-05:00	[thread overview]
Message-ID: <bOudnQIPr4HUu_DVnZ2dnUVZ_vOdnZ2d@comcast.com> (raw)
In-Reply-To: ff92d09d-5638-4422-ab11-d214529c0283@l64g2000hse.googlegroups.com

> not have any dedicated domain. In other words, it is not "number of
> apples", not "height in meters", not "hotel room number", etc., it is
> just plain "integer", which meaning can depend on how the given
  So the only known fact about these entities is that they are
the same size as Interfaces.C.Int?  What operations are legitimate?
Clearly not arithmetic (adding hotel room numbers?).  Does ">" always make
sense?  Are they black box bit patterns (eg window handles)?  Should
your wrapper say "type Whatever is [limited] private;" and then
"for Whatever'size use Interfaces.C.Int'size;"  How would you specify
one of these as an Ada generic parameter?



  parent reply	other threads:[~2008-07-03 19:19 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-07-03 12:32 Interfacing to C and types visible to Ada Maciej Sobczak
2008-07-03 12:52 ` Georg Bauhaus
2008-07-03 12:58 ` Ludovic Brenta
2008-07-03 14:33 ` Robert A Duff
2008-07-03 19:19 ` tmoran [this message]
2008-07-03 19:35 ` Keith Thompson
2008-07-03 20:35   ` Maciej Sobczak
2008-07-05 20:08     ` Fionn Mac Cumhaill
2008-07-04  4:36 ` Steve
replies disabled

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