F.3.2 Edited Output Generation
Dynamic Semantics
1
The contents of an
edited output string are based on:
2
A value, Item, of some decimal type Num,
3
An expanded picture String Pic_String,
4
A Boolean value, Blank_When_Zero,
5
A Currency string,
6
A Fill character,
7
A Separator character, and
8
A Radix_Mark character.
9
The combination of a True value for Blank_When_Zero
and a '*' character in Pic_String is inconsistent; no edited output string
is defined.
9.a/2
Reason: {
AI95-00114-01}
Such a Pic_String is invalid, and any attempt to
use such a string will raise Picture_Error.
10
A layout error is identified in the rules below if
leading non-zero digits of Item, character values of the Currency string,
or a negative sign would be truncated; in such cases no edited output
string is defined.
11
The edited output string has lower bound 1 and upper
bound N where N = Pic_String'Length + Currency_Length_Adjustment –
Radix_Adjustment, and
12
Currency_Length_Adjustment = Currency'Length –
1 if there is some occurrence of '$' in Pic_String, and 0 otherwise.
13
Radix_Adjustment = 1 if there is an occurrence
of 'V' or 'v' in Pic_Str, and 0 otherwise.
14
Let
the magnitude of Item be expressed as a base-10 number I
p···I
1.F
1···F
q,
called the
displayed magnitude of Item, where:
15
q = Min(Max(Num'Scale, 0), n) where n is 0 if Pic_String
has no radix and is otherwise the number of
digit positions following radix in Pic_String,
where a digit position corresponds to an occurrence of '9', a zero_suppression_char
(for an all_zero_suppression_number), a currency_char
(for an all_currency_number), or a sign_char
(for an all_sign_number).
16
Ip
/= 0 if p>0.
17
If n < Num'Scale, then the above number is the
result of rounding (away from 0 if exactly midway between values).
18
If Blank_When_Zero = True and the displayed magnitude
of Item is zero, then the edited output string comprises all space character
values. Otherwise, the picture String is treated as a sequence of instances
of syntactic categories based on the rules in
F.3.1,
and the edited output string is the concatenation of string values derived
from these categories according to the following mapping rules.
19
Table F-1 shows the mapping from a sign control symbol
to a corresponding character or string in the edited output. In the columns
showing the edited output, a lower-case 'b' represents the space character.
If there is no sign control symbol but the value of Item is negative,
a layout error occurs and no edited output string is produced.
Table F-1: Edited Output for Sign Control Symbols
Sign Control Symbol | Edited
Output for
Non-Negative Number | Edited Output for
Negative Number
|
---|
'+' | '+' | '–'
|
'–' | 'b' | '–'
|
'<' | 'b' | '('
|
'>' | 'b' | ')'
|
"CR" | "bb" | "CR"
|
"DB" | "bb" | "DB"
|
20
An instance of fixed_LHS_sign
maps to a character as shown in Table F-1.
21
An instance of fixed_$_char
maps to Currency.
22
An instance of direct_insertion
maps to Separator if direct_insertion = '_',
and to the direct_insertion Character otherwise.
23
An instance of number
maps to a string integer_part & radix_part & fraction_part
where:
24
The string for integer_part is obtained
as follows:
25
1.
Occurrences of '9' in fore_digits of number
are replaced from right to left with the decimal digit character values
for I1,
..., Ip,
respectively.
26
2.
Each occurrence of '9' in fore_digits to the
left of the leftmost '9' replaced according to rule 1 is replaced with
'0'.
27
3.
If p exceeds the number of occurrences of '9' in fore_digits
of number, then the excess leftmost digits
are eligible for use in the mapping of an instance of zero_suppression,
floating_LHS_sign, floating_$_currency,
or floating_#_currency to the left of number;
if there is no such instance, then a layout error occurs and no edited
output string is produced.
28
The radix_part
is:
29
"" if number
does not include a radix, if radix
= 'V', or if radix = 'v'
30
Radix_Mark if number
includes '.' as radix
31
The string for fraction_part
is obtained as follows:
32
1.
Occurrences of '9' in aft_digits of number
are replaced from left to right with the decimal digit character values
for F1,
... Fq.
33
2.
Each occurrence of '9' in aft_digits to the
right of the rightmost '9' replaced according to rule 1 is replaced by
'0'.
34
An instance of zero_suppression
maps to the string obtained as follows:
35
1.
The rightmost 'Z', 'z', or '*' Character values are replaced with the
excess digits (if any) from the integer_part of the mapping of
the number to the right of the zero_suppression
instance,
36
2.
A context_sensitive_insertion Character is
replaced as though it were a direct_insertion
Character, if it occurs to the right of some 'Z', 'z', or '*' in zero_suppression
that has been mapped to an excess digit,
37
3.
Each Character to the left of the leftmost Character replaced according
to rule 1 above is replaced by:
38
the space character if the zero
suppression Character is 'Z' or 'z', or
39
the Fill character if the zero suppression
Character is '*'.
40
4.
A layout error occurs if some excess digits remain after all 'Z', 'z',
and '*' Character values in zero_suppression
have been replaced via rule 1; no edited output string is produced.
41
An instance of RHS_sign
maps to a character or string as shown in Table F-1.
42
An instance of floating_LHS_sign
maps to the string obtained as follows.
43
1.
Up to all but one of the rightmost LHS_Sign
Character values are replaced by the excess digits (if any) from the
integer_part of the mapping of the number
to the right of the floating_LHS_sign instance.
44
2.
The next Character to the left is replaced with the character given by
the entry in Table F-1 corresponding to the LHS_Sign
Character.
45
3.
A context_sensitive_insertion Character is
replaced as though it were a direct_insertion
Character, if it occurs to the right of the leftmost LHS_Sign
character replaced according to rule 1.
46
4.
Any other Character is replaced by the space character..
47
5.
A layout error occurs if some excess digits remain after replacement
via rule 1; no edited output string is produced.
48
An instance of fixed_#_currency
maps to the Currency string with n space character values concatenated
on the left (if the instance does not follow a radix)
or on the right (if the instance does follow a radix),
where n is the difference between the length of the fixed_#_currency
instance and Currency'Length. A layout error occurs if Currency'Length
exceeds the length of the fixed_#_currency
instance; no edited output string is produced.
49
An instance of floating_$_currency
maps to the string obtained as follows:
50
1.
Up to all but one of the rightmost '$' Character values are replaced
with the excess digits (if any) from the integer_part of the mapping
of the number to the right of the floating_$_currency
instance.
51
2.
The next Character to the left is replaced by the Currency string.
52
3.
A context_sensitive_insertion Character is
replaced as though it were a direct_insertion
Character, if it occurs to the right of the leftmost '$' Character replaced
via rule 1.
53
4.
Each other Character is replaced by the space character.
54
5.
A layout error occurs if some excess digits remain after replacement
by rule 1; no edited output string is produced.
55
An instance of floating_#_currency
maps to the string obtained as follows:
56
1.
Up to all but one of the rightmost '#' Character values are replaced
with the excess digits (if any) from the integer_part of the mapping
of the number to the right of the floating_#_currency
instance.
57
2.
The substring whose last Character occurs at the position immediately
preceding the leftmost Character replaced via rule 1, and whose length
is Currency'Length, is replaced by the Currency string.
58
3.
A context_sensitive_insertion Character is
replaced as though it were a direct_insertion
Character, if it occurs to the right of the leftmost '#' replaced via
rule 1.
59
4.
Any other Character is replaced by the space character.
60
5.
A layout error occurs if some excess digits remain after replacement
rule 1, or if there is no substring with the required length for replacement
rule 2; no edited output string is produced.
61
An instance of all_zero_suppression_number
maps to:
62
a string of all spaces if the displayed magnitude
of Item is zero, the zero_suppression_char
is 'Z' or 'z', and the instance of all_zero_suppression_number
does not have a radix at its last character
position;
63
a string containing the Fill character in each
position except for the character (if any) corresponding to radix,
if zero_suppression_char = '*' and the displayed
magnitude of Item is zero;
64
otherwise, the same result as if each zero_suppression_char
in all_zero_suppression_aft were '9', interpreting
the instance of all_zero_suppression_number
as either zero_suppression number
(if a radix and all_zero_suppression_aft
are present), or as zero_suppression otherwise.
65
An instance of all_sign_number
maps to:
66
a string of all spaces if the displayed magnitude
of Item is zero and the instance of all_sign_number
does not have a radix at its last character
position;
67
otherwise, the same result as if each sign_char
in all_sign_number_aft were '9', interpreting
the instance of all_sign_number as either
floating_LHS_sign number
(if a radix and all_sign_number_aft
are present), or as floating_LHS_sign otherwise.
68
An instance of all_currency_number
maps to:
69
a string of all spaces if the displayed magnitude
of Item is zero and the instance of all_currency_number
does not have a radix at its last character
position;
70
otherwise, the same result as if each currency_char
in all_currency_number_aft were '9', interpreting
the instance of all_currency_number as floating_$_currency
number or floating_#_currency
number (if a radix
and all_currency_number_aft are present),
or as floating_$_currency or floating_#_currency
otherwise.
Examples
71
In the result string values shown below, 'b' represents
the space character.
72
Item: Picture and Result Strings:
73/3
{
AI05-0248-1}
123456.78 Picture: "-###**_***_**9.99"
Result: "bbb$***123,456.78"
"bbFF***123.456,78" (currency = "FF",
separator = '.',
radix mark = ',')
74/1
{
8652/0089}
{
AI95-00070}
123456.78 Picture: "-
$$$**_***_**9.99"
Result: "
bbb$***123,456.78"
"b
bbFF***123.456,78" (currency = "FF",
separator = '.',
radix mark = ',')
75
0.0 Picture: "-$$$$$$.$$"
Result: "bbbbbbbbbb"
76
0.20 Picture: "-$$$$$$.$$"
Result: "bbbbbb$.20"
77
-1234.565 Picture: "<<<<_<<<.<<###>"
Result: "bb(1,234.57DMb)" (currency = "DM")
78
12345.67 Picture: "###_###_##9.99"
Result: "bbCHF12,345.67" (currency = "CHF")
Wording Changes from Ada 95
78.a/2
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe