Skip to content

Commit 65319ef

Browse files
authored
Merge pull request #1293 from gusthoff/content/advanced_ada/new_content/numerics/decimal_fixed_point_types/20251003
Adding section about decimal fixed-point types
2 parents f00f69d + 882a2fb commit 65319ef

File tree

6 files changed

+2615
-95
lines changed

6 files changed

+2615
-95
lines changed

content/courses/advanced-ada/parts/abstraction-oriented_prog/generics.rst

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2552,6 +2552,12 @@ procedure.
25522552
Formal fixed-point types
25532553
~~~~~~~~~~~~~~~~~~~~~~~~
25542554

2555+
.. todo::
2556+
2557+
Discuss how attributes such as Digits, Delta, and Scale can be usefully
2558+
applied to generic formal fixed point types.
2559+
2560+
25552561
Simple generic package
25562562
^^^^^^^^^^^^^^^^^^^^^^
25572563

content/courses/advanced-ada/parts/data_types/numeric_attributes.rst

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1477,6 +1477,8 @@ Attributes of decimal fixed-point types
14771477
The attributes presented in this subsection are only available for decimal
14781478
fixed-point types.
14791479

1480+
.. _Adv_Ada_Decimal_Fixed_Point_Type_Digits_Attribute:
1481+
14801482
Attribute: :ada:`Digits`
14811483
^^^^^^^^^^^^^^^^^^^^^^^^^
14821484

@@ -1507,6 +1509,8 @@ the value is two, which was used in the declaration of the :ada:`T3_D2`
15071509
subtype.
15081510

15091511

1512+
.. _Adv_Ada_Decimal_Fixed_Point_Type_Scale_Attribute:
1513+
15101514
Attribute: :ada:`Scale`
15111515
^^^^^^^^^^^^^^^^^^^^^^^^
15121516

@@ -1554,6 +1558,7 @@ In this example, we get the following values for the scales:
15541558
As you can see, the value of :ada:`Scale` is directly related to the *delta*
15551559
of the corresponding type declaration.
15561560

1561+
.. _Adv_Ada_Decimal_Fixed_Point_Type_Round_Attribute:
15571562

15581563
Attribute: :ada:`Round`
15591564
^^^^^^^^^^^^^^^^^^^^^^^^

0 commit comments

Comments
 (0)