From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9b05d372d1b25f25 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local02.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 03 Jul 2008 14:19:36 -0500 From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: Interfacing to C and types visible to Ada References: X-Newsreader: Tom's custom newsreader Message-ID: Date: Thu, 03 Jul 2008 14:19:37 -0500 X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 71.202.183.17 X-Trace: sv3-jDJW8G2d58pAlUvzpkRvbl0L+e8WKZml4ALfAnM1k1Nuoo6Clfa5uSPxYaDqisLjGycV0o9rXekP84K!6e81EHwDWzBoRv8r+YroULLiRnGcDYSTQju7NgGB/wxEhsWdFT5Rpxtk0c+CC7D/3jIBW5i8aIKS!Bwq8RkCVdMtd3D6vW/9sIPQ9JLE/rw== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.39 Xref: g2news1.google.com comp.lang.ada:996 Date: 2008-07-03T14:19:37-05:00 List-Id: > 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?