diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst index a8b792212..a651ec316 100644 --- 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 index fc9c99046..6d0d16484 100644 --- 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 index 6a6da57a7..c7634caec 100644 --- 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 index 147960833..9859c5b99 100644 --- 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 index 6341cc2c2..e6a6f3464 100644 --- 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 index acbd446a0..8345f2f8a 100644 --- 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 index bf3941e63..cef3fc4db 100644 --- 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 index 8b9ca3bc4..3149cf687 100644 --- 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 index 02b076de7..064023c4c 100644 --- 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 index 44f9676b4..a74ae182e 100644 --- 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 index 4d7c8b011..76f729c3a 100644 --- 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 index 656fe2294..bb08dbf58 100644 --- 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 index 30c13a5ff..57db31053 100644 --- 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 index c52073dcd..09657d1c1 100644 --- 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 index 212236ba9..2d200ed66 100644 --- 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 index ec612ad68..276631483 100644 --- 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 index 625818b99..0cb79017c 100644 --- 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 index 37fab24af..0dbebe49e 100644 --- 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 index 9a97da461..90ebb0c7c 100644 --- 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 index 5e4668720..07d02d65e 100644 --- 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 index d6c5aeded..104b32f78 100644 --- 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 index 1c1284f89..a5b8042fa 100644 --- 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 index 1880e9bb2..b7b314953 100644 --- 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 index a4f4785bd..33f89e91c 100644 --- 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 index 9a27b617b..407f4a2f2 100644 --- 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 index 3a09053be..8e334a127 100644 --- 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 index 2d2c8d426..cd19f2053 100644 --- 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 index d23d910dd..60b70a15b 100644 --- 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 index 65875491c..a353ec641 100644 --- 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 index 3e6298178..b24a5b89c 100644 --- a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst +++ b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst @@ -31,6 +31,16 @@ Exceptions In-Depth .. container:: PRELUDE PROVIDES +.. + Handlers + Implicitly And Explicitly Raised Exceptions + Language Defined Exceptions + User Defined Exceptions + Propagation + Partial And Nested Handlers + Exceptions As Objects + Raise Expressions + .. container:: PRELUDE END .. include:: 190_exceptions/01-introduction.rst diff --git a/courses/fundamentals_of_ada/190_exceptions.rst b/courses/fundamentals_of_ada/190_exceptions.rst index 167f4bab9..b0c7fe408 100644 --- a/courses/fundamentals_of_ada/190_exceptions.rst +++ b/courses/fundamentals_of_ada/190_exceptions.rst @@ -31,6 +31,14 @@ Exceptions .. container:: PRELUDE PROVIDES +.. + Handlers + Implicitly And Explicitly Raised Exceptions + User Defined Exceptions + Propagation + Exceptions As Objects + Raise Expressions + .. container:: PRELUDE END .. include:: 190_exceptions/01-introduction.rst diff --git a/courses/fundamentals_of_ada/230_interfacing_with_c.rst b/courses/fundamentals_of_ada/230_interfacing_with_c.rst index 0cbc82805..692d617ea 100644 --- a/courses/fundamentals_of_ada/230_interfacing_with_c.rst +++ b/courses/fundamentals_of_ada/230_interfacing_with_c.rst @@ -31,6 +31,12 @@ Interfacing with C .. container:: PRELUDE PROVIDES +.. + Import / Export + Parameter Passing + Complex Data Types + Interfaces.C + .. container:: PRELUDE END .. include:: 230_interfacing_with_c/01-introduction.rst diff --git a/courses/fundamentals_of_ada/240_tasking.rst b/courses/fundamentals_of_ada/240_tasking.rst index ebcfe8faf..5cf1a6418 100644 --- a/courses/fundamentals_of_ada/240_tasking.rst +++ b/courses/fundamentals_of_ada/240_tasking.rst @@ -31,6 +31,12 @@ Tasking .. container:: PRELUDE PROVIDES +.. + Tasks + Protected Objects + Delays + Task Types + .. container:: PRELUDE END .. include:: 240_tasking/01_intro.rst diff --git a/courses/fundamentals_of_ada/240_tasking_in_depth.rst b/courses/fundamentals_of_ada/240_tasking_in_depth.rst index 34362ce6e..64e386091 100644 --- a/courses/fundamentals_of_ada/240_tasking_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_in_depth.rst @@ -31,6 +31,12 @@ Tasking .. container:: PRELUDE PROVIDES +.. + Tasks + Protected Objects + Delays + Task Types + .. container:: PRELUDE END .. include:: 240_tasking/01_intro.rst diff --git a/courses/fundamentals_of_ada/240_tasking_light.rst b/courses/fundamentals_of_ada/240_tasking_light.rst index a06c1f8f6..9453a6113 100644 --- a/courses/fundamentals_of_ada/240_tasking_light.rst +++ b/courses/fundamentals_of_ada/240_tasking_light.rst @@ -31,6 +31,16 @@ Tasking .. container:: PRELUDE PROVIDES +.. + Tasks + Light Tasking + Protected Objects + Comparing Standard And Light Tasking + Delays + Task Types + Light Tasking Behavior + Tasking Control + .. container:: PRELUDE END .. include:: 240_tasking/01_intro.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 index c061391bd..47e3c6a51 100644 --- a/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst @@ -31,6 +31,16 @@ Tasking .. container:: PRELUDE PROVIDES +.. + Tasks + Light Tasking + Protected Objects + Comparing Standard And Light Tasking + Delays + Task Types + Light Tasking Behavior + Tasking Control + .. container:: PRELUDE END .. include:: 240_tasking/01_intro.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 index ea21631bd..8799903f8 100644 --- a/courses/fundamentals_of_ada/245_ravenscar_tasking-with_tasking_overview.rst +++ b/courses/fundamentals_of_ada/245_ravenscar_tasking-with_tasking_overview.rst @@ -31,6 +31,14 @@ Ravenscar Tasking .. container:: PRELUDE PROVIDES +.. + Tasks + Delays + Protected Objects + Differences From Standard Tasking + Tasking Behavior + Tasking Control + .. container:: PRELUDE END .. include:: 245_ravenscar_tasking/01-introduction.rst diff --git a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst index c3ce55791..1172f48ca 100644 --- a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst +++ b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst @@ -31,6 +31,11 @@ Ravenscar Tasking .. container:: PRELUDE PROVIDES +.. + Differences From Standard Tasking + Tasking Behavior + Tasking Control + .. container:: PRELUDE END .. include:: 245_ravenscar_tasking/01-introduction.rst diff --git a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst index 12f5c5683..eb25aecd9 100644 --- a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst +++ b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst @@ -31,6 +31,11 @@ Ada Contracts .. container:: PRELUDE PROVIDES +.. + Preconditions And Postconditions + Type Invariants + Subtype Predicates + .. container:: PRELUDE END .. include:: 270_introduction_to_contracts/01-introduction.rst diff --git a/courses/fundamentals_of_ada/273_subprogram_contracts.rst b/courses/fundamentals_of_ada/273_subprogram_contracts.rst index 4e95d5e3b..b3ab6be06 100644 --- a/courses/fundamentals_of_ada/273_subprogram_contracts.rst +++ b/courses/fundamentals_of_ada/273_subprogram_contracts.rst @@ -31,6 +31,10 @@ Subprogram Contracts .. container:: PRELUDE PROVIDES +.. + Preconditions And Postconditions + Special Attributes + .. container:: PRELUDE END .. include:: 273_subprogram_contracts/01-introduction.rst diff --git a/courses/fundamentals_of_ada/276_type_contracts.rst b/courses/fundamentals_of_ada/276_type_contracts.rst index 262d2245b..59caa9b67 100644 --- a/courses/fundamentals_of_ada/276_type_contracts.rst +++ b/courses/fundamentals_of_ada/276_type_contracts.rst @@ -31,6 +31,10 @@ Type Contracts .. container:: PRELUDE PROVIDES +.. + Type Invariants + Subtype Predicates + .. container:: PRELUDE END .. include:: 276_type_contracts/01-introduction.rst