You've already forked training_material
mirror of
https://github.com/AdaCore/training_material.git
synced 2026-02-12 13:08:57 -08:00
42 lines
1.0 KiB
ReStructuredText
42 lines
1.0 KiB
ReStructuredText
******************
|
|
Pointer Programs
|
|
******************
|
|
|
|
.. container:: PRELUDE BEGIN
|
|
|
|
.. container:: PRELUDE ROLES
|
|
|
|
.. role:: ada(code)
|
|
:language: Ada
|
|
|
|
.. role:: C(code)
|
|
:language: C
|
|
|
|
.. role:: cpp(code)
|
|
:language: C++
|
|
|
|
.. role:: rust(code)
|
|
:language: Rust
|
|
|
|
.. container:: PRELUDE SYMBOLS
|
|
|
|
.. |rightarrow| replace:: :math:`\rightarrow`
|
|
.. |forall| replace:: :math:`\forall`
|
|
.. |exists| replace:: :math:`\exists`
|
|
.. |equivalent| replace:: :math:`\iff`
|
|
.. |le| replace:: :math:`\le`
|
|
.. |ge| replace:: :math:`\ge`
|
|
.. |lt| replace:: :math:`<`
|
|
.. |gt| replace:: :math:`>`
|
|
.. |checkmark| replace:: :math:`\checkmark`
|
|
|
|
.. container:: PRELUDE END
|
|
|
|
.. include:: 120_pointer_programs/01-introduction.rst
|
|
.. include:: 120_pointer_programs/02-ownership_checking.rst
|
|
.. include:: 120_pointer_programs/03-loops_and_predicted_values.rst
|
|
.. include:: 120_pointer_programs/04-spark_libraries.rst
|
|
.. include:: 120_pointer_programs/05-access_to_subprogram_values.rst
|
|
.. include:: 120_pointer_programs/88_pointer_programs.lab.rst
|
|
.. include:: 120_pointer_programs/99-summary.rst
|