Static Semantics
- (1)
- Machine_Radix may be specified for a decimal first subtype (see
3.5.9) via an attribute_definition_clause; the expression of such a clause
shall be static, and its value shall be 2 or 10. A value of 2 implies a binary
base range; a value of 10 implies a decimal base range.
Implementation Advice
- (2)
- Packed decimal should be used as the internal representation for objects
of subtype S when S'Machine_Radix = 10.
Examples
- (3)
- Example of Machine_Radix attribute definition clause:
(4)
type Money is delta 0.01 digits 15;
for Money'Machine_Radix use 10;
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12