J.3 Reduced Accuracy Subtypes
A
digits_constraint
may be used to define a floating point subtype with a new value for its
requested decimal precision, as reflected by its Digits attribute. Similarly,
a
delta_constraint
may be used to define an ordinary fixed point subtype with a new value
for its
delta, as reflected by its Delta attribute.
Syntax
Name Resolution Rules
Legality Rules
Static Semantics
Dynamic Semantics
A
digits_constraint
is
compatible with a floating point subtype if the value of the
expression
is no greater than the requested decimal precision of the subtype, and
the
range_constraint,
if any, is compatible with the subtype.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe