Merge pull request #1225 from gusthoff/content/advanced_ada/review/editorial/general/20250525

Editorial changes to "Advanced Ada" course

Author: gusthoff

content/courses/advanced-ada/parts/control_flow/expressions.rst

@@ -34,7 +34,8 @@ Relations and simple expressions
 Expressions usually consist of relations, which in turn consist of simple
 expressions. (There are more details to this, but we'll keep it simple for the
 moment.) Let's see a code example with a few expressions, which we dissect into
-the corresponding grammatical elements (we're going to discuss them later):
+the corresponding grammatical elements |mdash| we're going to discuss them
+later:
 
 .. code:: ada run_button project=Courses.Advanced_Ada.Control_Flow.Expressions.Expressions_Definition.Expression_Elements
 

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

@@ -82,6 +82,16 @@ its whole lifetime:
     --  Bounds cannot be changed!
 
 
+.. ::
+
+    Empty arrays
+    ~~~~~~~~~~~~
+
+    .. todo::
+
+        Complete section!
+
+
 .. _Adv_Ada_Constrained_Array_Type:
 
 Constrained array types

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

@@ -829,7 +829,7 @@ example, writing :ada:`A * B` triggers a compilation error. (Otherwise, which
 precision should be used for the result?) Therefore, we have
 to convert one of the objects to have matching types:
 
-.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Types.Universal_Types.Float_Multiplication
+.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Numerics.Universal_Types.Float_Multiplication
     :class: ada-expect-compile-error
 
     with Ada.Text_IO; use Ada.Text_IO;
@@ -849,7 +849,7 @@ In contrast, for fixed-point types, we can mix objects of different types in a
 multiplication or division. (In this case, mixing is allowed for the
 convenience of the programmer.) For example:
 
-.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Types.Universal_Types.Fixed_Point_Multiplication
+.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Numerics.Universal_Types.Fixed_Point_Multiplication
 
     package Normalized_Fixed_Point_Types is
 
@@ -889,7 +889,7 @@ In addition to the multiplication operation, other operations such as the
 conversion between fixed-point types and the division operations make use of
 universal fixed types:
 
-.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Types.Universal_Types.Universal_Fixed
+.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Numerics.Universal_Types.Universal_Fixed
 
     package Custom_Decimal_Types is
 
@@ -970,7 +970,7 @@ are universal fixed types.
     fixed-point types. However, those operators do **not** override the
     corresponding operators for universal fixed-point types. For example:
 
-    .. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Types.Universal_Types.Fixed_Point_Custom_Multiplication
+    .. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Numerics.Universal_Types.Fixed_Point_Custom_Multiplication
 
         package Normalized_Fixed_Point_Types is
 

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

@@ -3615,7 +3615,9 @@ Per-Object Expressions
 ----------------------
 
 In record type declarations, we might want to define a component that makes use
-of a name that refers to a discriminant of the record type, or to the record
+of a :ref:`name <Adv_Ada_Names>` that refers to a
+:ref:`discriminant <Adv_Ada_Record_Discriminants>`
+of the record type, or to the record
 type itself. An expression where we use such a name is called a per-object
 expression.
 

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

@@ -1980,7 +1980,8 @@ the example above accordingly:
     end Incomplete_Type_Example;
 
 A typical application of incomplete types is to create linked lists using
-access types based on those incomplete types. This kind of type is called
+:ref:`access types <Adv_Ada_Access_Types_Terminology>`
+based on those incomplete types. This kind of type is called
 a recursive type. For example:
 
 .. code:: ada compile_button project=Courses.Advanced_Ada.Data_Types.Types.Incomplete_Types.Linked_List_Example

content/courses/advanced-ada/parts/resource_management/anonymous_access_types.rst

@@ -249,6 +249,16 @@ and
 cover more specific details on anonymous access types.
 
 
+.. ::
+
+    Universal Access Types
+    ~~~~~~~~~~~~~~~~~~~~~~
+
+    .. todo::
+
+        Complete section!
+
+
 .. _Adv_Ada_Anonymous_Access_To_Object_Types:
 
 Anonymous Access-To-Object Types