The safe interval for a fixed/integer result AI-00516/05 1
88-05-23 BI WJ
| !standard 04.05.07 (04) 88-05-23 AI-00516/05
!class binding interpretation 86-10-13
| !status approved by WG9/AJPO 88-02-05
| !status approved by Director, AJPO 88-02-05
| !status approved by WG9/Ada Board 87-12-07
!status approved by Ada Board 87-07-30
!status panel/committee-approved 87-05-06 (reviewed)
!status panel/committee-approved (8-0-0) 87-02-18 (pending editorial review)
!status work-item 87-01-15
!status received 86-10-13
!references 83-00829
!topic The safe interval for a fixed/integer result
!summary 87-03-18
When a fixed point value is divided by an integer value, the result model
interval is determined by considering the integer value to be a model
interval consisting of a single integer value.
!question 87-03-18
4.5.5(8) says:
Division of a fixed point value by an integer does not involve a
change in type but is approximate (see 4.5.7).
The rules in 4.5.7 do not, however, specify what the model interval of an
integer is, so, strictly speaking, the accuracy of such divisions is not
defined. Is the intent to apply the usual rules given that the integer value
is a safe number?
!recommendation 87-03-18
For purposes of applying the rules in 4.5.7, an integer value is considered
to be a model interval consisting of a single integer value.
!discussion 87-06-11
Clearly, when determining the result model interval for division of a fixed
point value by an integer, the rules in 4.5.7 should be applied with the
integer value being considered to be a model interval consisting of a single
value.