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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,fd8c808621763c34
X-Google-Attributes: gid103376,public
From: Steve Kerr <stephen.kerr@gecm.com>
Subject: Re: help Please
Date: 1999/01/27
Message-ID: <36AEE12E.A97785D2@gecm.com>#1/1
X-Deja-AN: 437448345
Content-Transfer-Encoding: 8bit
References: <36ab9be5.2873369@news.ptd.net> <m3u2xgwa9x.fsf@mheaney.ni.net>
 <36ADB3F7.7A239560@gecm.com> <78kihc$m55@hobbes.crc.com>
Content-Type: text/plain; charset=iso-8859-1
Organization: GMRDS
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-01-27T00:00:00+00:00
List-Id: <comp.lang.ada>

David C. Hoos, Sr. wrote:

> Hear what RM95 says:
>
> S�Value For every scalar subtype S:
>
> S�Value denotes a function with the following specification:
>
> function S'Value(Arg : String)
> return S'Base
>
> This function returns a value given an image of the value as a String,
> ignoring any leading or trailing spaces. See 3.5.

 This is true in Ada 95, but NOT Ada 83. The Ada 83 LRM states:

        P'value -  For a prefix P that denotes a discrete type or subtype.

The original poster did not say whether he was using Ada83 or Ada95, so I guess
we are both correct.

This does though raise an interesting point though (assuming that the same rules
apply to the image attribute), how does Ada95 decide on the string
representation of a floating point number for the image attribute ? i.e. how
many decimal places to display and whether to display an exponent, particulaly
where the float can be represented without an exponent (e.g. 0.1234). My guess
is that this is compiler dependant, does anyone know different ?