From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Subject: Re: Valid attribute and input operations
Date: Sat, 23 Sep 2023 23:48:49 +0200 [thread overview]
Message-ID: <uenmg1$qctd$1@dont-email.me> (raw)
In-Reply-To: <22930fd1-c7ff-46cf-8c75-892212afa85en@googlegroups.com>
On 2023-09-23 22:22, Maciej Sobczak wrote:
>
> I have checked the above program on several on-line compilers, all of them behave according to interpretation 2 above.
> Richard claims to get behavior 1 on his compiler.
>
> What is your take on this? Any language lawyers?
The important thing is the definition of Ada.Text_IO.Integer_IO.Get [ARM
A.10.8(7-10)]:
"... skips any leading blanks, line terminators, or page terminators, then reads
a plus sign if present or (for a signed type only) a minus sign if present, then
reads the longest possible sequence of characters matching the syntax of a
numeric literal without a point. ...
"Returns, in the parameter Item, the value of type Num that corresponds to the
sequence input.
"The exception Data_Error is propagated if the sequence of characters read does
not form a legal integer literal or if the value obtained is not of the subtype
Num."
So a call to Get can only return a valid value of type Num (Integer for your
case) or raise Data_Error.
If Get is reading "500" then that certainly represents a valid value of type
Integer, and Get should copy that back to the actual parameter.
If you are using Ada (a language with run-time checks), then a check should be
made that the value is in the range of the actual parameter's subtype, here
Integer range 0 .. 200. That should fail and Constraint_Error should be raised.
However, if you are not using Ada because that check has been suppressed, then
the actual parameter will be left with the invalid value 500 and
Constraint_Error will not be raised.
If I build your program with checks enabled, I get Constraint_Error. If I build
it with checks suppressed, I get the not-valid message (GNAT 12.3).
--
Jeff Carter
"If you don't get the President of the United States on that
phone, ... you're going to have to answer to the Coca-Cola
Company."
Dr. Strangelove
32
next prev parent reply other threads:[~2023-09-23 21:48 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-23 20:22 Valid attribute and input operations Maciej Sobczak
2023-09-23 21:48 ` Jeffrey R.Carter [this message]
2023-09-26 6:13 ` Randy Brukardt
2023-09-26 7:22 ` Niklas Holsti
2023-09-28 3:27 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox