Resolve "Each RST file should contain a section listing what concepts are described"

frank-at-adacore · frank-at-adacore · commit af05ece340bd · 2025-01-18T02:57:25.000Z
diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst
@@ -31,6 +31,10 @@ Introduction
 
 .. container:: PRELUDE PROVIDES
 
+..
+   About Adacore
+   About This Training
+
 .. container:: PRELUDE END
 
 .. include:: 005_introduction/01-about_adacore.rst
diff --git a/courses/fundamentals_of_ada/010_overview.rst b/courses/fundamentals_of_ada/010_overview.rst
@@ -31,6 +31,10 @@ Overview
 
 .. container:: PRELUDE PROVIDES
 
+..
+   A Little History
+   Big Picture
+
 .. container:: PRELUDE END
 
 .. include:: 010_overview/01-a_little_history.rst
diff --git a/courses/fundamentals_of_ada/020_declarations.rst b/courses/fundamentals_of_ada/020_declarations.rst
@@ -31,6 +31,15 @@ Declarations
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Identifiers And Comments
+   Literals
+   Object Declarations
+   Universal Types
+   Named Numbers
+   Scope And Visibility
+   Aspects
+
 .. container:: PRELUDE END
 
 .. include:: 020_declarations/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/030_basic_types-extras.rst b/courses/fundamentals_of_ada/030_basic_types-extras.rst
@@ -31,6 +31,13 @@ Basic Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Modular Types
+   Representation Values
+   Character Types
+   Real Types
+   Subtypes
+
 .. container:: PRELUDE END
 
 .. include:: 030_basic_types/03-modular_types.rst
diff --git a/courses/fundamentals_of_ada/030_basic_types-in_depth.rst b/courses/fundamentals_of_ada/030_basic_types-in_depth.rst
@@ -31,6 +31,16 @@ Basic Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Discrete Numeric Types
+   Modular Types
+   Enumeration Types
+   Representation Values
+   Character Types
+   Real Types
+   Base Type
+   Subtypes
+
 .. container:: PRELUDE END
 
 .. include:: 030_basic_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/030_basic_types.rst b/courses/fundamentals_of_ada/030_basic_types.rst
@@ -31,6 +31,12 @@ Basic Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Discrete Numeric Types With Mod
+   Enumeration Types
+   Real Types
+   Subtypes
+
 .. container:: PRELUDE END
 
 .. include:: 030_basic_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/040_statements.rst b/courses/fundamentals_of_ada/040_statements.rst
@@ -31,6 +31,14 @@ Statements
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Block Statements
+   Null Statements
+   Assignment Statements
+   Conditional Statements
+   Loop Statements
+   Goto Statements
+
 .. container:: PRELUDE END
 
 .. include:: 040_statements/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/050_array_types.rst b/courses/fundamentals_of_ada/050_array_types.rst
@@ -31,6 +31,16 @@ Array Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Constrained Array Types
+   Unconstrained Array Types
+   Attributes
+   Operations
+   Looping Over Objects
+   Aggregates
+   Image For Complex Types
+   Anonymous Array Types
+
 .. container:: PRELUDE END
 
 .. include:: 050_array_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/060_record_types.rst b/courses/fundamentals_of_ada/060_record_types.rst
@@ -31,6 +31,13 @@ Record Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Components Rules
+   Operations
+   Aggregates
+   Default Values
+   Variant Records
+
 .. container:: PRELUDE END
 
 .. include:: 060_record_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/065_discriminated_records.rst b/courses/fundamentals_of_ada/065_discriminated_records.rst
@@ -31,11 +31,16 @@ Discriminated Records
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Variant Records
+   Discriminant Record Array Size Idiom
+   Interfacing With C
+
 .. container:: PRELUDE END
 
 .. include:: 065_discriminated_records/01-introduction.rst
 .. include:: 065_discriminated_records/02-variant_records.rst
 .. include:: 065_discriminated_records/03-discriminant_record_array_size_idiom.rst
 .. include:: 065_discriminated_records/04-interfacing_with_c.rst
