Skip to content

Slides/211 add rust role to material prefix #492

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Slides/211 add rust role to material prefix #492

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
90f0d39
Add Rust profile to prelude
frank-at-adacore Jan 29, 2025
31748ca
Add Rust role to fundamentals_of_ada modules
frank-at-adacore Jan 29, 2025
1170f9f
Add Rust role to rust_essentials course
frank-at-adacore Jan 29, 2025
737ca9d
Fix lower-case vs upper-case for RST
frank-at-adacore Jan 29, 2025
1b9ba3d
Update prelude for SPARK course
frank-at-adacore Jan 29, 2025
5d798bf
Update prelude for Advanced Exception Analysis
frank-at-adacore Jan 29, 2025
3a0baf7
Fix preludes
frank-at-adacore Jan 29, 2025
d4eefe5
Fix typo
frank-at-adacore Jan 29, 2025
21a265e
Put mode modifiers back
frank-at-adacore Jan 30, 2025
8e6097c
Fix one more file mode
frank-at-adacore Jan 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions courses/advanced_exception_analysis/010_advanced_exception_analysis.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Advanced Exception Analysis
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/005_introduction.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Introduction
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/010_overview.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Overview
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/020_declarations.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Declarations
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/030_basic_types-extras.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Basic Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/030_basic_types-in_depth.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Basic Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/030_basic_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Basic Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/040_statements.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Statements
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/050_array_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Array Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/060_record_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Record Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/065_discriminated_records.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Discriminated Records
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/070_subprograms.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Subprograms
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/075_type_derivation.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Type Derivation
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/080_expressions-with_quantified.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Expressions
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/080_expressions.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Expressions
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/090_overloading-with_equality.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Overloading
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/090_overloading.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Overloading
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/100_packages.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Packages
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/110_private_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Private Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/120_limited_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Limited Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/130_program_structure.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Program Structure
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/135_visibility.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Visibility
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/140_access_types-in_depth.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/140_access_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Access Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/160_genericity-intro.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Genericity
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/160_genericity.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Genericity
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/170_tagged_derivation-intro.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Tagged Derivation
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/170_tagged_derivation.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Tagged Derivation
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/175_multiple_inheritance.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Multiple Inheritance
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/180_polymorphism.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Polymorphism
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/190_exceptions-in_depth.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Exceptions In-Depth
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/190_exceptions.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Exceptions
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/230_interfacing_with_c.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Interfacing with C
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/240_tasking.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Tasking
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/240_tasking_in_depth.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Tasking
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/240_tasking_light.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Tasking
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/240_tasking_light_in_depth.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Tasking
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/245_ravenscar_tasking-with_tasking_overview.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Ravenscar Tasking
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/245_ravenscar_tasking.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Ravenscar Tasking
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
3 changes: 3 additions & 0 deletions courses/fundamentals_of_ada/260_controlled_types.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,9 @@ Controlled Types
.. role:: cpp(code)
:language: C++

.. role:: rust(code)
:language: Rust

.. container:: PRELUDE SYMBOLS

.. |rightarrow| replace:: :math:`\rightarrow`
Expand Down
Loading
Loading