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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,50dfc152dc561349,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!feeder.news-service.com!feed.xsnews.nl!border-2.ams.xsnews.nl!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Asis.Text.Character_Position : inconsistency ? Date: Sun, 07 Nov 2010 09:04:11 +0100 Organization: Ada @ Home Message-ID: NNTP-Posting-Host: w00cPq0BvzOlRCSRJJEoeQ.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.63 (Win32) Xref: g2news1.google.com comp.lang.ada:15366 Date: 2010-11-07T09:04:11+01:00 List-Id: Hello Ada writers, I was trying to patch AdaControl ( http://www.adalog.fr/adacontrol2.htm ) so that it can build with Gela-ASIS. This is an interesting process of little refactorisation, as Gela-ASIS is clearly design so that it make no reference at all to a specific compiler implementation (it do so defining an Implementation_Defined_Type from which other discrete types are derived). After a first attempt I restarted again and felt something was wrong as I could not get something coherent about types. Prior note: I do not own a copy of the ISO ASIS reference, so I cannot tell who of TenDRA or ISO is right or wrong. What disturbs me, if I believe (as I feel it is) that Gela-ASIS heavily stick on the ASIS standard: Asis.Text defines two types, Character_Position and Line_Number. Character_Position is derived from ASIS_Natural, which in turn is derived from ASIS_Integer, which, the latter, is implementation defined. Also, Asis defines a type Asis.Program_Text, which is not implementation defined, and which is explicitly an unconstrained subtype of the Ada's type Standard.Wide_String. Shouldn't be Asis.Text.Character_Position be defined so that is can be used as an index in Asis.Program_Text ? This would imply Character_Position would be a derived from Standard.Positive, and due to the way Character_Position is derived, as explained above, this would imply the root implementation defined type, should be instead, at least derived from Positive or an ancestor type of Positive. Which is wrong ? TenDRA with Gela-ASIS or the ASIS ISO reference (which I do not own, so I cannot check). Comments and lightings welcome from any one owning a copy of the ASIS reference, so that I can figure if I should primarily patch Gela-ASIS or AdaControl. With thanks