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` diff --git a/courses/fundamentals_of_ada/005_introduction.rst b/courses/fundamentals_of_ada/005_introduction.rst index a651ec316..361aa1c22 100644 --- a/courses/fundamentals_of_ada/005_introduction.rst +++ b/courses/fundamentals_of_ada/005_introduction.rst @@ -15,6 +15,9 @@ Introduction .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/010_overview.rst b/courses/fundamentals_of_ada/010_overview.rst index 6d0d16484..3f9a281e0 100644 --- a/courses/fundamentals_of_ada/010_overview.rst +++ b/courses/fundamentals_of_ada/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/fundamentals_of_ada/020_declarations.rst b/courses/fundamentals_of_ada/020_declarations.rst index c7634caec..4e5904e1b 100644 --- a/courses/fundamentals_of_ada/020_declarations.rst +++ b/courses/fundamentals_of_ada/020_declarations.rst @@ -15,6 +15,9 @@ Declarations .. 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-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..c717af490 100644 --- a/courses/fundamentals_of_ada/040_statements.rst +++ b/courses/fundamentals_of_ada/040_statements.rst @@ -15,6 +15,9 @@ Statements .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` 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..a0d38502c 100644 --- a/courses/fundamentals_of_ada/060_record_types.rst +++ b/courses/fundamentals_of_ada/060_record_types.rst @@ -15,6 +15,9 @@ Record 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/065_discriminated_records.rst b/courses/fundamentals_of_ada/065_discriminated_records.rst index a74ae182e..ba093f97b 100644 --- a/courses/fundamentals_of_ada/065_discriminated_records.rst +++ b/courses/fundamentals_of_ada/065_discriminated_records.rst @@ -15,6 +15,9 @@ Discriminated Records .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/070_subprograms.rst b/courses/fundamentals_of_ada/070_subprograms.rst index 76f729c3a..ba4a21da4 100644 --- a/courses/fundamentals_of_ada/070_subprograms.rst +++ b/courses/fundamentals_of_ada/070_subprograms.rst @@ -15,6 +15,9 @@ Subprograms .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/075_type_derivation.rst b/courses/fundamentals_of_ada/075_type_derivation.rst index bb08dbf58..8986d9df7 100644 --- a/courses/fundamentals_of_ada/075_type_derivation.rst +++ b/courses/fundamentals_of_ada/075_type_derivation.rst @@ -15,6 +15,9 @@ Type Derivation .. 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-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..cafbc77e8 100644 --- a/courses/fundamentals_of_ada/100_packages.rst +++ b/courses/fundamentals_of_ada/100_packages.rst @@ -15,6 +15,9 @@ Packages .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/110_private_types.rst b/courses/fundamentals_of_ada/110_private_types.rst index 0dbebe49e..5c3a56a78 100644 --- a/courses/fundamentals_of_ada/110_private_types.rst +++ b/courses/fundamentals_of_ada/110_private_types.rst @@ -15,6 +15,9 @@ Private 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/120_limited_types.rst b/courses/fundamentals_of_ada/120_limited_types.rst index 90ebb0c7c..367c10afb 100644 --- a/courses/fundamentals_of_ada/120_limited_types.rst +++ b/courses/fundamentals_of_ada/120_limited_types.rst @@ -15,6 +15,9 @@ Limited 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/130_program_structure.rst b/courses/fundamentals_of_ada/130_program_structure.rst index 07d02d65e..7bcf276ae 100644 --- a/courses/fundamentals_of_ada/130_program_structure.rst +++ b/courses/fundamentals_of_ada/130_program_structure.rst @@ -15,6 +15,9 @@ Program Structure .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/135_visibility.rst b/courses/fundamentals_of_ada/135_visibility.rst index 104b32f78..62b50f375 100644 --- a/courses/fundamentals_of_ada/135_visibility.rst +++ b/courses/fundamentals_of_ada/135_visibility.rst @@ -15,6 +15,9 @@ Visibility .. 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-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..c1a11ada3 100644 --- a/courses/fundamentals_of_ada/160_genericity-intro.rst +++ b/courses/fundamentals_of_ada/160_genericity-intro.rst @@ -15,6 +15,9 @@ Genericity .. 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.rst b/courses/fundamentals_of_ada/160_genericity.rst index 407f4a2f2..e3242e178 100644 --- a/courses/fundamentals_of_ada/160_genericity.rst +++ b/courses/fundamentals_of_ada/160_genericity.rst @@ -15,6 +15,9 @@ Genericity .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst index 8e334a127..647a5f355 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation-intro.rst @@ -15,6 +15,9 @@ Tagged Derivation .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/170_tagged_derivation.rst b/courses/fundamentals_of_ada/170_tagged_derivation.rst index cd19f2053..7aafdd731 100644 --- a/courses/fundamentals_of_ada/170_tagged_derivation.rst +++ b/courses/fundamentals_of_ada/170_tagged_derivation.rst @@ -15,6 +15,9 @@ Tagged Derivation .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/175_multiple_inheritance.rst b/courses/fundamentals_of_ada/175_multiple_inheritance.rst index 60b70a15b..dc08e7778 100644 --- a/courses/fundamentals_of_ada/175_multiple_inheritance.rst +++ b/courses/fundamentals_of_ada/175_multiple_inheritance.rst @@ -15,6 +15,9 @@ Multiple Inheritance .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/180_polymorphism.rst b/courses/fundamentals_of_ada/180_polymorphism.rst index a353ec641..bedbf5a43 100644 --- a/courses/fundamentals_of_ada/180_polymorphism.rst +++ b/courses/fundamentals_of_ada/180_polymorphism.rst @@ -15,6 +15,9 @@ Polymorphism .. 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-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..0e98c5f77 100644 --- a/courses/fundamentals_of_ada/230_interfacing_with_c.rst +++ b/courses/fundamentals_of_ada/230_interfacing_with_c.rst @@ -15,6 +15,9 @@ Interfacing with C .. 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.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..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 @@ -15,6 +15,9 @@ Ravenscar 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.rst b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst index 1172f48ca..0160ef0e4 100644 --- a/courses/fundamentals_of_ada/245_ravenscar_tasking.rst +++ b/courses/fundamentals_of_ada/245_ravenscar_tasking.rst @@ -15,6 +15,9 @@ Ravenscar 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/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..8e24ecefd 100644 --- a/courses/fundamentals_of_ada/270_introduction_to_contracts.rst +++ b/courses/fundamentals_of_ada/270_introduction_to_contracts.rst @@ -15,6 +15,9 @@ Ada Contracts .. role:: cpp(code) :language: C++ +.. role:: rust(code) + :language: Rust + .. container:: PRELUDE SYMBOLS .. |rightarrow| replace:: :math:`\rightarrow` diff --git a/courses/fundamentals_of_ada/273_subprogram_contracts.rst b/courses/fundamentals_of_ada/273_subprogram_contracts.rst index b3ab6be06..4f6c99268 100644 --- a/courses/fundamentals_of_ada/273_subprogram_contracts.rst +++ b/courses/fundamentals_of_ada/273_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/fundamentals_of_ada/276_type_contracts.rst b/courses/fundamentals_of_ada/276_type_contracts.rst index 59caa9b67..fc416556a 100644 --- a/courses/fundamentals_of_ada/276_type_contracts.rst +++ b/courses/fundamentals_of_ada/276_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` 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` 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/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` 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` 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` 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`