-.. include:: labs/065_discriminated_records.lab.rst
+.. include:: labs/065_discriminated_records.lab.rst
 .. include:: 065_discriminated_records/99-summary.rst
diff --git a/courses/fundamentals_of_ada/070_subprograms.rst b/courses/fundamentals_of_ada/070_subprograms.rst
@@ -31,6 +31,13 @@ Subprograms
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Subprogram Syntax
+   Parameters
+   Null Procedures
+   Nested Subprograms
+   Expression Functions
+
 .. container:: PRELUDE END
 
 .. include:: 070_subprograms/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/075_type_derivation.rst b/courses/fundamentals_of_ada/075_type_derivation.rst
@@ -31,6 +31,11 @@ Type Derivation
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Simple Derivation
+   Primitives
+   Freeze Point
+
 .. container:: PRELUDE END
 
 .. include:: 075_type_derivation/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst
@@ -31,6 +31,12 @@ Expressions
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Membership Tests
+   Qualified Names
+   Conditional Expressions
+   Quantified Expressions
+
 .. container:: PRELUDE END
 
 .. include:: 080_expressions/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/080_expressions.rst b/courses/fundamentals_of_ada/080_expressions.rst
@@ -31,6 +31,11 @@ Expressions
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Membership Tests
+   Qualified Names
+   Conditional Expressions
+
 .. container:: PRELUDE END
 
 .. include:: 080_expressions/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/090_overloading-with_equality.rst b/courses/fundamentals_of_ada/090_overloading-with_equality.rst
@@ -31,6 +31,12 @@ Overloading
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Enumerals And Operators
+   Call Resolution
+   User Defined Equality
+   Composition Of Equality
+
 .. container:: PRELUDE END
 
 .. include:: 090_overloading/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/090_overloading.rst b/courses/fundamentals_of_ada/090_overloading.rst
@@ -31,6 +31,11 @@ Overloading
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Enumerals And Operators
+   Call Resolution
+   User Defined Equality
+
 .. container:: PRELUDE END
 
 .. include:: 090_overloading/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/100_packages.rst b/courses/fundamentals_of_ada/100_packages.rst
@@ -31,6 +31,12 @@ Packages
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Declarations
+   Referencing Other Packages
+   Bodies
+   Executable Parts
+
 .. container:: PRELUDE END
 
 .. include:: 100_packages/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/110_private_types.rst b/courses/fundamentals_of_ada/110_private_types.rst
@@ -31,6 +31,12 @@ Private Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Implementing Abstract Data Types Via Views
+   Private Part Construction
+   View Operations
+   When To Use Or Avoid Private Types
+
 .. container:: PRELUDE END
 
 .. include:: 110_private_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/120_limited_types.rst b/courses/fundamentals_of_ada/120_limited_types.rst
@@ -31,6 +31,12 @@ Limited Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Declarations
+   Creating Values
+   Extended Return Statements
+   Combining Limited And Private Views
+
 .. container:: PRELUDE END
 
 .. include:: 120_limited_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/130_program_structure.rst b/courses/fundamentals_of_ada/130_program_structure.rst
@@ -31,6 +31,13 @@ Program Structure
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Building A System
+   Circular Dependencies
+   Hierarchical Library Units
+   Visibility Limits
+   Private Children
+
 .. container:: PRELUDE END
 
 .. include:: 130_program_structure/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/135_visibility.rst b/courses/fundamentals_of_ada/135_visibility.rst
@@ -31,6 +31,11 @@ Visibility
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Use Clauses
+   Use Type And Use All Type Clauses
+   Renaming Entities
+
 .. container:: PRELUDE END
 
 .. include:: 135_visibility/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/140_access_types-in_depth.rst b/courses/fundamentals_of_ada/140_access_types-in_depth.rst
