Merge pull request #1075 from gusthoff/content/advanced_ada/new_conte…

…nt/records/discriminants/20240713 Adding section on record discriminants
AdaCore · Aug 30, 2024 · bc202cb · bc202cb
2 parents 6de6526 + 3003276
commit bc202cb
Show file tree

Hide file tree

Showing 7 changed files with 1,239 additions and 69 deletions.
diff --git a/content/courses/advanced-ada/parts/control_flow/exceptions.rst b/content/courses/advanced-ada/parts/control_flow/exceptions.rst
@@ -358,6 +358,8 @@ declaration of :ada:`SAI`, the null exclusion fails in the declaration
 itself (because the default value of the access type is :ada:`null`).
 
 
+.. _Adv_Ada_Discriminant_Check:
+
 Discriminant Check
 ~~~~~~~~~~~~~~~~~~
 

diff --git a/content/courses/advanced-ada/parts/control_flow/subprograms.rst b/content/courses/advanced-ada/parts/control_flow/subprograms.rst
@@ -491,6 +491,8 @@ about how this association is made and some of the potential errors.
    - :arm22:`6.4.1 Parameter Associations <6-4-1>`
 
 
+.. _Adv_Ada_Parameter_Order_And_Association:
+
 Parameter order and association
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 

diff --git a/content/courses/advanced-ada/parts/data_types/aggregates.rst b/content/courses/advanced-ada/parts/data_types/aggregates.rst
@@ -270,6 +270,8 @@ Here, we assign 5 to both :ada:`X` and :ada:`Y`.
     - :arm22:`4.3.1 Record Aggregates <4-3-1>`
 
 
+.. _Adv_Ada_Aggregates_Box_Notation:
+
 :ada:`<>`
 ~~~~~~~~~