Merge pull request #1176 from gusthoff/content/ada_idioms/review/edit…

…orial/general/20250124 Editorial change: various changes to "Ada Idioms" course
AdaCore · Jan 25, 2025 · 8db3e96 · 8db3e96
2 parents c5dd329 + 7259e13
commit 8db3e96
Show file tree

Hide file tree

Showing 8 changed files with 131 additions and 130 deletions.
diff --git a/content/courses/ada-idioms/chapters/abstract_data_machines.rst b/content/courses/ada-idioms/chapters/abstract_data_machines.rst
diff --git a/content/courses/ada-idioms/chapters/abstract_data_types.rst b/content/courses/ada-idioms/chapters/abstract_data_types.rst
@@ -8,7 +8,7 @@ Abstract Data Types
 Motivation
 ----------
 
-In the 
+In the
 :ref:`Groups of Related Program Units <Ada_Idioms_Groups_Of_Related_Program_Units>` idiom,
 client compile-time visibility to the type's representation is both an
 advantage and a disadvantage. Visibility to the representation makes available

diff --git a/content/courses/ada-idioms/chapters/appendices.rst b/content/courses/ada-idioms/chapters/appendices.rst
@@ -1,3 +1,5 @@
+:orphan:
+
 :next_state: False
 
 Appendices

diff --git a/content/courses/ada-idioms/chapters/component_access_to_rec_objs.rst b/content/courses/ada-idioms/chapters/component_access_to_rec_objs.rst
@@ -200,12 +200,12 @@ and again in the type completion in the package private part:
 
     type Device is tagged limited record ... end record;
 
-We declare :ada:`Device` as a limited type because we want to preclude 
-assignment statements for client objects of the type. Assignment of the 
-enclosing record object would leave the PO Encloser discriminant 
-designating the prior (right-hand side) enclosing object. If the PO is 
-written with the assumption that the enclosing object is always the one 
-identified during creation of the PO, that assumption will no longer 
+We declare :ada:`Device` as a limited type because we want to preclude
+assignment statements for client objects of the type. Assignment of the
+enclosing record object would leave the PO Encloser discriminant
+designating the prior (right-hand side) enclosing object. If the PO is
+written with the assumption that the enclosing object is always the one
+identified during creation of the PO, that assumption will no longer
 hold. We didn't state it up-front, but that is the assumption underlying
 the idiom as described, and in fact, only limited types may have
 a component that uses the :ada:`Access` attribute in this way.

diff --git a/content/courses/ada-idioms/index.rst b/content/courses/ada-idioms/index.rst
@@ -25,7 +25,7 @@ Ada Idioms
 
     .. container:: content-copyright
 
-        Copyright © 2024, AdaCore
+        Copyright © 2025, AdaCore
 
         This book is published under a CC BY-SA license, which means that you
         can copy, redistribute, remix, transform, and build upon the content
@@ -115,4 +115,3 @@ Ada Idioms
     Providing Component Access to Enclosing Record Objects <chapters/component_access_to_rec_objs>
     Interrupt Handling <chapters/interrupt_handling>
     Reducing Object Code from Generic Package Instantiations <chapters/reducing_object_code_from_generic_package_instantiations>
-    Appendices <chapters/appendices>
diff --git a/content/hidden.txt b/content/hidden.txt
@@ -1,2 +1 @@
 courses/advanced-spark
-courses/ada-idioms
diff --git a/content/hidden_contents.txt b/content/hidden_contents.txt
@@ -10,3 +10,4 @@ courses/advanced-ada/parts/initialization/*.*
 courses/advanced-ada/parts/abstraction-oriented_prog/*.*
 courses/advanced-ada/parts/design_by_contracts/*.*
 courses/advanced-ada/index_hidden.rst
+courses/ada-idioms/chapters/appendices.rst
diff --git a/content/index.rst b/content/index.rst
@@ -84,6 +84,7 @@
 
         Introduction to Ada <courses/intro-to-ada/index>
         Advanced Journey With Ada <courses/advanced-ada/index>
+        Ada Idioms <courses/ada-idioms/index>
         Introduction to SPARK <courses/intro-to-spark/index>
         Introduction to Embedded Systems Programming <courses/intro-to-embedded-sys-prog/index>
         What's New in Ada 2022 <courses/whats-new-in-ada-2022/index>
@@ -100,7 +101,6 @@
             :caption: Upcoming Courses
 
             Advanced Journey With Ada (UNPUBLISHED) <courses/advanced-ada/index_hidden>
-            Ada Idioms <courses/ada-idioms/index>
             Advanced SPARK <courses/advanced-spark/index>
 
     .. toctree::