Next: , Previous: Annex F, Up: Annex F


F.1 Machine_Radix Attribute Definition Clause

Static Semantics

1
{specifiable (of Machine_Radix for decimal first subtypes) [partial]} {Machine_Radix clause} 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.

1.a

Ramification: In the absence of a Machine_Radix clause, the choice of 2 versus 10 for S'Machine_Radix is not specified.
Implementation Advice

2
Packed decimal should be used as the internal representation for objects of subtype S when S'Machine_Radix = 10.

2.a/2

Implementation Advice: Packed decimal should be used as the internal representation for objects of subtype S when S'Machine_Radix = 10.

2.b

Discussion: The intent of a decimal Machine_Radix attribute definition clause is to allow the programmer to declare an Ada decimal data object whose representation matches a particular COBOL implementation's representation of packed decimal items. The Ada object may then be passed to an interfaced COBOL program that takes a packed decimal data item as a parameter, assuming that convention COBOL has been specified for the Ada object's type in a pragma Convention.

2.c

Additionally, the Ada compiler may choose to generate arithmetic instructions that exploit the packed decimal representation.
Examples

3
Example of Machine_Radix attribute definition clause:

4

     type Money is delta 0.01 digits 15;
     for Money'Machine_Radix use 10;