Ada Programming/Attributes/'Scaling

Description

Scaling by a power of the hardware radix.

Let v be the value X · T'Machine_Radix^Adjustment. If v is a machine number of the type T, or if |v| ≥ T'Model_Small, the function yields v; otherwise, it yields either one of the machine numbers of the type T adjacent to v. Constraint_Error is optionally raised if v is outside the base range of S. A zero result has the sign of X when S'Signed_Zeros is True.

Example

S’Scaling (X:T;Adjustment:universal_integer) return T