@@ -31,6 +31,17 @@ Access Types In Depth
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Access Types
+   Pool Specific Access Types
+   General Access Types
+   Accessibility Checks
+   Memory Corruption
+   Anonymous Access Types
+   Memory Management
+   Memory Debugging
+   Memory Control
+
 .. container:: PRELUDE END
 
 .. include:: 140_access_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/140_access_types.rst b/courses/fundamentals_of_ada/140_access_types.rst
@@ -31,6 +31,14 @@ Access Types
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Access Types
+   Pool Specific Access Types
+   General Access Types
+   Accessibility Checks
+   Memory Corruption
+   Anonymous Access Types
+
 .. container:: PRELUDE END
 
 .. include:: 140_access_types/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/160_genericity-intro.rst b/courses/fundamentals_of_ada/160_genericity-intro.rst
@@ -31,6 +31,11 @@ Genericity
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Creating Generics
+   Generic Data
+   Generic Formal Data
+
 .. container:: PRELUDE END
 
 .. include:: 160_genericity/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/160_genericity.rst b/courses/fundamentals_of_ada/160_genericity.rst
@@ -31,6 +31,12 @@ Genericity
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Creating Generics
+   Generic Data
+   Generic Formal Data
+   Generic Completion
+
 .. container:: PRELUDE END
 
 .. include:: 160_genericity/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst
@@ -31,6 +31,10 @@ Tagged Derivation
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Tagged Derivation
+   Extending Tagged Types
+
 .. container:: PRELUDE END
 
 .. include:: 170_tagged_derivation/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/170_tagged_derivation.rst b/courses/fundamentals_of_ada/170_tagged_derivation.rst
@@ -31,6 +31,10 @@ Tagged Derivation
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Tagged Derivation
+   Extending Tagged Types
+
 .. container:: PRELUDE END
 
 .. include:: 170_tagged_derivation/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/175_multiple_inheritance.rst b/courses/fundamentals_of_ada/175_multiple_inheritance.rst
@@ -31,6 +31,9 @@ Multiple Inheritance
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Interfaces
+
 .. container:: PRELUDE END
 
 .. include:: 175_multiple_inheritance/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/180_polymorphism.rst b/courses/fundamentals_of_ada/180_polymorphism.rst
@@ -31,6 +31,11 @@ Polymorphism
 
 .. container:: PRELUDE PROVIDES
 
+..
+   Classes Of Types
+   Dispatching And Redispatching
+   Exotic Dispatching Operations
+
 .. container:: PRELUDE END
 
 .. include:: 180_polymorphism/01-introduction.rst
diff --git a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst
diff --git a/courses/fundamentals_of_ada/190_exceptions.rst b/courses/fundamentals_of_ada/190_exceptions.rst
diff --git a/courses/fundamentals_of_ada/230_interfacing_with_c.rst b/courses/fundamentals_of_ada/230_interfacing_with_c.rst
diff --git a/courses/fundamentals_of_ada/240_tasking.rst b/courses/fundamentals_of_ada/240_tasking.rst
diff --git a/courses/fundamentals_of_ada/240_tasking_in_depth.rst b/courses/fundamentals_of_ada/240_tasking_in_depth.rst
diff --git a/courses/fundamentals_of_ada/240_tasking_light.rst b/courses/fundamentals_of_ada/240_tasking_light.rst
diff --git a/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst b/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst
diff --git a/courses/fundamentals_of_ada/245_ravenscar_tasking-with_tasking_overview.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking-with_tasking_overview.rst
diff --git a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst
diff --git a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst
diff --git a/courses/fundamentals_of_ada/273_subprogram_contracts.rst b/courses/fundamentals_of_ada/273_subprogram_contracts.rst
diff --git a/courses/fundamentals_of_ada/276_type_contracts.rst b/courses/fundamentals_of_ada/276_type_contracts.rst
