From 90f0d394f16f8a0a063a403ebb2d410dfcb1b8df Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 13:43:11 -0500 Subject: [PATCH 01/10] Add Rust profile to prelude --- support_files/prelude.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/support_files/prelude.rst b/support_files/prelude.rst index 17cc17a5c..eff1f1512 100644 --- a/support_files/prelude.rst +++ b/support_files/prelude.rst @@ -11,6 +11,9 @@ .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` From 31748ca94af1088e87a0531c889397ed361f4689 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 13:43:28 -0500 Subject: [PATCH 02/10] Add Rust role to fundamentals_of_ada modules --- courses/fundamentals_of_ada/005_introduction.rst | 3 +++ courses/fundamentals_of_ada/010_overview.rst | 3 +++ courses/fundamentals_of_ada/020_declarations.rst | 3 +++ courses/fundamentals_of_ada/030_basic_types-extras.rst | 3 +++ courses/fundamentals_of_ada/030_basic_types-in_depth.rst | 3 +++ courses/fundamentals_of_ada/030_basic_types.rst | 3 +++ courses/fundamentals_of_ada/040_statements.rst | 3 +++ courses/fundamentals_of_ada/050_array_types.rst | 3 +++ courses/fundamentals_of_ada/060_record_types.rst | 3 +++ courses/fundamentals_of_ada/065_discriminated_records.rst | 3 +++ courses/fundamentals_of_ada/070_subprograms.rst | 3 +++ courses/fundamentals_of_ada/075_type_derivation.rst | 3 +++ .../fundamentals_of_ada/080_expressions-with_quantified.rst | 3 +++ courses/fundamentals_of_ada/080_expressions.rst | 3 +++ courses/fundamentals_of_ada/090_overloading-with_equality.rst | 3 +++ courses/fundamentals_of_ada/090_overloading.rst | 3 +++ courses/fundamentals_of_ada/100_packages.rst | 3 +++ courses/fundamentals_of_ada/110_private_types.rst | 3 +++ courses/fundamentals_of_ada/120_limited_types.rst | 3 +++ courses/fundamentals_of_ada/130_program_structure.rst | 3 +++ courses/fundamentals_of_ada/135_visibility.rst | 3 +++ courses/fundamentals_of_ada/140_access_types-in_depth.rst | 3 +++ courses/fundamentals_of_ada/140_access_types.rst | 3 +++ courses/fundamentals_of_ada/160_genericity-intro.rst | 3 +++ courses/fundamentals_of_ada/160_genericity.rst | 3 +++ courses/fundamentals_of_ada/170_tagged_derivation-intro.rst | 3 +++ courses/fundamentals_of_ada/170_tagged_derivation.rst | 3 +++ courses/fundamentals_of_ada/175_multiple_inheritance.rst | 3 +++ courses/fundamentals_of_ada/180_polymorphism.rst | 3 +++ courses/fundamentals_of_ada/190_exceptions-in_depth.rst | 3 +++ courses/fundamentals_of_ada/190_exceptions.rst | 3 +++ courses/fundamentals_of_ada/230_interfacing_with_c.rst | 3 +++ courses/fundamentals_of_ada/240_tasking.rst | 3 +++ courses/fundamentals_of_ada/240_tasking_in_depth.rst | 3 +++ courses/fundamentals_of_ada/240_tasking_light.rst | 3 +++ courses/fundamentals_of_ada/240_tasking_light_in_depth.rst | 3 +++ .../245_ravenscar_tasking-with_tasking_overview.rst | 3 +++ courses/fundamentals_of_ada/245_ravenscar_tasking.rst | 3 +++ courses/fundamentals_of_ada/260_controlled_types.rst | 3 +++ courses/fundamentals_of_ada/270_introduction_to_contracts.rst | 3 +++ courses/fundamentals_of_ada/273_subprogram_contracts.rst | 3 +++ courses/fundamentals_of_ada/276_type_contracts.rst | 3 +++ courses/fundamentals_of_ada/280_low_level_programming.rst | 3 +++ courses/fundamentals_of_ada/290_advanced_data_hiding.rst | 3 +++ courses/fundamentals_of_ada/890_ada_text_io.rst | 3 +++ courses/fundamentals_of_ada/891_ada_characters.rst | 3 +++ courses/fundamentals_of_ada/892_ada_strings.rst | 3 +++ courses/fundamentals_of_ada/893_ada_numerics.rst | 3 +++ courses/fundamentals_of_ada/894_ada_containers.rst | 3 +++ courses/fundamentals_of_ada/901_ada_2022_specific.rst | 3 +++ courses/fundamentals_of_ada/902_future_capabilities.rst | 3 +++ courses/fundamentals_of_ada/920_reference_material.rst | 3 +++ 52 files changed, 156 insertions(+) diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst index a651ec316..8e7b5543f 100644 --- a/courses/fundamentals_of_ada/005_introduction.rst +++ b/courses/fundamentals_of_ada/005_introduction.rst @@ -14,6 +14,9 @@ Introduction .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/010_overview.rst b/courses/fundamentals_of_ada/010_overview.rst index 6d0d16484..66f15da5d 100644 --- a/courses/fundamentals_of_ada/010_overview.rst +++ b/courses/fundamentals_of_ada/010_overview.rst @@ -14,6 +14,9 @@ Overview .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/020_declarations.rst b/courses/fundamentals_of_ada/020_declarations.rst index c7634caec..62ecb21fb 100644 --- a/courses/fundamentals_of_ada/020_declarations.rst +++ b/courses/fundamentals_of_ada/020_declarations.rst @@ -14,6 +14,9 @@ Declarations .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/030_basic_types-extras.rst b/courses/fundamentals_of_ada/030_basic_types-extras.rst index 9859c5b99..10ce21a95 100644 --- a/courses/fundamentals_of_ada/030_basic_types-extras.rst +++ b/courses/fundamentals_of_ada/030_basic_types-extras.rst @@ -15,6 +15,9 @@ Basic Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` 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 e6a6f3464..3ca6d8a38 100644 --- a/courses/fundamentals_of_ada/030_basic_types-in_depth.rst +++ b/courses/fundamentals_of_ada/030_basic_types-in_depth.rst @@ -15,6 +15,9 @@ Basic Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/030_basic_types.rst b/courses/fundamentals_of_ada/030_basic_types.rst index 8345f2f8a..e86f23f97 100644 --- a/courses/fundamentals_of_ada/030_basic_types.rst +++ b/courses/fundamentals_of_ada/030_basic_types.rst @@ -15,6 +15,9 @@ Basic Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/040_statements.rst b/courses/fundamentals_of_ada/040_statements.rst index cef3fc4db..11c9d4b94 100644 --- a/courses/fundamentals_of_ada/040_statements.rst +++ b/courses/fundamentals_of_ada/040_statements.rst @@ -14,6 +14,9 @@ Statements .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/050_array_types.rst b/courses/fundamentals_of_ada/050_array_types.rst index 3149cf687..85eefe516 100644 --- a/courses/fundamentals_of_ada/050_array_types.rst +++ b/courses/fundamentals_of_ada/050_array_types.rst @@ -15,6 +15,9 @@ Array Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/060_record_types.rst b/courses/fundamentals_of_ada/060_record_types.rst index 064023c4c..33b57cdb2 100644 --- a/courses/fundamentals_of_ada/060_record_types.rst +++ b/courses/fundamentals_of_ada/060_record_types.rst @@ -14,6 +14,9 @@ Record Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/065_discriminated_records.rst b/courses/fundamentals_of_ada/065_discriminated_records.rst index a74ae182e..4398f6267 100644 --- a/courses/fundamentals_of_ada/065_discriminated_records.rst +++ b/courses/fundamentals_of_ada/065_discriminated_records.rst @@ -14,6 +14,9 @@ Discriminated Records .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/070_subprograms.rst b/courses/fundamentals_of_ada/070_subprograms.rst index 76f729c3a..7eb10668f 100644 --- a/courses/fundamentals_of_ada/070_subprograms.rst +++ b/courses/fundamentals_of_ada/070_subprograms.rst @@ -14,6 +14,9 @@ Subprograms .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/075_type_derivation.rst b/courses/fundamentals_of_ada/075_type_derivation.rst index bb08dbf58..8c15826b1 100644 --- a/courses/fundamentals_of_ada/075_type_derivation.rst +++ b/courses/fundamentals_of_ada/075_type_derivation.rst @@ -14,6 +14,9 @@ Type Derivation .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst index 57db31053..7fc71c7d2 100644 --- a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst +++ b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst @@ -15,6 +15,9 @@ Expressions .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/080_expressions.rst b/courses/fundamentals_of_ada/080_expressions.rst index 09657d1c1..6392ec597 100644 --- a/courses/fundamentals_of_ada/080_expressions.rst +++ b/courses/fundamentals_of_ada/080_expressions.rst @@ -15,6 +15,9 @@ Expressions .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/090_overloading-with_equality.rst b/courses/fundamentals_of_ada/090_overloading-with_equality.rst index 2d200ed66..b4683022a 100644 --- a/courses/fundamentals_of_ada/090_overloading-with_equality.rst +++ b/courses/fundamentals_of_ada/090_overloading-with_equality.rst @@ -15,6 +15,9 @@ Overloading .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/090_overloading.rst b/courses/fundamentals_of_ada/090_overloading.rst index 276631483..c9fe30fdf 100644 --- a/courses/fundamentals_of_ada/090_overloading.rst +++ b/courses/fundamentals_of_ada/090_overloading.rst @@ -15,6 +15,9 @@ Overloading .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/100_packages.rst b/courses/fundamentals_of_ada/100_packages.rst index 0cb79017c..617b8574c 100644 --- a/courses/fundamentals_of_ada/100_packages.rst +++ b/courses/fundamentals_of_ada/100_packages.rst @@ -14,6 +14,9 @@ Packages .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/110_private_types.rst b/courses/fundamentals_of_ada/110_private_types.rst index 0dbebe49e..4c8756054 100644 --- a/courses/fundamentals_of_ada/110_private_types.rst +++ b/courses/fundamentals_of_ada/110_private_types.rst @@ -14,6 +14,9 @@ Private Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/120_limited_types.rst b/courses/fundamentals_of_ada/120_limited_types.rst index 90ebb0c7c..7a7203d96 100644 --- a/courses/fundamentals_of_ada/120_limited_types.rst +++ b/courses/fundamentals_of_ada/120_limited_types.rst @@ -14,6 +14,9 @@ Limited Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/130_program_structure.rst b/courses/fundamentals_of_ada/130_program_structure.rst index 07d02d65e..56a8a527a 100644 --- a/courses/fundamentals_of_ada/130_program_structure.rst +++ b/courses/fundamentals_of_ada/130_program_structure.rst @@ -14,6 +14,9 @@ Program Structure .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/135_visibility.rst b/courses/fundamentals_of_ada/135_visibility.rst index 104b32f78..978ed203d 100644 --- a/courses/fundamentals_of_ada/135_visibility.rst +++ b/courses/fundamentals_of_ada/135_visibility.rst @@ -14,6 +14,9 @@ Visibility .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS 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 a5b8042fa..87b5de62b 100644 --- a/courses/fundamentals_of_ada/140_access_types-in_depth.rst +++ b/courses/fundamentals_of_ada/140_access_types-in_depth.rst @@ -15,6 +15,9 @@ Access Types In Depth .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/140_access_types.rst b/courses/fundamentals_of_ada/140_access_types.rst index b7b314953..bf88d7922 100644 --- a/courses/fundamentals_of_ada/140_access_types.rst +++ b/courses/fundamentals_of_ada/140_access_types.rst @@ -15,6 +15,9 @@ Access Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/160_genericity-intro.rst b/courses/fundamentals_of_ada/160_genericity-intro.rst index 33f89e91c..2d3453270 100644 --- a/courses/fundamentals_of_ada/160_genericity-intro.rst +++ b/courses/fundamentals_of_ada/160_genericity-intro.rst @@ -14,6 +14,9 @@ Genericity .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/160_genericity.rst b/courses/fundamentals_of_ada/160_genericity.rst index 407f4a2f2..ae16ff542 100644 --- a/courses/fundamentals_of_ada/160_genericity.rst +++ b/courses/fundamentals_of_ada/160_genericity.rst @@ -14,6 +14,9 @@ Genericity .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst index 8e334a127..49e903b7d 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst @@ -14,6 +14,9 @@ Tagged Derivation .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/170_tagged_derivation.rst b/courses/fundamentals_of_ada/170_tagged_derivation.rst index cd19f2053..b562a7d7a 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation.rst @@ -14,6 +14,9 @@ Tagged Derivation .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/175_multiple_inheritance.rst b/courses/fundamentals_of_ada/175_multiple_inheritance.rst index 60b70a15b..94cdfacfc 100644 --- a/courses/fundamentals_of_ada/175_multiple_inheritance.rst +++ b/courses/fundamentals_of_ada/175_multiple_inheritance.rst @@ -14,6 +14,9 @@ Multiple Inheritance .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/180_polymorphism.rst b/courses/fundamentals_of_ada/180_polymorphism.rst index a353ec641..592b26c5b 100644 --- a/courses/fundamentals_of_ada/180_polymorphism.rst +++ b/courses/fundamentals_of_ada/180_polymorphism.rst @@ -14,6 +14,9 @@ Polymorphism .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst index b24a5b89c..b93235e6e 100644 --- a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst +++ b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst @@ -15,6 +15,9 @@ Exceptions In-Depth .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/190_exceptions.rst b/courses/fundamentals_of_ada/190_exceptions.rst index b0c7fe408..b328c6148 100644 --- a/courses/fundamentals_of_ada/190_exceptions.rst +++ b/courses/fundamentals_of_ada/190_exceptions.rst @@ -15,6 +15,9 @@ Exceptions .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/230_interfacing_with_c.rst b/courses/fundamentals_of_ada/230_interfacing_with_c.rst index 692d617ea..8048be2b5 100644 --- a/courses/fundamentals_of_ada/230_interfacing_with_c.rst +++ b/courses/fundamentals_of_ada/230_interfacing_with_c.rst @@ -14,6 +14,9 @@ Interfacing with C .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/240_tasking.rst b/courses/fundamentals_of_ada/240_tasking.rst index 5cf1a6418..464b65c75 100644 --- a/courses/fundamentals_of_ada/240_tasking.rst +++ b/courses/fundamentals_of_ada/240_tasking.rst @@ -15,6 +15,9 @@ Tasking .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/240_tasking_in_depth.rst b/courses/fundamentals_of_ada/240_tasking_in_depth.rst index 64e386091..a434c6906 100644 --- a/courses/fundamentals_of_ada/240_tasking_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_in_depth.rst @@ -15,6 +15,9 @@ Tasking .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/240_tasking_light.rst b/courses/fundamentals_of_ada/240_tasking_light.rst index 9453a6113..0818b7c8b 100644 --- a/courses/fundamentals_of_ada/240_tasking_light.rst +++ b/courses/fundamentals_of_ada/240_tasking_light.rst @@ -15,6 +15,9 @@ Tasking .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` 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 47e3c6a51..2ab81d6be 100644 --- a/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst @@ -15,6 +15,9 @@ Tasking .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` 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 8799903f8..1a6e4e69b 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 @@ -14,6 +14,9 @@ Ravenscar Tasking .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst index 1172f48ca..5a3adcc5f 100644 --- a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst +++ b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst @@ -14,6 +14,9 @@ Ravenscar Tasking .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/260_controlled_types.rst b/courses/fundamentals_of_ada/260_controlled_types.rst index e65b49b63..b1c4d4598 100644 --- a/courses/fundamentals_of_ada/260_controlled_types.rst +++ b/courses/fundamentals_of_ada/260_controlled_types.rst @@ -15,6 +15,9 @@ Controlled Types .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst index eb25aecd9..4a80dece0 100644 --- a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst +++ b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst @@ -14,6 +14,9 @@ Ada Contracts .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/273_subprogram_contracts.rst b/courses/fundamentals_of_ada/273_subprogram_contracts.rst index b3ab6be06..212a747f8 100644 --- a/courses/fundamentals_of_ada/273_subprogram_contracts.rst +++ b/courses/fundamentals_of_ada/273_subprogram_contracts.rst @@ -14,6 +14,9 @@ Subprogram Contracts .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/276_type_contracts.rst b/courses/fundamentals_of_ada/276_type_contracts.rst index 59caa9b67..35ef6ff2c 100644 --- a/courses/fundamentals_of_ada/276_type_contracts.rst +++ b/courses/fundamentals_of_ada/276_type_contracts.rst @@ -14,6 +14,9 @@ Type Contracts .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/280_low_level_programming.rst b/courses/fundamentals_of_ada/280_low_level_programming.rst index 1a73ea9eb..0b288c6ca 100644 --- a/courses/fundamentals_of_ada/280_low_level_programming.rst +++ b/courses/fundamentals_of_ada/280_low_level_programming.rst @@ -15,6 +15,9 @@ Low Level Programming .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/290_advanced_data_hiding.rst b/courses/fundamentals_of_ada/290_advanced_data_hiding.rst index cc7e4fb23..b7cba3957 100644 --- a/courses/fundamentals_of_ada/290_advanced_data_hiding.rst +++ b/courses/fundamentals_of_ada/290_advanced_data_hiding.rst @@ -15,6 +15,9 @@ Advanced Privacy .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/890_ada_text_io.rst b/courses/fundamentals_of_ada/890_ada_text_io.rst index 5162a616f..7ab11caae 100644 --- a/courses/fundamentals_of_ada/890_ada_text_io.rst +++ b/courses/fundamentals_of_ada/890_ada_text_io.rst @@ -15,6 +15,9 @@ Ada.Text_IO .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/891_ada_characters.rst b/courses/fundamentals_of_ada/891_ada_characters.rst index c97bb1186..edaf9c16e 100644 --- a/courses/fundamentals_of_ada/891_ada_characters.rst +++ b/courses/fundamentals_of_ada/891_ada_characters.rst @@ -15,6 +15,9 @@ Ada.Characters .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/892_ada_strings.rst b/courses/fundamentals_of_ada/892_ada_strings.rst index 36b0969f4..d546e158b 100644 --- a/courses/fundamentals_of_ada/892_ada_strings.rst +++ b/courses/fundamentals_of_ada/892_ada_strings.rst @@ -15,6 +15,9 @@ Ada.Strings .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/893_ada_numerics.rst b/courses/fundamentals_of_ada/893_ada_numerics.rst index fc33e04c0..f9276c043 100644 --- a/courses/fundamentals_of_ada/893_ada_numerics.rst +++ b/courses/fundamentals_of_ada/893_ada_numerics.rst @@ -15,6 +15,9 @@ Ada.Numerics .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/894_ada_containers.rst b/courses/fundamentals_of_ada/894_ada_containers.rst index e50ed9b6e..373cc5b59 100644 --- a/courses/fundamentals_of_ada/894_ada_containers.rst +++ b/courses/fundamentals_of_ada/894_ada_containers.rst @@ -15,6 +15,9 @@ Containers .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/901_ada_2022_specific.rst b/courses/fundamentals_of_ada/901_ada_2022_specific.rst index d6f4d7d3a..43034149a 100644 --- a/courses/fundamentals_of_ada/901_ada_2022_specific.rst +++ b/courses/fundamentals_of_ada/901_ada_2022_specific.rst @@ -15,6 +15,9 @@ Ada 2022 .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/902_future_capabilities.rst b/courses/fundamentals_of_ada/902_future_capabilities.rst index f2b3e3866..3e3af577b 100644 --- a/courses/fundamentals_of_ada/902_future_capabilities.rst +++ b/courses/fundamentals_of_ada/902_future_capabilities.rst @@ -15,6 +15,9 @@ Future Ada Capabilities .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/920_reference_material.rst b/courses/fundamentals_of_ada/920_reference_material.rst index 98975f3e1..28e92ab7a 100644 --- a/courses/fundamentals_of_ada/920_reference_material.rst +++ b/courses/fundamentals_of_ada/920_reference_material.rst @@ -15,6 +15,9 @@ Annex - Reference Materials .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` From 1170f9f9c7ec450f2397fb04854e1fc0ca4c9453 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 13:44:50 -0500 Subject: [PATCH 03/10] Add Rust role to rust_essentials course --- courses/rust_essentials/010_rust_essentials.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/courses/rust_essentials/010_rust_essentials.rst b/courses/rust_essentials/010_rust_essentials.rst index ca9b6b73e..7cfd0efab 100644 --- a/courses/rust_essentials/010_rust_essentials.rst +++ b/courses/rust_essentials/010_rust_essentials.rst @@ -15,6 +15,9 @@ Rust Essentials .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` From 737ca9d72d9bc6c0905d7c56750fae2030e89093 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 14:09:19 -0500 Subject: [PATCH 04/10] Fix lower-case vs upper-case for RST --- courses/fundamentals_of_ada/005_introduction.rst | 2 +- courses/fundamentals_of_ada/010_overview.rst | 2 +- courses/fundamentals_of_ada/020_declarations.rst | 2 +- courses/fundamentals_of_ada/030_basic_types-extras.rst | 2 +- courses/fundamentals_of_ada/030_basic_types-in_depth.rst | 2 +- courses/fundamentals_of_ada/030_basic_types.rst | 2 +- courses/fundamentals_of_ada/040_statements.rst | 2 +- courses/fundamentals_of_ada/050_array_types.rst | 2 +- courses/fundamentals_of_ada/060_record_types.rst | 2 +- courses/fundamentals_of_ada/065_discriminated_records.rst | 2 +- courses/fundamentals_of_ada/070_subprograms.rst | 2 +- courses/fundamentals_of_ada/075_type_derivation.rst | 2 +- courses/fundamentals_of_ada/080_expressions-with_quantified.rst | 2 +- courses/fundamentals_of_ada/080_expressions.rst | 2 +- courses/fundamentals_of_ada/090_overloading-with_equality.rst | 2 +- courses/fundamentals_of_ada/090_overloading.rst | 2 +- courses/fundamentals_of_ada/100_packages.rst | 2 +- courses/fundamentals_of_ada/110_private_types.rst | 2 +- courses/fundamentals_of_ada/120_limited_types.rst | 2 +- courses/fundamentals_of_ada/130_program_structure.rst | 2 +- courses/fundamentals_of_ada/135_visibility.rst | 2 +- courses/fundamentals_of_ada/140_access_types-in_depth.rst | 2 +- courses/fundamentals_of_ada/140_access_types.rst | 2 +- courses/fundamentals_of_ada/160_genericity-intro.rst | 2 +- courses/fundamentals_of_ada/160_genericity.rst | 2 +- courses/fundamentals_of_ada/170_tagged_derivation-intro.rst | 2 +- courses/fundamentals_of_ada/170_tagged_derivation.rst | 2 +- courses/fundamentals_of_ada/175_multiple_inheritance.rst | 2 +- courses/fundamentals_of_ada/180_polymorphism.rst | 2 +- courses/fundamentals_of_ada/190_exceptions-in_depth.rst | 2 +- courses/fundamentals_of_ada/190_exceptions.rst | 2 +- courses/fundamentals_of_ada/230_interfacing_with_c.rst | 2 +- courses/fundamentals_of_ada/240_tasking.rst | 2 +- courses/fundamentals_of_ada/240_tasking_in_depth.rst | 2 +- courses/fundamentals_of_ada/240_tasking_light.rst | 2 +- courses/fundamentals_of_ada/240_tasking_light_in_depth.rst | 2 +- .../245_ravenscar_tasking-with_tasking_overview.rst | 2 +- courses/fundamentals_of_ada/245_ravenscar_tasking.rst | 2 +- courses/fundamentals_of_ada/260_controlled_types.rst | 2 +- courses/fundamentals_of_ada/270_introduction_to_contracts.rst | 2 +- courses/fundamentals_of_ada/273_subprogram_contracts.rst | 2 +- courses/fundamentals_of_ada/276_type_contracts.rst | 2 +- courses/fundamentals_of_ada/280_low_level_programming.rst | 2 +- courses/fundamentals_of_ada/290_advanced_data_hiding.rst | 2 +- courses/fundamentals_of_ada/890_ada_text_io.rst | 2 +- courses/fundamentals_of_ada/891_ada_characters.rst | 2 +- courses/fundamentals_of_ada/892_ada_strings.rst | 2 +- courses/fundamentals_of_ada/893_ada_numerics.rst | 2 +- courses/fundamentals_of_ada/894_ada_containers.rst | 2 +- courses/fundamentals_of_ada/901_ada_2022_specific.rst | 2 +- courses/fundamentals_of_ada/902_future_capabilities.rst | 2 +- courses/fundamentals_of_ada/920_reference_material.rst | 2 +- 52 files changed, 52 insertions(+), 52 deletions(-) diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst index 8e7b5543f..e0136ff23 100644 --- a/courses/fundamentals_of_ada/005_introduction.rst +++ b/courses/fundamentals_of_ada/005_introduction.rst @@ -14,7 +14,7 @@ Introduction .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/010_overview.rst b/courses/fundamentals_of_ada/010_overview.rst index 66f15da5d..e8ede0d12 100644 --- a/courses/fundamentals_of_ada/010_overview.rst +++ b/courses/fundamentals_of_ada/010_overview.rst @@ -14,7 +14,7 @@ Overview .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/020_declarations.rst b/courses/fundamentals_of_ada/020_declarations.rst index 62ecb21fb..59afde66d 100644 --- a/courses/fundamentals_of_ada/020_declarations.rst +++ b/courses/fundamentals_of_ada/020_declarations.rst @@ -14,7 +14,7 @@ Declarations .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/030_basic_types-extras.rst b/courses/fundamentals_of_ada/030_basic_types-extras.rst index 10ce21a95..a9a5508df 100644 --- a/courses/fundamentals_of_ada/030_basic_types-extras.rst +++ b/courses/fundamentals_of_ada/030_basic_types-extras.rst @@ -15,7 +15,7 @@ Basic Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS 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 3ca6d8a38..55767f18c 100644 --- a/courses/fundamentals_of_ada/030_basic_types-in_depth.rst +++ b/courses/fundamentals_of_ada/030_basic_types-in_depth.rst @@ -15,7 +15,7 @@ Basic Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/030_basic_types.rst b/courses/fundamentals_of_ada/030_basic_types.rst index e86f23f97..6791a04f7 100644 --- a/courses/fundamentals_of_ada/030_basic_types.rst +++ b/courses/fundamentals_of_ada/030_basic_types.rst @@ -15,7 +15,7 @@ Basic Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/040_statements.rst b/courses/fundamentals_of_ada/040_statements.rst index 11c9d4b94..d0c4d32f0 100644 --- a/courses/fundamentals_of_ada/040_statements.rst +++ b/courses/fundamentals_of_ada/040_statements.rst @@ -14,7 +14,7 @@ Statements .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/050_array_types.rst b/courses/fundamentals_of_ada/050_array_types.rst index 85eefe516..a106aece4 100644 --- a/courses/fundamentals_of_ada/050_array_types.rst +++ b/courses/fundamentals_of_ada/050_array_types.rst @@ -15,7 +15,7 @@ Array Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/060_record_types.rst b/courses/fundamentals_of_ada/060_record_types.rst index 33b57cdb2..bc6905b79 100644 --- a/courses/fundamentals_of_ada/060_record_types.rst +++ b/courses/fundamentals_of_ada/060_record_types.rst @@ -14,7 +14,7 @@ Record Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/065_discriminated_records.rst b/courses/fundamentals_of_ada/065_discriminated_records.rst index 4398f6267..34166d74b 100644 --- a/courses/fundamentals_of_ada/065_discriminated_records.rst +++ b/courses/fundamentals_of_ada/065_discriminated_records.rst @@ -14,7 +14,7 @@ Discriminated Records .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/070_subprograms.rst b/courses/fundamentals_of_ada/070_subprograms.rst index 7eb10668f..5e826f3cf 100644 --- a/courses/fundamentals_of_ada/070_subprograms.rst +++ b/courses/fundamentals_of_ada/070_subprograms.rst @@ -14,7 +14,7 @@ Subprograms .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/075_type_derivation.rst b/courses/fundamentals_of_ada/075_type_derivation.rst index 8c15826b1..d8e695649 100644 --- a/courses/fundamentals_of_ada/075_type_derivation.rst +++ b/courses/fundamentals_of_ada/075_type_derivation.rst @@ -14,7 +14,7 @@ Type Derivation .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst index 7fc71c7d2..82962af06 100644 --- a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst +++ b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst @@ -15,7 +15,7 @@ Expressions .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/080_expressions.rst b/courses/fundamentals_of_ada/080_expressions.rst index 6392ec597..c18d8601c 100644 --- a/courses/fundamentals_of_ada/080_expressions.rst +++ b/courses/fundamentals_of_ada/080_expressions.rst @@ -15,7 +15,7 @@ Expressions .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/090_overloading-with_equality.rst b/courses/fundamentals_of_ada/090_overloading-with_equality.rst index b4683022a..a913928fe 100644 --- a/courses/fundamentals_of_ada/090_overloading-with_equality.rst +++ b/courses/fundamentals_of_ada/090_overloading-with_equality.rst @@ -15,7 +15,7 @@ Overloading .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/090_overloading.rst b/courses/fundamentals_of_ada/090_overloading.rst index c9fe30fdf..b515ae109 100644 --- a/courses/fundamentals_of_ada/090_overloading.rst +++ b/courses/fundamentals_of_ada/090_overloading.rst @@ -15,7 +15,7 @@ Overloading .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/100_packages.rst b/courses/fundamentals_of_ada/100_packages.rst index 617b8574c..e8c90331c 100644 --- a/courses/fundamentals_of_ada/100_packages.rst +++ b/courses/fundamentals_of_ada/100_packages.rst @@ -14,7 +14,7 @@ Packages .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/110_private_types.rst b/courses/fundamentals_of_ada/110_private_types.rst index 4c8756054..91dc1ff0e 100644 --- a/courses/fundamentals_of_ada/110_private_types.rst +++ b/courses/fundamentals_of_ada/110_private_types.rst @@ -14,7 +14,7 @@ Private Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/120_limited_types.rst b/courses/fundamentals_of_ada/120_limited_types.rst index 7a7203d96..09a5d8145 100644 --- a/courses/fundamentals_of_ada/120_limited_types.rst +++ b/courses/fundamentals_of_ada/120_limited_types.rst @@ -14,7 +14,7 @@ Limited Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/130_program_structure.rst b/courses/fundamentals_of_ada/130_program_structure.rst index 56a8a527a..14505d8d7 100644 --- a/courses/fundamentals_of_ada/130_program_structure.rst +++ b/courses/fundamentals_of_ada/130_program_structure.rst @@ -14,7 +14,7 @@ Program Structure .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/135_visibility.rst b/courses/fundamentals_of_ada/135_visibility.rst index 978ed203d..1a4f688fc 100644 --- a/courses/fundamentals_of_ada/135_visibility.rst +++ b/courses/fundamentals_of_ada/135_visibility.rst @@ -14,7 +14,7 @@ Visibility .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust 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 87b5de62b..8ddbe7393 100644 --- a/courses/fundamentals_of_ada/140_access_types-in_depth.rst +++ b/courses/fundamentals_of_ada/140_access_types-in_depth.rst @@ -15,7 +15,7 @@ Access Types In Depth .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/140_access_types.rst b/courses/fundamentals_of_ada/140_access_types.rst index bf88d7922..05e8c36ad 100644 --- a/courses/fundamentals_of_ada/140_access_types.rst +++ b/courses/fundamentals_of_ada/140_access_types.rst @@ -15,7 +15,7 @@ Access Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/160_genericity-intro.rst b/courses/fundamentals_of_ada/160_genericity-intro.rst index 2d3453270..12caf0c5b 100644 --- a/courses/fundamentals_of_ada/160_genericity-intro.rst +++ b/courses/fundamentals_of_ada/160_genericity-intro.rst @@ -14,7 +14,7 @@ Genericity .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/160_genericity.rst b/courses/fundamentals_of_ada/160_genericity.rst index ae16ff542..e4b394c39 100644 --- a/courses/fundamentals_of_ada/160_genericity.rst +++ b/courses/fundamentals_of_ada/160_genericity.rst @@ -14,7 +14,7 @@ Genericity .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst index 49e903b7d..cb468d17e 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst @@ -14,7 +14,7 @@ Tagged Derivation .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/170_tagged_derivation.rst b/courses/fundamentals_of_ada/170_tagged_derivation.rst index b562a7d7a..a52fb2ce0 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation.rst @@ -14,7 +14,7 @@ Tagged Derivation .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/175_multiple_inheritance.rst b/courses/fundamentals_of_ada/175_multiple_inheritance.rst index 94cdfacfc..33603ceb0 100644 --- a/courses/fundamentals_of_ada/175_multiple_inheritance.rst +++ b/courses/fundamentals_of_ada/175_multiple_inheritance.rst @@ -14,7 +14,7 @@ Multiple Inheritance .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/180_polymorphism.rst b/courses/fundamentals_of_ada/180_polymorphism.rst index 592b26c5b..c6f504a4e 100644 --- a/courses/fundamentals_of_ada/180_polymorphism.rst +++ b/courses/fundamentals_of_ada/180_polymorphism.rst @@ -14,7 +14,7 @@ Polymorphism .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst index b93235e6e..b8706668c 100644 --- a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst +++ b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst @@ -15,7 +15,7 @@ Exceptions In-Depth .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/190_exceptions.rst b/courses/fundamentals_of_ada/190_exceptions.rst index b328c6148..c802c9960 100644 --- a/courses/fundamentals_of_ada/190_exceptions.rst +++ b/courses/fundamentals_of_ada/190_exceptions.rst @@ -15,7 +15,7 @@ Exceptions .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/230_interfacing_with_c.rst b/courses/fundamentals_of_ada/230_interfacing_with_c.rst index 8048be2b5..4a69fd528 100644 --- a/courses/fundamentals_of_ada/230_interfacing_with_c.rst +++ b/courses/fundamentals_of_ada/230_interfacing_with_c.rst @@ -14,7 +14,7 @@ Interfacing with C .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/240_tasking.rst b/courses/fundamentals_of_ada/240_tasking.rst index 464b65c75..214ae4a9b 100644 --- a/courses/fundamentals_of_ada/240_tasking.rst +++ b/courses/fundamentals_of_ada/240_tasking.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/240_tasking_in_depth.rst b/courses/fundamentals_of_ada/240_tasking_in_depth.rst index a434c6906..f672d9b3c 100644 --- a/courses/fundamentals_of_ada/240_tasking_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_in_depth.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/240_tasking_light.rst b/courses/fundamentals_of_ada/240_tasking_light.rst index 0818b7c8b..8750f42ba 100644 --- a/courses/fundamentals_of_ada/240_tasking_light.rst +++ b/courses/fundamentals_of_ada/240_tasking_light.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS 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 2ab81d6be..503f666ad 100644 --- a/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS 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 1a6e4e69b..165ad341e 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 @@ -14,7 +14,7 @@ Ravenscar Tasking .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst index 5a3adcc5f..4a4f0da3b 100644 --- a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst +++ b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst @@ -14,7 +14,7 @@ Ravenscar Tasking .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/260_controlled_types.rst b/courses/fundamentals_of_ada/260_controlled_types.rst index b1c4d4598..1b9e916bf 100644 --- a/courses/fundamentals_of_ada/260_controlled_types.rst +++ b/courses/fundamentals_of_ada/260_controlled_types.rst @@ -15,7 +15,7 @@ Controlled Types .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst index 4a80dece0..81cb72273 100644 --- a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst +++ b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst @@ -14,7 +14,7 @@ Ada Contracts .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/273_subprogram_contracts.rst b/courses/fundamentals_of_ada/273_subprogram_contracts.rst index 212a747f8..efd64b810 100644 --- a/courses/fundamentals_of_ada/273_subprogram_contracts.rst +++ b/courses/fundamentals_of_ada/273_subprogram_contracts.rst @@ -14,7 +14,7 @@ Subprogram Contracts .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/276_type_contracts.rst b/courses/fundamentals_of_ada/276_type_contracts.rst index 35ef6ff2c..dbb43eb7a 100644 --- a/courses/fundamentals_of_ada/276_type_contracts.rst +++ b/courses/fundamentals_of_ada/276_type_contracts.rst @@ -14,7 +14,7 @@ Type Contracts .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust diff --git a/courses/fundamentals_of_ada/280_low_level_programming.rst b/courses/fundamentals_of_ada/280_low_level_programming.rst index 0b288c6ca..7e50a2db5 100644 --- a/courses/fundamentals_of_ada/280_low_level_programming.rst +++ b/courses/fundamentals_of_ada/280_low_level_programming.rst @@ -15,7 +15,7 @@ Low Level Programming .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/290_advanced_data_hiding.rst b/courses/fundamentals_of_ada/290_advanced_data_hiding.rst index b7cba3957..cb4a99468 100644 --- a/courses/fundamentals_of_ada/290_advanced_data_hiding.rst +++ b/courses/fundamentals_of_ada/290_advanced_data_hiding.rst @@ -15,7 +15,7 @@ Advanced Privacy .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/890_ada_text_io.rst b/courses/fundamentals_of_ada/890_ada_text_io.rst index 7ab11caae..a66ea61f0 100644 --- a/courses/fundamentals_of_ada/890_ada_text_io.rst +++ b/courses/fundamentals_of_ada/890_ada_text_io.rst @@ -15,7 +15,7 @@ Ada.Text_IO .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/891_ada_characters.rst b/courses/fundamentals_of_ada/891_ada_characters.rst index edaf9c16e..14205c3cb 100644 --- a/courses/fundamentals_of_ada/891_ada_characters.rst +++ b/courses/fundamentals_of_ada/891_ada_characters.rst @@ -15,7 +15,7 @@ Ada.Characters .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/892_ada_strings.rst b/courses/fundamentals_of_ada/892_ada_strings.rst index d546e158b..338c901b1 100644 --- a/courses/fundamentals_of_ada/892_ada_strings.rst +++ b/courses/fundamentals_of_ada/892_ada_strings.rst @@ -15,7 +15,7 @@ Ada.Strings .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/893_ada_numerics.rst b/courses/fundamentals_of_ada/893_ada_numerics.rst index f9276c043..eba2d9834 100644 --- a/courses/fundamentals_of_ada/893_ada_numerics.rst +++ b/courses/fundamentals_of_ada/893_ada_numerics.rst @@ -15,7 +15,7 @@ Ada.Numerics .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/894_ada_containers.rst b/courses/fundamentals_of_ada/894_ada_containers.rst index 373cc5b59..fa9b6e5b7 100644 --- a/courses/fundamentals_of_ada/894_ada_containers.rst +++ b/courses/fundamentals_of_ada/894_ada_containers.rst @@ -15,7 +15,7 @@ Containers .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/901_ada_2022_specific.rst b/courses/fundamentals_of_ada/901_ada_2022_specific.rst index 43034149a..77cdc92cd 100644 --- a/courses/fundamentals_of_ada/901_ada_2022_specific.rst +++ b/courses/fundamentals_of_ada/901_ada_2022_specific.rst @@ -15,7 +15,7 @@ Ada 2022 .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/902_future_capabilities.rst b/courses/fundamentals_of_ada/902_future_capabilities.rst index 3e3af577b..ff30bb375 100644 --- a/courses/fundamentals_of_ada/902_future_capabilities.rst +++ b/courses/fundamentals_of_ada/902_future_capabilities.rst @@ -15,7 +15,7 @@ Future Ada Capabilities .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/920_reference_material.rst b/courses/fundamentals_of_ada/920_reference_material.rst index 28e92ab7a..83f2c7ee0 100644 --- a/courses/fundamentals_of_ada/920_reference_material.rst +++ b/courses/fundamentals_of_ada/920_reference_material.rst @@ -15,7 +15,7 @@ Annex - Reference Materials .. role:: cpp(code) :language: C++ -.. role:: rust(code) +.. role:: Rust(code) :language: Rust .. container:: PRELUDE SYMBOLS From 1b9ba3db7aa2a3768fcf8fd851a25a7d0db54952 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 14:23:21 -0500 Subject: [PATCH 05/10] Update prelude for SPARK course --- courses/spark_for_ada_programmers/10_advanced_proof.rst | 3 +++ .../spark_for_ada_programmers/11_advanced_flow_analysis.rst | 3 +++ courses/spark_for_ada_programmers/12_pointer_programs.rst | 3 +++ courses/spark_for_ada_programmers/13_autoactive_proof.rst | 3 +++ courses/spark_for_ada_programmers/14_state_abstraction.rst | 3 +++ courses/spark_for_ada_programmers/15_spark_boundary.rst | 3 +++ courses/spark_for_ada_programmers/1_course_overview.rst | 3 +++ .../spark_for_ada_programmers/2_formal_methods_and_spark.rst | 3 +++ courses/spark_for_ada_programmers/3_spark_language.rst | 3 +++ courses/spark_for_ada_programmers/4_spark_tools.rst | 3 +++ courses/spark_for_ada_programmers/5_flow_analysis.rst | 3 +++ courses/spark_for_ada_programmers/6_proof.rst | 3 +++ courses/spark_for_ada_programmers/7_specification_language.rst | 3 +++ courses/spark_for_ada_programmers/8_subprogram_contracts.rst | 3 +++ .../spark_for_ada_programmers/990_spark_example_project.rst | 3 +++ courses/spark_for_ada_programmers/9_type_contracts.rst | 3 +++ 16 files changed, 48 insertions(+) diff --git a/courses/spark_for_ada_programmers/10_advanced_proof.rst b/courses/spark_for_ada_programmers/10_advanced_proof.rst index 4479f110d..cbb9fb6cf 100644 --- a/courses/spark_for_ada_programmers/10_advanced_proof.rst +++ b/courses/spark_for_ada_programmers/10_advanced_proof.rst @@ -15,6 +15,9 @@ Advanced Proof .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/11_advanced_flow_analysis.rst b/courses/spark_for_ada_programmers/11_advanced_flow_analysis.rst index 93f0903fd..dd27368cd 100644 --- a/courses/spark_for_ada_programmers/11_advanced_flow_analysis.rst +++ b/courses/spark_for_ada_programmers/11_advanced_flow_analysis.rst @@ -15,6 +15,9 @@ Advanced Flow Analysis .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/12_pointer_programs.rst b/courses/spark_for_ada_programmers/12_pointer_programs.rst index c93bde2c1..407ca43d9 100644 --- a/courses/spark_for_ada_programmers/12_pointer_programs.rst +++ b/courses/spark_for_ada_programmers/12_pointer_programs.rst @@ -15,6 +15,9 @@ Pointer Programs .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/13_autoactive_proof.rst b/courses/spark_for_ada_programmers/13_autoactive_proof.rst index 2a3ff614d..936a0a7e6 100644 --- a/courses/spark_for_ada_programmers/13_autoactive_proof.rst +++ b/courses/spark_for_ada_programmers/13_autoactive_proof.rst @@ -15,6 +15,9 @@ Auto-Active Proof .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/14_state_abstraction.rst b/courses/spark_for_ada_programmers/14_state_abstraction.rst index 9e0f46af8..1d835c062 100644 --- a/courses/spark_for_ada_programmers/14_state_abstraction.rst +++ b/courses/spark_for_ada_programmers/14_state_abstraction.rst @@ -15,6 +15,9 @@ State Abstraction .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/15_spark_boundary.rst b/courses/spark_for_ada_programmers/15_spark_boundary.rst index 0c4fe8222..658c897fd 100644 --- a/courses/spark_for_ada_programmers/15_spark_boundary.rst +++ b/courses/spark_for_ada_programmers/15_spark_boundary.rst @@ -15,6 +15,9 @@ SPARK Boundary .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/1_course_overview.rst b/courses/spark_for_ada_programmers/1_course_overview.rst index 8fb285601..abbe2738f 100644 --- a/courses/spark_for_ada_programmers/1_course_overview.rst +++ b/courses/spark_for_ada_programmers/1_course_overview.rst @@ -15,6 +15,9 @@ Course Overview .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/2_formal_methods_and_spark.rst b/courses/spark_for_ada_programmers/2_formal_methods_and_spark.rst index 92382ec2c..b147cb2bd 100644 --- a/courses/spark_for_ada_programmers/2_formal_methods_and_spark.rst +++ b/courses/spark_for_ada_programmers/2_formal_methods_and_spark.rst @@ -15,6 +15,9 @@ Formal Methods and SPARK .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/3_spark_language.rst b/courses/spark_for_ada_programmers/3_spark_language.rst index e8ae03528..97a6f8ec1 100644 --- a/courses/spark_for_ada_programmers/3_spark_language.rst +++ b/courses/spark_for_ada_programmers/3_spark_language.rst @@ -15,6 +15,9 @@ SPARK Language .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/4_spark_tools.rst b/courses/spark_for_ada_programmers/4_spark_tools.rst index d66a92fed..79a6c6802 100644 --- a/courses/spark_for_ada_programmers/4_spark_tools.rst +++ b/courses/spark_for_ada_programmers/4_spark_tools.rst @@ -15,6 +15,9 @@ SPARK Tools .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/5_flow_analysis.rst b/courses/spark_for_ada_programmers/5_flow_analysis.rst index 95afd0db4..1e4b7b4a3 100644 --- a/courses/spark_for_ada_programmers/5_flow_analysis.rst +++ b/courses/spark_for_ada_programmers/5_flow_analysis.rst @@ -15,6 +15,9 @@ Flow Analysis .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/6_proof.rst b/courses/spark_for_ada_programmers/6_proof.rst index 13f557233..6f92ff047 100644 --- a/courses/spark_for_ada_programmers/6_proof.rst +++ b/courses/spark_for_ada_programmers/6_proof.rst @@ -15,6 +15,9 @@ Proof .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/7_specification_language.rst b/courses/spark_for_ada_programmers/7_specification_language.rst index 096641c1e..e34923602 100644 --- a/courses/spark_for_ada_programmers/7_specification_language.rst +++ b/courses/spark_for_ada_programmers/7_specification_language.rst @@ -15,6 +15,9 @@ Specification Language .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/8_subprogram_contracts.rst b/courses/spark_for_ada_programmers/8_subprogram_contracts.rst index b35e5e0b9..2ba28cd9b 100644 --- a/courses/spark_for_ada_programmers/8_subprogram_contracts.rst +++ b/courses/spark_for_ada_programmers/8_subprogram_contracts.rst @@ -15,6 +15,9 @@ Subprogram Contracts .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/990_spark_example_project.rst b/courses/spark_for_ada_programmers/990_spark_example_project.rst index 06c436b1f..da52ebd5a 100644 --- a/courses/spark_for_ada_programmers/990_spark_example_project.rst +++ b/courses/spark_for_ada_programmers/990_spark_example_project.rst @@ -15,6 +15,9 @@ SPARK Example Project .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/spark_for_ada_programmers/9_type_contracts.rst b/courses/spark_for_ada_programmers/9_type_contracts.rst index fb7372c31..95e07c16b 100644 --- a/courses/spark_for_ada_programmers/9_type_contracts.rst +++ b/courses/spark_for_ada_programmers/9_type_contracts.rst @@ -15,6 +15,9 @@ Type Contracts .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` From 5d798bf49ef4a770c755a8b118cba4a29156d785 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 14:27:18 -0500 Subject: [PATCH 06/10] Update prelude for Advanced Exception Analysis --- .../010_advanced_exception_analysis.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/courses/advanced_exception_analysis/010_advanced_exception_analysis.rst b/courses/advanced_exception_analysis/010_advanced_exception_analysis.rst index 9e322ed91..3f1110947 100644 --- a/courses/advanced_exception_analysis/010_advanced_exception_analysis.rst +++ b/courses/advanced_exception_analysis/010_advanced_exception_analysis.rst @@ -15,6 +15,9 @@ Advanced Exception Analysis .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` From 3a0baf73e018a6776d88eb14d8665fef50a2ce4b Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 14:37:33 -0500 Subject: [PATCH 07/10] Fix preludes --- contrib/rst_update_prelude.py | 6 +++--- courses/fundamentals_of_ada/005_introduction.rst | 6 +++--- courses/fundamentals_of_ada/010_overview.rst | 4 ++-- courses/fundamentals_of_ada/020_declarations.rst | 4 ++-- courses/fundamentals_of_ada/030_basic_types-extras.rst | 2 +- courses/fundamentals_of_ada/030_basic_types-in_depth.rst | 2 +- courses/fundamentals_of_ada/030_basic_types.rst | 2 +- courses/fundamentals_of_ada/040_statements.rst | 4 ++-- courses/fundamentals_of_ada/050_array_types.rst | 2 +- courses/fundamentals_of_ada/060_record_types.rst | 4 ++-- courses/fundamentals_of_ada/065_discriminated_records.rst | 4 ++-- courses/fundamentals_of_ada/070_subprograms.rst | 4 ++-- courses/fundamentals_of_ada/075_type_derivation.rst | 4 ++-- .../fundamentals_of_ada/080_expressions-with_quantified.rst | 2 +- courses/fundamentals_of_ada/080_expressions.rst | 2 +- .../fundamentals_of_ada/090_overloading-with_equality.rst | 2 +- courses/fundamentals_of_ada/090_overloading.rst | 2 +- courses/fundamentals_of_ada/100_packages.rst | 4 ++-- courses/fundamentals_of_ada/110_private_types.rst | 4 ++-- courses/fundamentals_of_ada/120_limited_types.rst | 4 ++-- courses/fundamentals_of_ada/130_program_structure.rst | 4 ++-- courses/fundamentals_of_ada/135_visibility.rst | 4 ++-- courses/fundamentals_of_ada/140_access_types-in_depth.rst | 2 +- courses/fundamentals_of_ada/140_access_types.rst | 2 +- courses/fundamentals_of_ada/160_genericity-intro.rst | 4 ++-- courses/fundamentals_of_ada/160_genericity.rst | 4 ++-- courses/fundamentals_of_ada/170_tagged_derivation-intro.rst | 4 ++-- courses/fundamentals_of_ada/170_tagged_derivation.rst | 4 ++-- courses/fundamentals_of_ada/175_multiple_inheritance.rst | 4 ++-- courses/fundamentals_of_ada/180_polymorphism.rst | 4 ++-- courses/fundamentals_of_ada/190_exceptions-in_depth.rst | 2 +- courses/fundamentals_of_ada/190_exceptions.rst | 2 +- courses/fundamentals_of_ada/230_interfacing_with_c.rst | 4 ++-- courses/fundamentals_of_ada/240_tasking.rst | 2 +- courses/fundamentals_of_ada/240_tasking_in_depth.rst | 2 +- courses/fundamentals_of_ada/240_tasking_light.rst | 2 +- courses/fundamentals_of_ada/240_tasking_light_in_depth.rst | 2 +- .../245_ravenscar_tasking-with_tasking_overview.rst | 4 ++-- courses/fundamentals_of_ada/245_ravenscar_tasking.rst | 4 ++-- courses/fundamentals_of_ada/260_controlled_types.rst | 2 +- .../fundamentals_of_ada/270_introduction_to_contracts.rst | 4 ++-- courses/fundamentals_of_ada/273_subprogram_contracts.rst | 4 ++-- courses/fundamentals_of_ada/276_type_contracts.rst | 4 ++-- courses/fundamentals_of_ada/280_low_level_programming.rst | 2 +- courses/fundamentals_of_ada/290_advanced_data_hiding.rst | 2 +- courses/fundamentals_of_ada/890_ada_text_io.rst | 2 +- courses/fundamentals_of_ada/891_ada_characters.rst | 2 +- courses/fundamentals_of_ada/892_ada_strings.rst | 2 +- courses/fundamentals_of_ada/893_ada_numerics.rst | 2 +- courses/fundamentals_of_ada/894_ada_containers.rst | 2 +- courses/fundamentals_of_ada/901_ada_2022_specific.rst | 2 +- courses/fundamentals_of_ada/902_future_capabilities.rst | 2 +- courses/fundamentals_of_ada/920_reference_material.rst | 2 +- courses/gnat_project_facility/010_overview.rst | 3 +++ .../gnat_project_facility/020_building_with_gprbuild.rst | 3 +++ courses/gnat_project_facility/030_project_properties.rst | 3 +++ .../040_structuring_your_application.rst | 3 +++ courses/gnat_project_facility/050_advanced_capabilities.rst | 3 +++ courses/gnat_project_facility/060_summary.rst | 3 +++ courses/gnatdas/010_overview.rst | 3 +++ courses/gnatdas/cover_010_overview.rst | 3 +++ courses/gnatdas/cover_020_basic_workflow.rst | 3 +++ courses/gnatdas/cover_030_advanced_topics.rst | 3 +++ courses/gnatdas/cover_040_gnatstudio.rst | 3 +++ courses/gnatdas/test_010_overview.rst | 3 +++ courses/gnatdas/test_020_usage.rst | 3 +++ courses/gnatdas/test_030_controlling_gnattest.rst | 3 +++ courses/gnatdas/test_040_advanced_testing.rst | 3 +++ courses/gnatsas/010_course_overview.rst | 3 +++ courses/gnatsas/check_010_overview.rst | 3 +++ courses/gnatsas/check_020_getting_started.rst | 3 +++ courses/gnatsas/check_030_predefined_rules.rst | 3 +++ courses/gnatsas/check_040_lkql.rst | 3 +++ courses/gnatsas/metric_010_overview.rst | 3 +++ courses/gnatsas/sas_010_introduction.rst | 3 +++ courses/gnatsas/sas_020_overview.rst | 3 +++ courses/gnatsas/sas_030_analysis.rst | 3 +++ courses/gnatsas/sas_040_viewing_results.rst | 3 +++ courses/gnatsas/sas_050_reviewing_messages.rst | 3 +++ courses/gnatsas/sas_060_tutorial.rst | 3 +++ .../010_static_analysis_via_compiler.rst | 3 +++ 81 files changed, 165 insertions(+), 81 deletions(-) diff --git a/contrib/rst_update_prelude.py b/contrib/rst_update_prelude.py index 5d1e57c45..fb8ac0d29 100644 --- a/contrib/rst_update_prelude.py +++ b/contrib/rst_update_prelude.py @@ -24,17 +24,17 @@ def section_start(l): ap.add_argument("files", nargs="+") args = ap.parse_args() - with open(args.prelude, "rt") as pf: + with open(args.prelude, "r") as pf: prelude_content = pf.read() if prelude_content.endswith(os.linesep): prelude_content = prelude_content[:-1] for f in args.files: - with open(f, "rt") as ff: + with open(f, "r") as ff: file_lines = ff.read().splitlines() - f_out = open(f, "wt") if args.in_place else sys.stdout + f_out = open(f, "w") if args.in_place else sys.stdout def print_out(*a, **kw): kw.setdefault("file", f_out) diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst index e0136ff23..c902d55ca 100644 --- a/courses/fundamentals_of_ada/005_introduction.rst +++ b/courses/fundamentals_of_ada/005_introduction.rst @@ -1,4 +1,4 @@ -************ +u*********** Introduction ************ @@ -14,9 +14,9 @@ Introduction .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/010_overview.rst b/courses/fundamentals_of_ada/010_overview.rst index e8ede0d12..3f9a281e0 100644 --- a/courses/fundamentals_of_ada/010_overview.rst +++ b/courses/fundamentals_of_ada/010_overview.rst @@ -14,9 +14,9 @@ Overview .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/020_declarations.rst b/courses/fundamentals_of_ada/020_declarations.rst index 59afde66d..4e5904e1b 100644 --- a/courses/fundamentals_of_ada/020_declarations.rst +++ b/courses/fundamentals_of_ada/020_declarations.rst @@ -14,9 +14,9 @@ Declarations .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/030_basic_types-extras.rst b/courses/fundamentals_of_ada/030_basic_types-extras.rst index a9a5508df..10ce21a95 100644 --- a/courses/fundamentals_of_ada/030_basic_types-extras.rst +++ b/courses/fundamentals_of_ada/030_basic_types-extras.rst @@ -15,7 +15,7 @@ Basic Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS 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 55767f18c..3ca6d8a38 100644 --- a/courses/fundamentals_of_ada/030_basic_types-in_depth.rst +++ b/courses/fundamentals_of_ada/030_basic_types-in_depth.rst @@ -15,7 +15,7 @@ Basic Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/030_basic_types.rst b/courses/fundamentals_of_ada/030_basic_types.rst index 6791a04f7..e86f23f97 100644 --- a/courses/fundamentals_of_ada/030_basic_types.rst +++ b/courses/fundamentals_of_ada/030_basic_types.rst @@ -15,7 +15,7 @@ Basic Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/040_statements.rst b/courses/fundamentals_of_ada/040_statements.rst index d0c4d32f0..c717af490 100644 --- a/courses/fundamentals_of_ada/040_statements.rst +++ b/courses/fundamentals_of_ada/040_statements.rst @@ -14,9 +14,9 @@ Statements .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/050_array_types.rst b/courses/fundamentals_of_ada/050_array_types.rst index a106aece4..85eefe516 100644 --- a/courses/fundamentals_of_ada/050_array_types.rst +++ b/courses/fundamentals_of_ada/050_array_types.rst @@ -15,7 +15,7 @@ Array Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/060_record_types.rst b/courses/fundamentals_of_ada/060_record_types.rst index bc6905b79..a0d38502c 100644 --- a/courses/fundamentals_of_ada/060_record_types.rst +++ b/courses/fundamentals_of_ada/060_record_types.rst @@ -14,9 +14,9 @@ Record Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/065_discriminated_records.rst b/courses/fundamentals_of_ada/065_discriminated_records.rst index 34166d74b..ba093f97b 100644 --- a/courses/fundamentals_of_ada/065_discriminated_records.rst +++ b/courses/fundamentals_of_ada/065_discriminated_records.rst @@ -14,9 +14,9 @@ Discriminated Records .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/070_subprograms.rst b/courses/fundamentals_of_ada/070_subprograms.rst index 5e826f3cf..ba4a21da4 100644 --- a/courses/fundamentals_of_ada/070_subprograms.rst +++ b/courses/fundamentals_of_ada/070_subprograms.rst @@ -14,9 +14,9 @@ Subprograms .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/075_type_derivation.rst b/courses/fundamentals_of_ada/075_type_derivation.rst index d8e695649..8986d9df7 100644 --- a/courses/fundamentals_of_ada/075_type_derivation.rst +++ b/courses/fundamentals_of_ada/075_type_derivation.rst @@ -14,9 +14,9 @@ Type Derivation .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst index 82962af06..7fc71c7d2 100644 --- a/courses/fundamentals_of_ada/080_expressions-with_quantified.rst +++ b/courses/fundamentals_of_ada/080_expressions-with_quantified.rst @@ -15,7 +15,7 @@ Expressions .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/080_expressions.rst b/courses/fundamentals_of_ada/080_expressions.rst index c18d8601c..6392ec597 100644 --- a/courses/fundamentals_of_ada/080_expressions.rst +++ b/courses/fundamentals_of_ada/080_expressions.rst @@ -15,7 +15,7 @@ Expressions .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/090_overloading-with_equality.rst b/courses/fundamentals_of_ada/090_overloading-with_equality.rst index a913928fe..b4683022a 100644 --- a/courses/fundamentals_of_ada/090_overloading-with_equality.rst +++ b/courses/fundamentals_of_ada/090_overloading-with_equality.rst @@ -15,7 +15,7 @@ Overloading .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/090_overloading.rst b/courses/fundamentals_of_ada/090_overloading.rst index b515ae109..c9fe30fdf 100644 --- a/courses/fundamentals_of_ada/090_overloading.rst +++ b/courses/fundamentals_of_ada/090_overloading.rst @@ -15,7 +15,7 @@ Overloading .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/100_packages.rst b/courses/fundamentals_of_ada/100_packages.rst index e8c90331c..cafbc77e8 100644 --- a/courses/fundamentals_of_ada/100_packages.rst +++ b/courses/fundamentals_of_ada/100_packages.rst @@ -14,9 +14,9 @@ Packages .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/110_private_types.rst b/courses/fundamentals_of_ada/110_private_types.rst index 91dc1ff0e..5c3a56a78 100644 --- a/courses/fundamentals_of_ada/110_private_types.rst +++ b/courses/fundamentals_of_ada/110_private_types.rst @@ -14,9 +14,9 @@ Private Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/120_limited_types.rst b/courses/fundamentals_of_ada/120_limited_types.rst index 09a5d8145..367c10afb 100644 --- a/courses/fundamentals_of_ada/120_limited_types.rst +++ b/courses/fundamentals_of_ada/120_limited_types.rst @@ -14,9 +14,9 @@ Limited Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/130_program_structure.rst b/courses/fundamentals_of_ada/130_program_structure.rst index 14505d8d7..7bcf276ae 100644 --- a/courses/fundamentals_of_ada/130_program_structure.rst +++ b/courses/fundamentals_of_ada/130_program_structure.rst @@ -14,9 +14,9 @@ Program Structure .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/135_visibility.rst b/courses/fundamentals_of_ada/135_visibility.rst index 1a4f688fc..62b50f375 100644 --- a/courses/fundamentals_of_ada/135_visibility.rst +++ b/courses/fundamentals_of_ada/135_visibility.rst @@ -14,9 +14,9 @@ Visibility .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS 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 8ddbe7393..87b5de62b 100644 --- a/courses/fundamentals_of_ada/140_access_types-in_depth.rst +++ b/courses/fundamentals_of_ada/140_access_types-in_depth.rst @@ -15,7 +15,7 @@ Access Types In Depth .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/140_access_types.rst b/courses/fundamentals_of_ada/140_access_types.rst index 05e8c36ad..bf88d7922 100644 --- a/courses/fundamentals_of_ada/140_access_types.rst +++ b/courses/fundamentals_of_ada/140_access_types.rst @@ -15,7 +15,7 @@ Access Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/160_genericity-intro.rst b/courses/fundamentals_of_ada/160_genericity-intro.rst index 12caf0c5b..c1a11ada3 100644 --- a/courses/fundamentals_of_ada/160_genericity-intro.rst +++ b/courses/fundamentals_of_ada/160_genericity-intro.rst @@ -14,9 +14,9 @@ Genericity .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/160_genericity.rst b/courses/fundamentals_of_ada/160_genericity.rst index e4b394c39..e3242e178 100644 --- a/courses/fundamentals_of_ada/160_genericity.rst +++ b/courses/fundamentals_of_ada/160_genericity.rst @@ -14,9 +14,9 @@ Genericity .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst index cb468d17e..647a5f355 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst @@ -14,9 +14,9 @@ Tagged Derivation .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/170_tagged_derivation.rst b/courses/fundamentals_of_ada/170_tagged_derivation.rst index a52fb2ce0..7aafdd731 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation.rst @@ -14,9 +14,9 @@ Tagged Derivation .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/175_multiple_inheritance.rst b/courses/fundamentals_of_ada/175_multiple_inheritance.rst index 33603ceb0..dc08e7778 100644 --- a/courses/fundamentals_of_ada/175_multiple_inheritance.rst +++ b/courses/fundamentals_of_ada/175_multiple_inheritance.rst @@ -14,9 +14,9 @@ Multiple Inheritance .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/180_polymorphism.rst b/courses/fundamentals_of_ada/180_polymorphism.rst index c6f504a4e..bedbf5a43 100644 --- a/courses/fundamentals_of_ada/180_polymorphism.rst +++ b/courses/fundamentals_of_ada/180_polymorphism.rst @@ -14,9 +14,9 @@ Polymorphism .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst index b8706668c..b93235e6e 100644 --- a/courses/fundamentals_of_ada/190_exceptions-in_depth.rst +++ b/courses/fundamentals_of_ada/190_exceptions-in_depth.rst @@ -15,7 +15,7 @@ Exceptions In-Depth .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/190_exceptions.rst b/courses/fundamentals_of_ada/190_exceptions.rst index c802c9960..b328c6148 100644 --- a/courses/fundamentals_of_ada/190_exceptions.rst +++ b/courses/fundamentals_of_ada/190_exceptions.rst @@ -15,7 +15,7 @@ Exceptions .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/230_interfacing_with_c.rst b/courses/fundamentals_of_ada/230_interfacing_with_c.rst index 4a69fd528..0e98c5f77 100644 --- a/courses/fundamentals_of_ada/230_interfacing_with_c.rst +++ b/courses/fundamentals_of_ada/230_interfacing_with_c.rst @@ -14,9 +14,9 @@ Interfacing with C .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/240_tasking.rst b/courses/fundamentals_of_ada/240_tasking.rst index 214ae4a9b..464b65c75 100644 --- a/courses/fundamentals_of_ada/240_tasking.rst +++ b/courses/fundamentals_of_ada/240_tasking.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/240_tasking_in_depth.rst b/courses/fundamentals_of_ada/240_tasking_in_depth.rst index f672d9b3c..a434c6906 100644 --- a/courses/fundamentals_of_ada/240_tasking_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_in_depth.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/240_tasking_light.rst b/courses/fundamentals_of_ada/240_tasking_light.rst index 8750f42ba..0818b7c8b 100644 --- a/courses/fundamentals_of_ada/240_tasking_light.rst +++ b/courses/fundamentals_of_ada/240_tasking_light.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS 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 503f666ad..2ab81d6be 100644 --- a/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst +++ b/courses/fundamentals_of_ada/240_tasking_light_in_depth.rst @@ -15,7 +15,7 @@ Tasking .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS 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 165ad341e..597098a96 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 @@ -14,9 +14,9 @@ Ravenscar Tasking .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst index 4a4f0da3b..0160ef0e4 100644 --- a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst +++ b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst @@ -14,9 +14,9 @@ Ravenscar Tasking .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/260_controlled_types.rst b/courses/fundamentals_of_ada/260_controlled_types.rst index 1b9e916bf..b1c4d4598 100644 --- a/courses/fundamentals_of_ada/260_controlled_types.rst +++ b/courses/fundamentals_of_ada/260_controlled_types.rst @@ -15,7 +15,7 @@ Controlled Types .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst index 81cb72273..8e24ecefd 100644 --- a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst +++ b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst @@ -14,9 +14,9 @@ Ada Contracts .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/273_subprogram_contracts.rst b/courses/fundamentals_of_ada/273_subprogram_contracts.rst index efd64b810..4f6c99268 100644 --- a/courses/fundamentals_of_ada/273_subprogram_contracts.rst +++ b/courses/fundamentals_of_ada/273_subprogram_contracts.rst @@ -14,9 +14,9 @@ Subprogram Contracts .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/276_type_contracts.rst b/courses/fundamentals_of_ada/276_type_contracts.rst index dbb43eb7a..fc416556a 100644 --- a/courses/fundamentals_of_ada/276_type_contracts.rst +++ b/courses/fundamentals_of_ada/276_type_contracts.rst @@ -14,9 +14,9 @@ Type Contracts .. role:: cpp(code) :language: C++ -.. role:: Rust(code) - :language: Rust +.. role:: rust(code) + :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/280_low_level_programming.rst b/courses/fundamentals_of_ada/280_low_level_programming.rst index 7e50a2db5..0b288c6ca 100644 --- a/courses/fundamentals_of_ada/280_low_level_programming.rst +++ b/courses/fundamentals_of_ada/280_low_level_programming.rst @@ -15,7 +15,7 @@ Low Level Programming .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/290_advanced_data_hiding.rst b/courses/fundamentals_of_ada/290_advanced_data_hiding.rst index cb4a99468..b7cba3957 100644 --- a/courses/fundamentals_of_ada/290_advanced_data_hiding.rst +++ b/courses/fundamentals_of_ada/290_advanced_data_hiding.rst @@ -15,7 +15,7 @@ Advanced Privacy .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/890_ada_text_io.rst b/courses/fundamentals_of_ada/890_ada_text_io.rst index a66ea61f0..7ab11caae 100644 --- a/courses/fundamentals_of_ada/890_ada_text_io.rst +++ b/courses/fundamentals_of_ada/890_ada_text_io.rst @@ -15,7 +15,7 @@ Ada.Text_IO .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/891_ada_characters.rst b/courses/fundamentals_of_ada/891_ada_characters.rst index 14205c3cb..edaf9c16e 100644 --- a/courses/fundamentals_of_ada/891_ada_characters.rst +++ b/courses/fundamentals_of_ada/891_ada_characters.rst @@ -15,7 +15,7 @@ Ada.Characters .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/892_ada_strings.rst b/courses/fundamentals_of_ada/892_ada_strings.rst index 338c901b1..d546e158b 100644 --- a/courses/fundamentals_of_ada/892_ada_strings.rst +++ b/courses/fundamentals_of_ada/892_ada_strings.rst @@ -15,7 +15,7 @@ Ada.Strings .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/893_ada_numerics.rst b/courses/fundamentals_of_ada/893_ada_numerics.rst index eba2d9834..f9276c043 100644 --- a/courses/fundamentals_of_ada/893_ada_numerics.rst +++ b/courses/fundamentals_of_ada/893_ada_numerics.rst @@ -15,7 +15,7 @@ Ada.Numerics .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/894_ada_containers.rst b/courses/fundamentals_of_ada/894_ada_containers.rst index fa9b6e5b7..373cc5b59 100644 --- a/courses/fundamentals_of_ada/894_ada_containers.rst +++ b/courses/fundamentals_of_ada/894_ada_containers.rst @@ -15,7 +15,7 @@ Containers .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/901_ada_2022_specific.rst b/courses/fundamentals_of_ada/901_ada_2022_specific.rst index 77cdc92cd..43034149a 100644 --- a/courses/fundamentals_of_ada/901_ada_2022_specific.rst +++ b/courses/fundamentals_of_ada/901_ada_2022_specific.rst @@ -15,7 +15,7 @@ Ada 2022 .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/902_future_capabilities.rst b/courses/fundamentals_of_ada/902_future_capabilities.rst index ff30bb375..3e3af577b 100644 --- a/courses/fundamentals_of_ada/902_future_capabilities.rst +++ b/courses/fundamentals_of_ada/902_future_capabilities.rst @@ -15,7 +15,7 @@ Future Ada Capabilities .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/fundamentals_of_ada/920_reference_material.rst b/courses/fundamentals_of_ada/920_reference_material.rst index 83f2c7ee0..28e92ab7a 100644 --- a/courses/fundamentals_of_ada/920_reference_material.rst +++ b/courses/fundamentals_of_ada/920_reference_material.rst @@ -15,7 +15,7 @@ Annex - Reference Materials .. role:: cpp(code) :language: C++ -.. role:: Rust(code) +.. role:: rust(code) :language: Rust .. container:: PRELUDE SYMBOLS diff --git a/courses/gnat_project_facility/010_overview.rst b/courses/gnat_project_facility/010_overview.rst index 9d12871af..6bc97c83e 100644 --- a/courses/gnat_project_facility/010_overview.rst +++ b/courses/gnat_project_facility/010_overview.rst @@ -15,6 +15,9 @@ Overview .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnat_project_facility/020_building_with_gprbuild.rst b/courses/gnat_project_facility/020_building_with_gprbuild.rst index 90f1948b0..b14a83a9a 100644 --- a/courses/gnat_project_facility/020_building_with_gprbuild.rst +++ b/courses/gnat_project_facility/020_building_with_gprbuild.rst @@ -15,6 +15,9 @@ Building with GPRbuild .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnat_project_facility/030_project_properties.rst b/courses/gnat_project_facility/030_project_properties.rst index 50cfe63ad..631db768f 100644 --- a/courses/gnat_project_facility/030_project_properties.rst +++ b/courses/gnat_project_facility/030_project_properties.rst @@ -15,6 +15,9 @@ Project Properties .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnat_project_facility/040_structuring_your_application.rst b/courses/gnat_project_facility/040_structuring_your_application.rst index f89bbff7d..72323b8a4 100644 --- a/courses/gnat_project_facility/040_structuring_your_application.rst +++ b/courses/gnat_project_facility/040_structuring_your_application.rst @@ -15,6 +15,9 @@ Structuring Your Application .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnat_project_facility/050_advanced_capabilities.rst b/courses/gnat_project_facility/050_advanced_capabilities.rst index 7a7b88df7..f201afe0b 100644 --- a/courses/gnat_project_facility/050_advanced_capabilities.rst +++ b/courses/gnat_project_facility/050_advanced_capabilities.rst @@ -15,6 +15,9 @@ Advanced Capabilities .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnat_project_facility/060_summary.rst b/courses/gnat_project_facility/060_summary.rst index 7227d29ad..b3554a618 100644 --- a/courses/gnat_project_facility/060_summary.rst +++ b/courses/gnat_project_facility/060_summary.rst @@ -15,6 +15,9 @@ Summary .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/010_overview.rst b/courses/gnatdas/010_overview.rst index d8a37b249..3ecde11f1 100644 --- a/courses/gnatdas/010_overview.rst +++ b/courses/gnatdas/010_overview.rst @@ -15,6 +15,9 @@ Overview .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/cover_010_overview.rst b/courses/gnatdas/cover_010_overview.rst index e61e41cd2..5af2e3b07 100644 --- a/courses/gnatdas/cover_010_overview.rst +++ b/courses/gnatdas/cover_010_overview.rst @@ -15,6 +15,9 @@ GNATcoverage .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/cover_020_basic_workflow.rst b/courses/gnatdas/cover_020_basic_workflow.rst index 803974455..1011d5521 100644 --- a/courses/gnatdas/cover_020_basic_workflow.rst +++ b/courses/gnatdas/cover_020_basic_workflow.rst @@ -15,6 +15,9 @@ Basic Workflow .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/cover_030_advanced_topics.rst b/courses/gnatdas/cover_030_advanced_topics.rst index 82b618dfa..b990796fe 100644 --- a/courses/gnatdas/cover_030_advanced_topics.rst +++ b/courses/gnatdas/cover_030_advanced_topics.rst @@ -15,6 +15,9 @@ Advanced GNATcoverage Capabilities .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/cover_040_gnatstudio.rst b/courses/gnatdas/cover_040_gnatstudio.rst index b675cbcd4..b70f0f56e 100644 --- a/courses/gnatdas/cover_040_gnatstudio.rst +++ b/courses/gnatdas/cover_040_gnatstudio.rst @@ -15,6 +15,9 @@ GNATcoverage From GNAT Studio .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/test_010_overview.rst b/courses/gnatdas/test_010_overview.rst index 05d1c07ca..2853c6d66 100644 --- a/courses/gnatdas/test_010_overview.rst +++ b/courses/gnatdas/test_010_overview.rst @@ -15,6 +15,9 @@ GNATtest .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/test_020_usage.rst b/courses/gnatdas/test_020_usage.rst index 573a96128..689c9b43d 100644 --- a/courses/gnatdas/test_020_usage.rst +++ b/courses/gnatdas/test_020_usage.rst @@ -15,6 +15,9 @@ Usage .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/test_030_controlling_gnattest.rst b/courses/gnatdas/test_030_controlling_gnattest.rst index f786c39c4..2c7206507 100644 --- a/courses/gnatdas/test_030_controlling_gnattest.rst +++ b/courses/gnatdas/test_030_controlling_gnattest.rst @@ -15,6 +15,9 @@ Controlling GNATtest .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatdas/test_040_advanced_testing.rst b/courses/gnatdas/test_040_advanced_testing.rst index 800812caa..862e42fd8 100644 --- a/courses/gnatdas/test_040_advanced_testing.rst +++ b/courses/gnatdas/test_040_advanced_testing.rst @@ -15,6 +15,9 @@ Advanced Testing Techniques .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/010_course_overview.rst b/courses/gnatsas/010_course_overview.rst index 7cd488e6e..cb5b28493 100644 --- a/courses/gnatsas/010_course_overview.rst +++ b/courses/gnatsas/010_course_overview.rst @@ -15,6 +15,9 @@ Overview .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/check_010_overview.rst b/courses/gnatsas/check_010_overview.rst index e7eab82d6..948660390 100644 --- a/courses/gnatsas/check_010_overview.rst +++ b/courses/gnatsas/check_010_overview.rst @@ -15,6 +15,9 @@ .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/check_020_getting_started.rst b/courses/gnatsas/check_020_getting_started.rst index 385bfd506..e6ecb2ad1 100644 --- a/courses/gnatsas/check_020_getting_started.rst +++ b/courses/gnatsas/check_020_getting_started.rst @@ -15,6 +15,9 @@ Getting Started .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/check_030_predefined_rules.rst b/courses/gnatsas/check_030_predefined_rules.rst index a647b3d0b..7a01b46a9 100644 --- a/courses/gnatsas/check_030_predefined_rules.rst +++ b/courses/gnatsas/check_030_predefined_rules.rst @@ -15,6 +15,9 @@ Predefined Rules .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/check_040_lkql.rst b/courses/gnatsas/check_040_lkql.rst index d04db5cb5..c9da24d42 100644 --- a/courses/gnatsas/check_040_lkql.rst +++ b/courses/gnatsas/check_040_lkql.rst @@ -15,6 +15,9 @@ Writing Your Own Rules .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/metric_010_overview.rst b/courses/gnatsas/metric_010_overview.rst index 01a20b02a..c23449fd8 100644 --- a/courses/gnatsas/metric_010_overview.rst +++ b/courses/gnatsas/metric_010_overview.rst @@ -15,6 +15,9 @@ GNAT Metrics Tool .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/sas_010_introduction.rst b/courses/gnatsas/sas_010_introduction.rst index f00974458..7d0d38842 100644 --- a/courses/gnatsas/sas_010_introduction.rst +++ b/courses/gnatsas/sas_010_introduction.rst @@ -15,6 +15,9 @@ GNAT Static Analysis Suite (GNAT SAS) .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/sas_020_overview.rst b/courses/gnatsas/sas_020_overview.rst index f65a4abae..165f14388 100644 --- a/courses/gnatsas/sas_020_overview.rst +++ b/courses/gnatsas/sas_020_overview.rst @@ -15,6 +15,9 @@ GNAT SAS Overview .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/sas_030_analysis.rst b/courses/gnatsas/sas_030_analysis.rst index c50febd56..878e65b5e 100644 --- a/courses/gnatsas/sas_030_analysis.rst +++ b/courses/gnatsas/sas_030_analysis.rst @@ -15,6 +15,9 @@ Analyzing Code .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/sas_040_viewing_results.rst b/courses/gnatsas/sas_040_viewing_results.rst index 9b1722740..430b69266 100644 --- a/courses/gnatsas/sas_040_viewing_results.rst +++ b/courses/gnatsas/sas_040_viewing_results.rst @@ -15,6 +15,9 @@ Viewing Results .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/sas_050_reviewing_messages.rst b/courses/gnatsas/sas_050_reviewing_messages.rst index 21bd14c16..696bb51cb 100644 --- a/courses/gnatsas/sas_050_reviewing_messages.rst +++ b/courses/gnatsas/sas_050_reviewing_messages.rst @@ -15,6 +15,9 @@ Reviewing Results and Improving Code .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/gnatsas/sas_060_tutorial.rst b/courses/gnatsas/sas_060_tutorial.rst index 7640011f8..8b051fdab 100644 --- a/courses/gnatsas/sas_060_tutorial.rst +++ b/courses/gnatsas/sas_060_tutorial.rst @@ -15,6 +15,9 @@ GNAT SAS Tutorial - Step by Step .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/static_analysis_via_compiler/010_static_analysis_via_compiler.rst b/courses/static_analysis_via_compiler/010_static_analysis_via_compiler.rst index bda581fdc..2707a6b8a 100644 --- a/courses/static_analysis_via_compiler/010_static_analysis_via_compiler.rst +++ b/courses/static_analysis_via_compiler/010_static_analysis_via_compiler.rst @@ -15,6 +15,9 @@ Static Analysis Via Compiler .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` From d4eefe5708bcfcc57be2c6c018836467c173ffed Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Wed, 29 Jan 2025 14:50:09 -0500 Subject: [PATCH 08/10] Fix typo --- courses/fundamentals_of_ada/005_introduction.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst index c902d55ca..361aa1c22 100644 --- a/courses/fundamentals_of_ada/005_introduction.rst +++ b/courses/fundamentals_of_ada/005_introduction.rst @@ -1,4 +1,4 @@ -u*********** +************ Introduction ************ From 21a265e87c514bba4b8f501cd16aef1cbdeb8d32 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Thu, 30 Jan 2025 09:02:38 -0500 Subject: [PATCH 09/10] Put mode modifiers back --- contrib/rst_update_prelude.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/rst_update_prelude.py b/contrib/rst_update_prelude.py index fb8ac0d29..fa922b0a2 100644 --- a/contrib/rst_update_prelude.py +++ b/contrib/rst_update_prelude.py @@ -24,14 +24,14 @@ def section_start(l): ap.add_argument("files", nargs="+") args = ap.parse_args() - with open(args.prelude, "r") as pf: + with open(args.prelude, "rt") as pf: prelude_content = pf.read() if prelude_content.endswith(os.linesep): prelude_content = prelude_content[:-1] for f in args.files: - with open(f, "r") as ff: + with open(f, "rt") as ff: file_lines = ff.read().splitlines() f_out = open(f, "w") if args.in_place else sys.stdout From 8e6097c51edac89dbd32fc928ad4b879fd1ef160 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Thu, 30 Jan 2025 13:26:02 -0500 Subject: [PATCH 10/10] Fix one more file mode --- contrib/rst_update_prelude.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/rst_update_prelude.py b/contrib/rst_update_prelude.py index fa922b0a2..5d1e57c45 100644 --- a/contrib/rst_update_prelude.py +++ b/contrib/rst_update_prelude.py @@ -34,7 +34,7 @@ def section_start(l): with open(f, "rt") as ff: file_lines = ff.read().splitlines() - f_out = open(f, "w") if args.in_place else sys.stdout + f_out = open(f, "wt") if args.in_place else sys.stdout def print_out(*a, **kw): kw.setdefault("file", f_out)