diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 2476e0a3a..3697c0bde 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -76,7 +76,7 @@ - The global definitions are included with the following format: ``` - .. include:: ../../global.txt + .. include:: ../../../global.txt ``` - The global definitions file may be extended if needed. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/01_Preface.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/01_Preface.rst index b3d7552bb..0097b5276 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/01_Preface.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/01_Preface.rst @@ -3,7 +3,7 @@ Preface --------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Nowadays it seems like talking about programming languages is a bit passé. The technical wars of the past decade have subsided and today we see a variety of high-level and well-established languages offering functionality that can meet the needs of any programmer. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/02_Basics.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/02_Basics.rst index 51cf5e86a..1172bbb3f 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/02_Basics.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/02_Basics.rst @@ -1,7 +1,7 @@ Basics -------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada implements the vast majority of programming concepts that you're accustomed to in C++ and Java: classes, inheritance, templates (generics), etc. Its syntax might seem peculiar, though. It's not derived from the popular C style of notation with its ample use of brackets; rather, it uses a more expository syntax coming from Pascal. In many ways, Ada is a simpler language |mdash| its syntax favors making it easier to conceptualize and read program code, rather than making it faster to write in a cleverly condensed manner. For example, full words like :ada:`begin` and :ada:`end` are used in place of curly braces. Conditions are written using :ada:`if`, :ada:`then`, :ada:`elsif`, :ada:`else`, and :ada:`end if`. Ada's assignment operator does not double as an expression, smoothly eliminating any frustration that could be caused by :cpp:`=` being used where :cpp:`==` should be. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/03_Compilation_Unit_Structure.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/03_Compilation_Unit_Structure.rst index 3e98e307f..0aaf8cb6b 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/03_Compilation_Unit_Structure.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/03_Compilation_Unit_Structure.rst @@ -1,7 +1,7 @@ Compilation Unit Structure ---------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt C++ programming style usually promotes the use of two distinct files: header files used to define specifications (.h*, *.hxx*, *.hpp*), and implementation files which contain the executable code (*.c*, *.cxx*, *.cpp*). However, the distinction between specification and implementation is not enforced by the compiler and may need to be worked around in order to implement, for example, inlining or templates. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/04_Statements_Declarations_and_Control_Structures.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/04_Statements_Declarations_and_Control_Structures.rst index 8c31ccaf8..d0efeadaf 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/04_Statements_Declarations_and_Control_Structures.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/04_Statements_Declarations_and_Control_Structures.rst @@ -1,7 +1,7 @@ Statements, Declarations, and Control Structures --------------------------------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Statements and Declarations ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.rst index afef226c8..d0a9717e8 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.rst @@ -1,7 +1,7 @@ Type System ------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Strong Typing ~~~~~~~~~~~~~~ diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/06_Functions_and_Procedures.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/06_Functions_and_Procedures.rst index b0e2e60d0..7710ac5e9 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/06_Functions_and_Procedures.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/06_Functions_and_Procedures.rst @@ -1,7 +1,7 @@ Functions and Procedures ------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt General Form ~~~~~~~~~~~~~ diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/07_Packages.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/07_Packages.rst index 063eac3e2..d20951183 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/07_Packages.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/07_Packages.rst @@ -1,7 +1,7 @@ Packages ---------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Declaration Protection ~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.rst index 5248f770c..4e25de47e 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.rst @@ -1,7 +1,7 @@ Classes and Object Oriented Programming ----------------------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Primitive Subprograms ~~~~~~~~~~~~~~~~~~~~~~ diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/09_Generics.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/09_Generics.rst index 1a13293dc..4ee00594a 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/09_Generics.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/09_Generics.rst @@ -1,7 +1,7 @@ Generics ---------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada, C++, and Java all have support for generics or templates, but on different sets of language entities. A C++ template can be applied to a class or a function. So can a Java generic. An Ada generic can be either a package or a subprogram. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/10_Exceptions.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/10_Exceptions.rst index 270f159f8..6a0926b19 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/10_Exceptions.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/10_Exceptions.rst @@ -1,7 +1,7 @@ Exceptions ------------ -.. include:: ../../global.txt +.. include:: ../../../global.txt Exceptions are a mechanism for dealing with run-time occurrences that are rare, that usually correspond to errors (such as improperly formed input data), and whose occurrence causes an unconditional transfer of control. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/11_Concurrency.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/11_Concurrency.rst index 19d684259..b37fb186f 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/11_Concurrency.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/11_Concurrency.rst @@ -1,7 +1,7 @@ Concurrency ------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt .. todo:: diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/12_Low_Level_Programming.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/12_Low_Level_Programming.rst index d29b4153a..09751e73e 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/12_Low_Level_Programming.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/12_Low_Level_Programming.rst @@ -1,7 +1,7 @@ Low Level Programming ----------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Representation Clauses ~~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/13_Conclusion.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/13_Conclusion.rst index d84cc76d3..0f789f88e 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/13_Conclusion.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/13_Conclusion.rst @@ -1,7 +1,7 @@ Conclusion ------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt All the usual paradigms of imperative programming can be found in all three languages that we surveyed in this document. However, Ada is different from the rest in that it's more explicit when expressing properties and expectations. This is a good thing: being more formal affords better communication among programmers on a team and between programmers and machines. You also get more assurance of the coherence of a program at many levels. Ada can help reduce the cost of software maintenance by shifting the effort to creating a sound system the first time, rather than working harder, more often, and at greater expense, to fix bugs found later in systems already in production. Applications that have reliability needs, long term maintenance requirements, or safety/security concerns are those for which Ada has a proven track record. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/14_References.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/14_References.rst index 183014879..560d01853 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/14_References.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/14_References.rst @@ -3,7 +3,7 @@ References ------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt The Ada Information Clearinghouse website http://www.adaic.org/learn/materials/, maintained by the Ada Resource Association, contains links to a variety of training materials (books, articles, etc.) that can help in learning Ada. The Development Center page http://www.adacore.com/knowledge on AdaCore's website also contains links to useful information including vides and tutorials on Ada. diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/index.rst b/content/courses/Ada_For_The_CPP_Java_Developer/index.rst index e2e1dbc42..beefb91fd 100644 --- a/content/courses/Ada_For_The_CPP_Java_Developer/index.rst +++ b/content/courses/Ada_For_The_CPP_Java_Developer/index.rst @@ -4,7 +4,7 @@ Ada for the C++ or Java Developer =================================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/01_Introduction.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/01_Introduction.rst index cece8deca..d2b0f2aa8 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/01_Introduction.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/01_Introduction.rst @@ -3,7 +3,7 @@ Introduction ============== -.. include:: ../../global.txt +.. include:: ../../../global.txt So, what is this Ada thing anyway? ----------------------------------- diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst index 142a7a9aa..54953ecf8 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst @@ -1,7 +1,7 @@ The C Developer's Perspective on Ada ====================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt What we mean by Embedded Software ------------------------------------ diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/03_Concurrency.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/03_Concurrency.rst index eb31322a8..62d8ec152 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/03_Concurrency.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/03_Concurrency.rst @@ -1,7 +1,7 @@ Concurrency and Real-Time ============================ -.. include:: ../../global.txt +.. include:: ../../../global.txt Understanding the various options --------------------------------- diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/04_Embedded.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/04_Embedded.rst index efe757899..b741500f5 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/04_Embedded.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/04_Embedded.rst @@ -1,7 +1,7 @@ Writing Ada on Embedded Systems ================================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Understanding the Ada Run-Time ------------------------------ diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/05_SPARK.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/05_SPARK.rst index c50803310..c5a80f9de 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/05_SPARK.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/05_SPARK.rst @@ -1,7 +1,7 @@ Enhancing Verification with SPARK and Ada ============================================ -.. include:: ../../global.txt +.. include:: ../../../global.txt Understanding Exceptions and Dynamic Checks ------------------------------------------- diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/06_Translation.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/06_Translation.rst index 9db6a230c..15afe1c77 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/06_Translation.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/06_Translation.rst @@ -1,7 +1,7 @@ C to Ada Translation Patterns ================================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Naming conventions and casing considerations -------------------------------------------- diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/07_Reusability.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/07_Reusability.rst index 8cbe3722b..0a6a40b8a 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/07_Reusability.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/07_Reusability.rst @@ -1,7 +1,7 @@ Handling Variability and Re-usability ======================================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Understanding static and dynamic variability -------------------------------------------- diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/08_Performance.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/08_Performance.rst index 09e19c3f5..27f08f870 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/08_Performance.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/08_Performance.rst @@ -1,7 +1,7 @@ Performance considerations ========================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Overall expectations -------------------- diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/09_Business.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/09_Business.rst index d37346b8e..95f95e1c6 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/09_Business.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/09_Business.rst @@ -1,7 +1,7 @@ Argumentation and Business Perspectives ========================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt The technical benefits of a migration from C to Ada are usually relatively straightforward to demonstrate. Hopefully, this course provides a good basis @@ -21,7 +21,7 @@ answer to how much money can be saved by transitioning, as this is highly dependent on specific project objectives and constraints. We're going to provide qualitative and quantitative arguments here, from the perspective of a project that has to reach a relatively high level of integrity, that is to say -a system where the occurrence of a software failure is a relatively costly +a system where the occurrence of a software failure is a relatively costly event. From a qualitative standpoint, there are various times in the software diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/10_Conclusion.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/10_Conclusion.rst index c62395850..8ebec018b 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/10_Conclusion.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/10_Conclusion.rst @@ -1,7 +1,7 @@ Conclusion ============ -.. include:: ../../global.txt +.. include:: ../../../global.txt Although Ada's syntax might seem peculiar to C developers at first glance, it was designed to increase readability and maintainability, rather than making it diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/Appendix_A_OOP.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/Appendix_A_OOP.rst index 7b5eaae70..f49748cfb 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/Appendix_A_OOP.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/Appendix_A_OOP.rst @@ -3,7 +3,7 @@ Appendix A: Hands-On Object-Oriented Programming ================================================ -.. include:: ../../global.txt +.. include:: ../../../global.txt The goal of this appendix is to present a hands-on view on how to translate a system from C to Ada and improve it with object-oriented programming. diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/index.rst b/content/courses/Ada_For_The_Embedded_C_Developer/index.rst index 27852de52..6872c44c9 100644 --- a/content/courses/Ada_For_The_Embedded_C_Developer/index.rst +++ b/content/courses/Ada_For_The_Embedded_C_Developer/index.rst @@ -4,7 +4,7 @@ Ada for the Embedded C Developer =================================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_studio.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_studio.rst index 23eba5e2d..7be1b85eb 100644 --- a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_studio.rst +++ b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_studio.rst @@ -1,7 +1,7 @@ GNAT Studio =========== -.. include:: ../../global.txt +.. include:: ../../../global.txt This chapter presents an introduction to the GNAT Studio, which provides an IDE to develop applications in Ada. For a detailed overview, please refer to the diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_toolchain_basics.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_toolchain_basics.rst index 11f426aa7..c76e30da6 100644 --- a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_toolchain_basics.rst +++ b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_toolchain_basics.rst @@ -3,7 +3,7 @@ GNAT Toolchain Basics ===================== -.. include:: ../../global.txt +.. include:: ../../../global.txt This chapter presents a couple of basic commands from the GNAT toolchain. diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_tools.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_tools.rst index eec7765ea..b0d4b8417 100644 --- a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_tools.rst +++ b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_tools.rst @@ -3,7 +3,7 @@ GNAT Tools ========== -.. include:: ../../global.txt +.. include:: ../../../global.txt In chapter we present a brief overview of some of the tools included in the GNAT toolchain. diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gprbuild.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gprbuild.rst index b9e67807b..d6ad901df 100644 --- a/content/courses/GNAT_Toolchain_Intro/chapters/gprbuild.rst +++ b/content/courses/GNAT_Toolchain_Intro/chapters/gprbuild.rst @@ -1,7 +1,7 @@ GPRbuild ======== -.. include:: ../../global.txt +.. include:: ../../../global.txt This chapter presents a brief overview of :program:`GPRbuild`, the project manager of the GNAT toolchain. It can be used to manage complex builds. In diff --git a/content/courses/GNAT_Toolchain_Intro/index.rst b/content/courses/GNAT_Toolchain_Intro/index.rst index 5f3102d4b..a2e4a3525 100644 --- a/content/courses/GNAT_Toolchain_Intro/index.rst +++ b/content/courses/GNAT_Toolchain_Intro/index.rst @@ -4,7 +4,7 @@ Introduction to the GNAT Toolchain ================================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency.rst index 228579b00..d23a2d301 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency.rst @@ -3,7 +3,7 @@ Concurrency (CON) =================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con01_use_the_ravenscar_profile.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con01_use_the_ravenscar_profile.rst index 82c792ea4..7de839339 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con01_use_the_ravenscar_profile.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con01_use_the_ravenscar_profile.rst @@ -2,7 +2,7 @@ Use the Ravenscar Profile (CON01) ----------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con02_use_the_jorvik_profile.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con02_use_the_jorvik_profile.rst index 8c2a1581d..f2aff7fb3 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con02_use_the_jorvik_profile.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con02_use_the_jorvik_profile.rst @@ -2,7 +2,7 @@ Use the Jorvik Profile (CON02) -------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con03_avoid_shared_variables_for_inter-task_communication.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con03_avoid_shared_variables_for_inter-task_communication.rst index 57b3fe6f5..9ddc0484e 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con03_avoid_shared_variables_for_inter-task_communication.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency/con03_avoid_shared_variables_for_inter-task_communication.rst @@ -2,7 +2,7 @@ Avoid Shared Variables for Inter-task Communication (CON03) ------------------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/definitions.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/definitions.rst index 75b6d8eda..527a853d4 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/definitions.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/definitions.rst @@ -3,7 +3,7 @@ Definitions ============= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt This section contains terms and values used in the definitions of the rules set forth in this chapter. diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management.rst index 9fa4ec769..23024803a 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management.rst @@ -2,7 +2,7 @@ Dynamic Storage Management (DYN) ================================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.rst index b947c9835..c2a2a30f6 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.rst @@ -2,7 +2,7 @@ Common High Integrity Restrictions (DYN01) -------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn02_traditional_static_allocation_policy.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn02_traditional_static_allocation_policy.rst index 03e52aef9..7e89b040e 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn02_traditional_static_allocation_policy.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn02_traditional_static_allocation_policy.rst @@ -2,7 +2,7 @@ Traditional Static Allocation Policy (DYN02) ---------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn03_access_types_without_allocators_policy.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn03_access_types_without_allocators_policy.rst index 8d8d328fd..5c5ee2a64 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn03_access_types_without_allocators_policy.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn03_access_types_without_allocators_policy.rst @@ -2,7 +2,7 @@ Access Types Without Allocators Policy (DYN03) ------------------------------------------------ -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn04_minimal_dynamic_allocation_policy.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn04_minimal_dynamic_allocation_policy.rst index dc048cadd..3dd965c86 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn04_minimal_dynamic_allocation_policy.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn04_minimal_dynamic_allocation_policy.rst @@ -2,7 +2,7 @@ Minimal Dynamic Allocation Policy (DYN04) ------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn05_user-defined_storage_pools_policy.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn05_user-defined_storage_pools_policy.rst index 2b66cce8b..3fd8a7d3b 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn05_user-defined_storage_pools_policy.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn05_user-defined_storage_pools_policy.rst @@ -2,7 +2,7 @@ User-Defined Storage Pools Policy (DYN05) ------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn06_statically_determine_maximum_stack_requirements.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn06_statically_determine_maximum_stack_requirements.rst index 0bb1dcc91..94ad3845a 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn06_statically_determine_maximum_stack_requirements.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn06_statically_determine_maximum_stack_requirements.rst @@ -2,7 +2,7 @@ Statically Determine Maximum Stack Requirements (DYN06) --------------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage.rst index ceff51018..a606705e0 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage.rst @@ -2,7 +2,7 @@ Exception Usage (EXU) ======================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu01_dont_raise_language-defined_exceptions.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu01_dont_raise_language-defined_exceptions.rst index 1c293cdd0..e1afdde56 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu01_dont_raise_language-defined_exceptions.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu01_dont_raise_language-defined_exceptions.rst @@ -2,7 +2,7 @@ Do Not Raise Language-Defined Exceptions (EXU01) -------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu02_no_unhandled_application-defined_exceptions.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu02_no_unhandled_application-defined_exceptions.rst index fcfb22654..fff55c4c9 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu02_no_unhandled_application-defined_exceptions.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu02_no_unhandled_application-defined_exceptions.rst @@ -2,7 +2,7 @@ No Unhandled Application-Defined Exceptions (EXU02) ----------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu03_no_exception_propagation_beyond_name_visibility.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu03_no_exception_propagation_beyond_name_visibility.rst index 4df95b6a9..0c02b71f6 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu03_no_exception_propagation_beyond_name_visibility.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu03_no_exception_propagation_beyond_name_visibility.rst @@ -2,7 +2,7 @@ No Exception Propagation Beyond Name Visibility (EXU03) --------------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu04_prove_absence_of_run-time_exceptions.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu04_prove_absence_of_run-time_exceptions.rst index 15e032c11..a2cad9e39 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu04_prove_absence_of_run-time_exceptions.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/exception_usage/exu04_prove_absence_of_run-time_exceptions.rst @@ -2,7 +2,7 @@ Prove Absence of Run-time Exceptions (EXU04) ---------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming.rst index a9f500c4a..6163275a6 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming.rst @@ -3,7 +3,7 @@ Object-Oriented Programming (OOP) =================================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop01_no_class-wide_constructs_policy.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop01_no_class-wide_constructs_policy.rst index a2adb5c94..26402a998 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop01_no_class-wide_constructs_policy.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop01_no_class-wide_constructs_policy.rst @@ -2,7 +2,7 @@ No Class-wide Constructs Policy (OOP01) ----------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop02_static_dispatching_only_policy.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop02_static_dispatching_only_policy.rst index 0dc6f4831..b6e26269f 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop02_static_dispatching_only_policy.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop02_static_dispatching_only_policy.rst @@ -2,7 +2,7 @@ Static Dispatching Only Policy (OOP02) ---------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop03_limit_inheritance_hierarchy_depth.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop03_limit_inheritance_hierarchy_depth.rst index 8ce792e4b..c29fc1a45 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop03_limit_inheritance_hierarchy_depth.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop03_limit_inheritance_hierarchy_depth.rst @@ -2,7 +2,7 @@ Limit Inheritance Hierarchy Depth (OOP03) ------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop04_limit_statically-dispatched_calls_to_primitive_operations.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop04_limit_statically-dispatched_calls_to_primitive_operations.rst index c32cea645..0baa38828 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop04_limit_statically-dispatched_calls_to_primitive_operations.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop04_limit_statically-dispatched_calls_to_primitive_operations.rst @@ -2,7 +2,7 @@ Limit Statically-Dispatched Calls to Primitive Operations (OOP04) ------------------------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop05_use_explicit_overriding_annotations.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop05_use_explicit_overriding_annotations.rst index c835f4db5..731fe78f7 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop05_use_explicit_overriding_annotations.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop05_use_explicit_overriding_annotations.rst @@ -2,7 +2,7 @@ Use Explicit Overriding Annotations (OOP05) --------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop06_use_class-wide_pre-post_contracts.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop06_use_class-wide_pre-post_contracts.rst index bf867f541..a61ae18fb 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop06_use_class-wide_pre-post_contracts.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop06_use_class-wide_pre-post_contracts.rst @@ -2,7 +2,7 @@ Use Class-wide Pre/Post Contracts (OOP06) ------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop07_ensure_local_type_consistency.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop07_ensure_local_type_consistency.rst index 1bdd1b39f..5fc1689cb 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop07_ensure_local_type_consistency.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/object_oriented_programming/oop07_ensure_local_type_consistency.rst @@ -2,7 +2,7 @@ Ensure Local Type Consistency (OOP07) --------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice.rst index 4bf9daa29..96f58ec47 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice.rst @@ -3,7 +3,7 @@ Robust Programming Practice (RPP) =================================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp01_no_use_of_others_in_case_constructs.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp01_no_use_of_others_in_case_constructs.rst index df4690d40..eee4cb01a 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp01_no_use_of_others_in_case_constructs.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp01_no_use_of_others_in_case_constructs.rst @@ -2,7 +2,7 @@ No Use of "others" in Case Constructs (RPP01) ----------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp02_no_enumeration_ranges_in_case_constructs.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp02_no_enumeration_ranges_in_case_constructs.rst index 07a025ae3..f23764990 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp02_no_enumeration_ranges_in_case_constructs.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp02_no_enumeration_ranges_in_case_constructs.rst @@ -2,7 +2,7 @@ No Enumeration Ranges in Case Constructs (RPP02) -------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp03_limited_use_of_others_in_aggregates.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp03_limited_use_of_others_in_aggregates.rst index fba11513d..0d41cea77 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp03_limited_use_of_others_in_aggregates.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp03_limited_use_of_others_in_aggregates.rst @@ -2,7 +2,7 @@ Limited Use of "others" in Aggregates (RPP03) ----------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp04_no_unassigned_mode-out_procedure_parameters.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp04_no_unassigned_mode-out_procedure_parameters.rst index c56a764ec..c1fbc3698 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp04_no_unassigned_mode-out_procedure_parameters.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp04_no_unassigned_mode-out_procedure_parameters.rst @@ -2,7 +2,7 @@ No Unassigned Mode-Out Procedure Parameters (RPP04) ----------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp05_no_use_of_others_in_exception_handlers.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp05_no_use_of_others_in_exception_handlers.rst index 83644b9c2..21d941c5c 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp05_no_use_of_others_in_exception_handlers.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp05_no_use_of_others_in_exception_handlers.rst @@ -2,7 +2,7 @@ No Use of "others" in Exception Handlers (RPP05) -------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp06_avoid_function_side-effects.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp06_avoid_function_side-effects.rst index 67f915a94..081d8a0ce 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp06_avoid_function_side-effects.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp06_avoid_function_side-effects.rst @@ -2,7 +2,7 @@ Avoid Function Side-Effects (RPP06) ------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp07_functions_only_have_mode_in.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp07_functions_only_have_mode_in.rst index 4c4f5d762..0ee1c7249 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp07_functions_only_have_mode_in.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp07_functions_only_have_mode_in.rst @@ -2,7 +2,7 @@ Functions Only Have Mode "in" (RPP07) --------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp08_limit_parameter_aliasing.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp08_limit_parameter_aliasing.rst index 56723e6b0..c423379da 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp08_limit_parameter_aliasing.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp08_limit_parameter_aliasing.rst @@ -2,7 +2,7 @@ Limit Parameter Aliasing (RPP08) ----------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp09_use_precondition_and_postcondition_contracts.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp09_use_precondition_and_postcondition_contracts.rst index f19cc4c5a..eb01424c1 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp09_use_precondition_and_postcondition_contracts.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp09_use_precondition_and_postcondition_contracts.rst @@ -2,7 +2,7 @@ Use Precondition and Postcondition Contracts (RPP09) ------------------------------------------------------ -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp10_do_not_re-verify_preconditions_in_subprogram_bodies.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp10_do_not_re-verify_preconditions_in_subprogram_bodies.rst index 80b7f10bc..2f975000d 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp10_do_not_re-verify_preconditions_in_subprogram_bodies.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp10_do_not_re-verify_preconditions_in_subprogram_bodies.rst @@ -2,7 +2,7 @@ Do Not Re-Verify Preconditions in Subprogram Bodies (RPP10) ------------------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp11_always_use_the_result_of_function_calls.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp11_always_use_the_result_of_function_calls.rst index 21aced6bd..4033ce124 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp11_always_use_the_result_of_function_calls.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp11_always_use_the_result_of_function_calls.rst @@ -2,7 +2,7 @@ Always Use the Result of Function Calls (RPP11) ------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp12_no_recursion.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp12_no_recursion.rst index 6909c51ba..e1ea2a72f 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp12_no_recursion.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp12_no_recursion.rst @@ -2,7 +2,7 @@ No Recursion (RPP12) ---------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp13_no_reuse_of_standard_typemarks.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp13_no_reuse_of_standard_typemarks.rst index b2d909047..469b2ddee 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp13_no_reuse_of_standard_typemarks.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp13_no_reuse_of_standard_typemarks.rst @@ -2,7 +2,7 @@ No Reuse of Standard Typemarks (RPP13) ---------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp14_use_symbolic_constants_for_literal_values.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp14_use_symbolic_constants_for_literal_values.rst index 503614a9c..6df804562 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp14_use_symbolic_constants_for_literal_values.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/robust_programming_practice/rpp14_use_symbolic_constants_for_literal_values.rst @@ -2,7 +2,7 @@ Use Symbolic Constants for Literal Values (RPP14) --------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation.rst index 2e5585d00..339309512 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation.rst @@ -3,7 +3,7 @@ Safe Reclamation (RCL) ======================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl01_no_multiple_reclamations.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl01_no_multiple_reclamations.rst index 01b89e318..4d9c4f2df 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl01_no_multiple_reclamations.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl01_no_multiple_reclamations.rst @@ -2,7 +2,7 @@ No Multiple Reclamations (RCL01) ---------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Mandatory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl02_only_reclaim_allocated_storage.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl02_only_reclaim_allocated_storage.rst index a02585ef9..a43d3ab6c 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl02_only_reclaim_allocated_storage.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl02_only_reclaim_allocated_storage.rst @@ -2,7 +2,7 @@ Only Reclaim Allocated Storage (RCL02) ---------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Mandatory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl03_only_reclaim_to_the_same_pool.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl03_only_reclaim_to_the_same_pool.rst index b29b3f166..acbb69c41 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl03_only_reclaim_to_the_same_pool.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/safe_reclamation/rcl03_only_reclaim_to_the_same_pool.rst @@ -2,7 +2,7 @@ Only Reclaim to the Same Pool (RCL03) --------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Mandatory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering.rst index c5cf83024..882d5731e 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering.rst @@ -3,7 +3,7 @@ Software Engineering (SWE) ============================ -.. include:: ../../../global.txt +.. include:: ../../../../global.txt *Goal* :Maintainability: :math:`\checkmark` diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe01_use_spark_extensively.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe01_use_spark_extensively.rst index ca9006dd5..6f5e20e16 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe01_use_spark_extensively.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe01_use_spark_extensively.rst @@ -2,7 +2,7 @@ Use SPARK Extensively (SWE01) ------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe02_enable_optional_warnings_and_treat_as_errors.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe02_enable_optional_warnings_and_treat_as_errors.rst index 814a62bff..910bfc2b7 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe02_enable_optional_warnings_and_treat_as_errors.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe02_enable_optional_warnings_and_treat_as_errors.rst @@ -2,7 +2,7 @@ Enable Optional Warnings and Treat As Errors (SWE02) ------------------------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Required diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe03_use_a_static_analysis_tool_extensively.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe03_use_a_static_analysis_tool_extensively.rst index e4501b53f..fec748e1f 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe03_use_a_static_analysis_tool_extensively.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe03_use_a_static_analysis_tool_extensively.rst @@ -2,7 +2,7 @@ Use a Static Analysis Tool Extensively (SWE03) ------------------------------------------------ -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Mandatory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe04_hide_implementation_artifacts.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe04_hide_implementation_artifacts.rst index cedcde127..d535c861d 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe04_hide_implementation_artifacts.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/software_engineering/swe04_hide_implementation_artifacts.rst @@ -2,7 +2,7 @@ Hide Implementation Artifacts (SWE04) ---------------------------------------- -.. include:: ../../../../global.txt +.. include:: ../../../../../global.txt **Level** :math:`\rightarrow` Advisory diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/introduction.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/introduction.rst index 1a4d021ee..55000d2c2 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/introduction.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/introduction.rst @@ -2,7 +2,7 @@ Introduction ************** -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada is a general purpose, high-level programming language designed to support the construction of long-lived, highly-reliable applications. Like all diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index.rst b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index.rst index 10ffce808..062d8dc8d 100644 --- a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index.rst +++ b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index.rst @@ -4,7 +4,7 @@ Guidelines for Safe and Secure Ada/SPARK ========================================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/01_preface.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/01_preface.rst index bf5bc765e..962833573 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/01_preface.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/01_preface.rst @@ -3,7 +3,7 @@ Preface ------- -.. include:: ../../global.txt +.. include:: ../../../global.txt MISRA C appeared in 1998 as a coding standard for C; it focused on avoiding error-prone programming features of the C programming language rather than on diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/02_program_consistency.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/02_program_consistency.rst index 72cd7a718..ee2769007 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/02_program_consistency.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/02_program_consistency.rst @@ -1,7 +1,7 @@ Enforcing Basic Program Consistency ----------------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Many consistency properties that are taken for granted in other languages are not enforced in C. The basic property that all uses of a variable or function diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/03_syntactic_guarantees.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/03_syntactic_guarantees.rst index a3ce597df..c231c3c1a 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/03_syntactic_guarantees.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/03_syntactic_guarantees.rst @@ -1,7 +1,7 @@ Enforcing Basic Syntactic Guarantees ------------------------------------ -.. include:: ../../global.txt +.. include:: ../../../global.txt C's syntax is concise but also very permissive, which makes it easy to write programs whose effect is not what was intended. diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/04_strong_typing.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/04_strong_typing.rst index a8ee5298e..e4d887c22 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/04_strong_typing.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/04_strong_typing.rst @@ -1,7 +1,7 @@ Enforcing Strong Typing ----------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Annex C of MISRA C:2012 summarizes the problem succinctly: diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/05_initialization.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/05_initialization.rst index 7042c82b3..1670d5d1b 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/05_initialization.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/05_initialization.rst @@ -1,7 +1,7 @@ Initializing Data Before Use ---------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt As with most programming languages, C does not require that variables be initialized at their declaration, which makes it possible to unintentionally read diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/06_side_effects.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/06_side_effects.rst index 7e84f1e21..06e0d8fcc 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/06_side_effects.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/06_side_effects.rst @@ -1,7 +1,7 @@ Controlling Side Effects ------------------------ -.. include:: ../../global.txt +.. include:: ../../../global.txt As with most programming languages, C allows side effects in expressions. This leads to subtle issues about conflicting side effects, when subexpressions of diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/07_undefined_behavior.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/07_undefined_behavior.rst index ee0cdd1fe..3ee662792 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/07_undefined_behavior.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/07_undefined_behavior.rst @@ -3,7 +3,7 @@ Detecting Undefined Behavior ---------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt Undefined behavior (and critical unspecified behavior, which we'll treat as undefined behavior) are the plague of C programs. Many diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/08_unreachable_and_dead_code.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/08_unreachable_and_dead_code.rst index fed308ef8..c16dbb73e 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/08_unreachable_and_dead_code.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/08_unreachable_and_dead_code.rst @@ -1,7 +1,7 @@ Detecting Unreachable Code and Dead Code ---------------------------------------- -.. include:: ../../global.txt +.. include:: ../../../global.txt MISRA C defines `unreachable code` as code that cannot be executed, and it defines `dead code` as code that can be executed diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/09_conclusion.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/09_conclusion.rst index f107361a2..268b614eb 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/09_conclusion.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/09_conclusion.rst @@ -1,7 +1,7 @@ Conclusion ---------- -.. include:: ../../global.txt +.. include:: ../../../global.txt The C programming language is "close to the metal" and has emerged as a *lingua franca* for the majority of embedded platforms of all diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/10_references.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/10_references.rst index c064d3bfe..0313b5cdd 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/10_references.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/chapters/10_references.rst @@ -3,7 +3,7 @@ References ---------- -.. include:: ../../global.txt +.. include:: ../../../global.txt About MISRA C ************* diff --git a/content/courses/SPARK_for_the_MISRA_C_Developer/index.rst b/content/courses/SPARK_for_the_MISRA_C_Developer/index.rst index 0476531be..60d5419c1 100644 --- a/content/courses/SPARK_for_the_MISRA_C_Developer/index.rst +++ b/content/courses/SPARK_for_the_MISRA_C_Developer/index.rst @@ -3,7 +3,7 @@ SPARK Ada for the MISRA C Developer =================================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/ada-in-practice/chapters/abstract_data_machines.rst b/content/courses/ada-in-practice/chapters/abstract_data_machines.rst index 8e7124155..b50581dc2 100644 --- a/content/courses/ada-in-practice/chapters/abstract_data_machines.rst +++ b/content/courses/ada-in-practice/chapters/abstract_data_machines.rst @@ -3,7 +3,7 @@ Abstract Data Machines ====================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/abstract_data_types.rst b/content/courses/ada-in-practice/chapters/abstract_data_types.rst index 1943749bc..5044dab16 100644 --- a/content/courses/ada-in-practice/chapters/abstract_data_types.rst +++ b/content/courses/ada-in-practice/chapters/abstract_data_types.rst @@ -3,7 +3,7 @@ Abstract Data Types =================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/appendices.rst b/content/courses/ada-in-practice/chapters/appendices.rst index 25dbf86f4..e8b713a70 100644 --- a/content/courses/ada-in-practice/chapters/appendices.rst +++ b/content/courses/ada-in-practice/chapters/appendices.rst @@ -5,4 +5,4 @@ Appendices ========== -.. include:: ../../global.txt +.. include:: ../../../global.txt diff --git a/content/courses/ada-in-practice/chapters/component_access_to_rec_objs.rst b/content/courses/ada-in-practice/chapters/component_access_to_rec_objs.rst index 016e23acc..b95fcd1d0 100644 --- a/content/courses/ada-in-practice/chapters/component_access_to_rec_objs.rst +++ b/content/courses/ada-in-practice/chapters/component_access_to_rec_objs.rst @@ -3,7 +3,7 @@ Providing Component Access to Enclosing Record Objects ====================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/constructor_functions_for_abstract_data_types.rst b/content/courses/ada-in-practice/chapters/constructor_functions_for_abstract_data_types.rst index 5c1c0501f..515be9f6f 100644 --- a/content/courses/ada-in-practice/chapters/constructor_functions_for_abstract_data_types.rst +++ b/content/courses/ada-in-practice/chapters/constructor_functions_for_abstract_data_types.rst @@ -3,7 +3,7 @@ Constructor Functions For Abstract Data Types ============================================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation diff --git a/content/courses/ada-in-practice/chapters/controlling_obj_initialization_creation.rst b/content/courses/ada-in-practice/chapters/controlling_obj_initialization_creation.rst index dff5d841a..8ad868ad6 100644 --- a/content/courses/ada-in-practice/chapters/controlling_obj_initialization_creation.rst +++ b/content/courses/ada-in-practice/chapters/controlling_obj_initialization_creation.rst @@ -3,7 +3,7 @@ Controlling Object Initialization and Creation ============================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation diff --git a/content/courses/ada-in-practice/chapters/essential_idioms_for_packages.rst b/content/courses/ada-in-practice/chapters/essential_idioms_for_packages.rst index 9c79d85ce..ac675cb90 100644 --- a/content/courses/ada-in-practice/chapters/essential_idioms_for_packages.rst +++ b/content/courses/ada-in-practice/chapters/essential_idioms_for_packages.rst @@ -3,7 +3,7 @@ Essential Design Idioms for Packages ==================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation diff --git a/content/courses/ada-in-practice/chapters/inheritance_idioms.rst b/content/courses/ada-in-practice/chapters/inheritance_idioms.rst index 4ea5184ca..df970774d 100644 --- a/content/courses/ada-in-practice/chapters/inheritance_idioms.rst +++ b/content/courses/ada-in-practice/chapters/inheritance_idioms.rst @@ -3,7 +3,7 @@ Using Building Blocks to Express Inheritance Idioms =================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/interrupt_handling.rst b/content/courses/ada-in-practice/chapters/interrupt_handling.rst index f18aa8c2d..5c798a238 100644 --- a/content/courses/ada-in-practice/chapters/interrupt_handling.rst +++ b/content/courses/ada-in-practice/chapters/interrupt_handling.rst @@ -1,7 +1,7 @@ Interrupt Handling ================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/introduction.rst b/content/courses/ada-in-practice/chapters/introduction.rst index 0f17c99b3..b4bcc78d1 100644 --- a/content/courses/ada-in-practice/chapters/introduction.rst +++ b/content/courses/ada-in-practice/chapters/introduction.rst @@ -3,7 +3,7 @@ Introduction ============ -.. include:: ../../global.txt +.. include:: ../../../global.txt This course describes how to implement selected programming idioms in the Ada language. diff --git a/content/courses/ada-in-practice/chapters/programming_by_extension.rst b/content/courses/ada-in-practice/chapters/programming_by_extension.rst index d627d1c6f..1d4dba156 100644 --- a/content/courses/ada-in-practice/chapters/programming_by_extension.rst +++ b/content/courses/ada-in-practice/chapters/programming_by_extension.rst @@ -3,7 +3,7 @@ Programming by Extension ======================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/raii.rst b/content/courses/ada-in-practice/chapters/raii.rst index c2ecd36f8..aef43e292 100644 --- a/content/courses/ada-in-practice/chapters/raii.rst +++ b/content/courses/ada-in-practice/chapters/raii.rst @@ -3,7 +3,7 @@ Resource Acquisition Is Initialization (RAII) ============================================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/reducing_object_code_from_generic_package_instantiations.rst b/content/courses/ada-in-practice/chapters/reducing_object_code_from_generic_package_instantiations.rst index 250a5e0ab..4d70f069a 100644 --- a/content/courses/ada-in-practice/chapters/reducing_object_code_from_generic_package_instantiations.rst +++ b/content/courses/ada-in-practice/chapters/reducing_object_code_from_generic_package_instantiations.rst @@ -1,7 +1,7 @@ Reducing Object Code from Generic Package Instantiations ======================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/chapters/streams_api_flexibility.rst b/content/courses/ada-in-practice/chapters/streams_api_flexibility.rst index ccacd39d6..afad14347 100644 --- a/content/courses/ada-in-practice/chapters/streams_api_flexibility.rst +++ b/content/courses/ada-in-practice/chapters/streams_api_flexibility.rst @@ -3,7 +3,7 @@ Using Streams for API Flexibility ================================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- @@ -620,10 +620,10 @@ consume that value from the stream. Arguably, this is not really a *con* because it's true for any stream when multiple types are involved. Even if we used the generic-based approach, developers could instantiate the generic multiple times with different types and send their values via the same port. With streams this -approach is as type-safe as it can be. +approach is as type-safe as it can be. However, see :ref:`Note #2 ` -below for a possible mitigation. +below for a possible mitigation. Relationship With Other Idioms diff --git a/content/courses/ada-in-practice/chapters/type_punning.rst b/content/courses/ada-in-practice/chapters/type_punning.rst index bb2ab5861..4cadcd9b2 100644 --- a/content/courses/ada-in-practice/chapters/type_punning.rst +++ b/content/courses/ada-in-practice/chapters/type_punning.rst @@ -3,7 +3,7 @@ Type Punning ============ -.. include:: ../../global.txt +.. include:: ../../../global.txt Motivation ---------- diff --git a/content/courses/ada-in-practice/index.rst b/content/courses/ada-in-practice/index.rst index c8f58c828..1b379054d 100644 --- a/content/courses/ada-in-practice/index.rst +++ b/content/courses/ada-in-practice/index.rst @@ -6,7 +6,7 @@ Ada In Practice =============== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/advanced-ada/changelog.rst b/content/courses/advanced-ada/changelog.rst index 5de3f76f6..c64cd3d9a 100644 --- a/content/courses/advanced-ada/changelog.rst +++ b/content/courses/advanced-ada/changelog.rst @@ -3,7 +3,7 @@ CHANGELOG ========= -.. include:: ../global.txt +.. include:: ../../global.txt Release 2025-08 --------------- diff --git a/content/courses/advanced-ada/index.rst b/content/courses/advanced-ada/index.rst index 8ea8755a9..aa91f374e 100644 --- a/content/courses/advanced-ada/index.rst +++ b/content/courses/advanced-ada/index.rst @@ -10,7 +10,7 @@ Advanced Journey With Ada: A Flight In Progress =============================================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/advanced-ada/index_hidden.rst b/content/courses/advanced-ada/index_hidden.rst index c910ad822..c6facba7d 100644 --- a/content/courses/advanced-ada/index_hidden.rst +++ b/content/courses/advanced-ada/index_hidden.rst @@ -4,7 +4,7 @@ Advanced Journey With Ada: A Flight In Progress (UNPUBLISHED) ============================================================= -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/advanced-ada/parts/abstraction-oriented_prog/generics.rst b/content/courses/advanced-ada/parts/abstraction-oriented_prog/generics.rst index f12a00a7e..ec876853d 100644 --- a/content/courses/advanced-ada/parts/abstraction-oriented_prog/generics.rst +++ b/content/courses/advanced-ada/parts/abstraction-oriented_prog/generics.rst @@ -1,7 +1,7 @@ Generics ======== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Formal_Definite_Indefinite_Subtypes: diff --git a/content/courses/advanced-ada/parts/abstraction-oriented_prog/oo_prog.rst b/content/courses/advanced-ada/parts/abstraction-oriented_prog/oo_prog.rst index 44a7a584d..c21bc6fc2 100644 --- a/content/courses/advanced-ada/parts/abstraction-oriented_prog/oo_prog.rst +++ b/content/courses/advanced-ada/parts/abstraction-oriented_prog/oo_prog.rst @@ -1,7 +1,7 @@ Object-Oriented Programming =========================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Primitives ---------- diff --git a/content/courses/advanced-ada/parts/abstraction-oriented_prog/strong_typing.rst b/content/courses/advanced-ada/parts/abstraction-oriented_prog/strong_typing.rst index e68dd4ecb..d4127a722 100644 --- a/content/courses/advanced-ada/parts/abstraction-oriented_prog/strong_typing.rst +++ b/content/courses/advanced-ada/parts/abstraction-oriented_prog/strong_typing.rst @@ -1,7 +1,7 @@ Strong typing ============= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt In this chapter, we discuss the advantages of strong typing and how it can be used to avoid common implementation and maintenance issues. diff --git a/content/courses/advanced-ada/parts/appendices/incompatibilities.rst b/content/courses/advanced-ada/parts/appendices/incompatibilities.rst index fb1329115..be56120d8 100644 --- a/content/courses/advanced-ada/parts/appendices/incompatibilities.rst +++ b/content/courses/advanced-ada/parts/appendices/incompatibilities.rst @@ -3,7 +3,7 @@ Incompatibilities between Ada standards ======================================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. REMOVED! TO BE RE-EVALUATED IN 2025: diff --git a/content/courses/advanced-ada/parts/appendices/legacy.rst b/content/courses/advanced-ada/parts/appendices/legacy.rst index 57d6aab29..041ecd9c3 100644 --- a/content/courses/advanced-ada/parts/appendices/legacy.rst +++ b/content/courses/advanced-ada/parts/appendices/legacy.rst @@ -1,7 +1,7 @@ Legacy features =============== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Nested packages --------------- diff --git a/content/courses/advanced-ada/parts/appendices/pragmas_aspects_attributes.rst b/content/courses/advanced-ada/parts/appendices/pragmas_aspects_attributes.rst index 873b1e3fa..901b63819 100644 --- a/content/courses/advanced-ada/parts/appendices/pragmas_aspects_attributes.rst +++ b/content/courses/advanced-ada/parts/appendices/pragmas_aspects_attributes.rst @@ -3,7 +3,7 @@ Pragmas, Aspects and Attributes =============================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. admonition:: Relevant topics diff --git a/content/courses/advanced-ada/parts/appendices/standard_packages.rst b/content/courses/advanced-ada/parts/appendices/standard_packages.rst index dc37e615d..36dc90c10 100644 --- a/content/courses/advanced-ada/parts/appendices/standard_packages.rst +++ b/content/courses/advanced-ada/parts/appendices/standard_packages.rst @@ -3,7 +3,7 @@ Standard Packages ================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. admonition:: Relevant topics diff --git a/content/courses/advanced-ada/parts/appendices/system_annexes.rst b/content/courses/advanced-ada/parts/appendices/system_annexes.rst index 19c15099a..7ade42f69 100644 --- a/content/courses/advanced-ada/parts/appendices/system_annexes.rst +++ b/content/courses/advanced-ada/parts/appendices/system_annexes.rst @@ -3,7 +3,7 @@ System Annexes ============== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. REMOVED! TO BE RE-EVALUATED IN 2025: diff --git a/content/courses/advanced-ada/parts/control_flow/exceptions.rst b/content/courses/advanced-ada/parts/control_flow/exceptions.rst index 8784f8173..6ed4b9a73 100644 --- a/content/courses/advanced-ada/parts/control_flow/exceptions.rst +++ b/content/courses/advanced-ada/parts/control_flow/exceptions.rst @@ -1,7 +1,7 @@ Exceptions ========== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Classification_Of_Errors: diff --git a/content/courses/advanced-ada/parts/control_flow/expressions.rst b/content/courses/advanced-ada/parts/control_flow/expressions.rst index 4fc6be4c1..513b4cc17 100644 --- a/content/courses/advanced-ada/parts/control_flow/expressions.rst +++ b/content/courses/advanced-ada/parts/control_flow/expressions.rst @@ -1,7 +1,7 @@ Expressions =========== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Expressions: diff --git a/content/courses/advanced-ada/parts/control_flow/statements.rst b/content/courses/advanced-ada/parts/control_flow/statements.rst index 9fa734f2e..b589ff375 100644 --- a/content/courses/advanced-ada/parts/control_flow/statements.rst +++ b/content/courses/advanced-ada/parts/control_flow/statements.rst @@ -1,7 +1,7 @@ Statements ========== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Simple and Compound Statements ------------------------------ diff --git a/content/courses/advanced-ada/parts/control_flow/subprograms.rst b/content/courses/advanced-ada/parts/control_flow/subprograms.rst index 988f57e14..45e58e2df 100644 --- a/content/courses/advanced-ada/parts/control_flow/subprograms.rst +++ b/content/courses/advanced-ada/parts/control_flow/subprograms.rst @@ -1,7 +1,7 @@ Subprograms =========== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Parameter_Modes_Associations: diff --git a/content/courses/advanced-ada/parts/data_types/aggregates.rst b/content/courses/advanced-ada/parts/data_types/aggregates.rst index 5ccd87447..052393342 100644 --- a/content/courses/advanced-ada/parts/data_types/aggregates.rst +++ b/content/courses/advanced-ada/parts/data_types/aggregates.rst @@ -1,7 +1,7 @@ Aggregates ========== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Container_Aggregates: diff --git a/content/courses/advanced-ada/parts/data_types/arrays.rst b/content/courses/advanced-ada/parts/data_types/arrays.rst index 1be4ea290..2a7fc0070 100644 --- a/content/courses/advanced-ada/parts/data_types/arrays.rst +++ b/content/courses/advanced-ada/parts/data_types/arrays.rst @@ -1,7 +1,7 @@ Arrays ====== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Array_Constraints: diff --git a/content/courses/advanced-ada/parts/data_types/numeric_attributes.rst b/content/courses/advanced-ada/parts/data_types/numeric_attributes.rst index 1e2ef3e76..a50b223d4 100644 --- a/content/courses/advanced-ada/parts/data_types/numeric_attributes.rst +++ b/content/courses/advanced-ada/parts/data_types/numeric_attributes.rst @@ -1,7 +1,7 @@ Numeric Attributes ================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Modular_Type_Attributes: diff --git a/content/courses/advanced-ada/parts/data_types/numerics.rst b/content/courses/advanced-ada/parts/data_types/numerics.rst index 429a83e68..dd39224e6 100644 --- a/content/courses/advanced-ada/parts/data_types/numerics.rst +++ b/content/courses/advanced-ada/parts/data_types/numerics.rst @@ -1,7 +1,7 @@ Numerics ======== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Numeric_Literals: diff --git a/content/courses/advanced-ada/parts/data_types/records.rst b/content/courses/advanced-ada/parts/data_types/records.rst index 000233d59..d2bc28f50 100644 --- a/content/courses/advanced-ada/parts/data_types/records.rst +++ b/content/courses/advanced-ada/parts/data_types/records.rst @@ -1,7 +1,7 @@ Records ======= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Record_Component_Default_Initialization: diff --git a/content/courses/advanced-ada/parts/data_types/shared_variable_control.rst b/content/courses/advanced-ada/parts/data_types/shared_variable_control.rst index 2cd028478..9c7b16c85 100644 --- a/content/courses/advanced-ada/parts/data_types/shared_variable_control.rst +++ b/content/courses/advanced-ada/parts/data_types/shared_variable_control.rst @@ -1,7 +1,7 @@ Shared variable control ======================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Ada has built-in support for handling both volatile and atomic data. Let's start by discussing volatile objects. diff --git a/content/courses/advanced-ada/parts/data_types/strings.rst b/content/courses/advanced-ada/parts/data_types/strings.rst index a55eb5a17..694cc03fa 100644 --- a/content/courses/advanced-ada/parts/data_types/strings.rst +++ b/content/courses/advanced-ada/parts/data_types/strings.rst @@ -1,7 +1,7 @@ Strings ======= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Character_String_Literals: diff --git a/content/courses/advanced-ada/parts/data_types/types.rst b/content/courses/advanced-ada/parts/data_types/types.rst index 013eb2bbb..47627d320 100644 --- a/content/courses/advanced-ada/parts/data_types/types.rst +++ b/content/courses/advanced-ada/parts/data_types/types.rst @@ -1,7 +1,7 @@ Types ===== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Names: diff --git a/content/courses/advanced-ada/parts/data_types/types_representation.rst b/content/courses/advanced-ada/parts/data_types/types_representation.rst index deebbbeda..0c3f93fee 100644 --- a/content/courses/advanced-ada/parts/data_types/types_representation.rst +++ b/content/courses/advanced-ada/parts/data_types/types_representation.rst @@ -1,7 +1,7 @@ Types and Representation ======================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Enumeration_Representation_Clauses: diff --git a/content/courses/advanced-ada/parts/design_by_contracts/contracts.rst b/content/courses/advanced-ada/parts/design_by_contracts/contracts.rst index 33f4fe6a6..c49740059 100644 --- a/content/courses/advanced-ada/parts/design_by_contracts/contracts.rst +++ b/content/courses/advanced-ada/parts/design_by_contracts/contracts.rst @@ -1,7 +1,7 @@ Contracts ========= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Class-wide contracts -------------------- diff --git a/content/courses/advanced-ada/parts/initialization/elaboration_of_generics.rst b/content/courses/advanced-ada/parts/initialization/elaboration_of_generics.rst index 10528119a..30acd97fb 100644 --- a/content/courses/advanced-ada/parts/initialization/elaboration_of_generics.rst +++ b/content/courses/advanced-ada/parts/initialization/elaboration_of_generics.rst @@ -1,7 +1,7 @@ Elaboration Of Generics ======================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Elaboration check ----------------- diff --git a/content/courses/advanced-ada/parts/initialization/freezing.rst b/content/courses/advanced-ada/parts/initialization/freezing.rst index beee30430..bcd8b63b4 100644 --- a/content/courses/advanced-ada/parts/initialization/freezing.rst +++ b/content/courses/advanced-ada/parts/initialization/freezing.rst @@ -1,7 +1,7 @@ Freezing ======== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Freezing rules -------------- diff --git a/content/courses/advanced-ada/parts/initialization/package_elaboration.rst b/content/courses/advanced-ada/parts/initialization/package_elaboration.rst index a72732d45..61dbfc1e7 100644 --- a/content/courses/advanced-ada/parts/initialization/package_elaboration.rst +++ b/content/courses/advanced-ada/parts/initialization/package_elaboration.rst @@ -1,7 +1,7 @@ Package Elaboration =================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Preelaboration: diff --git a/content/courses/advanced-ada/parts/interfacing_external/file_io.rst b/content/courses/advanced-ada/parts/interfacing_external/file_io.rst index 7b9f2eaa5..54d212e4e 100644 --- a/content/courses/advanced-ada/parts/interfacing_external/file_io.rst +++ b/content/courses/advanced-ada/parts/interfacing_external/file_io.rst @@ -1,7 +1,7 @@ File I/O ======== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Efficient Stream I/O for Array Types ------------------------------------ diff --git a/content/courses/advanced-ada/parts/interfacing_external/interfacing_with_cpp.rst b/content/courses/advanced-ada/parts/interfacing_external/interfacing_with_cpp.rst index 7b534329c..ca847739e 100644 --- a/content/courses/advanced-ada/parts/interfacing_external/interfacing_with_cpp.rst +++ b/content/courses/advanced-ada/parts/interfacing_external/interfacing_with_cpp.rst @@ -1,7 +1,7 @@ Interfacing with C and C++ ========================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Interfacing with C ------------------ diff --git a/content/courses/advanced-ada/parts/modular_prog/packages.rst b/content/courses/advanced-ada/parts/modular_prog/packages.rst index 30fe7f7eb..3f5b26b80 100644 --- a/content/courses/advanced-ada/parts/modular_prog/packages.rst +++ b/content/courses/advanced-ada/parts/modular_prog/packages.rst @@ -1,7 +1,7 @@ Packages ======== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Package_Renaming: diff --git a/content/courses/advanced-ada/parts/modular_prog/subprograms_modularity.rst b/content/courses/advanced-ada/parts/modular_prog/subprograms_modularity.rst index 5bcfe98b9..b84859cb8 100644 --- a/content/courses/advanced-ada/parts/modular_prog/subprograms_modularity.rst +++ b/content/courses/advanced-ada/parts/modular_prog/subprograms_modularity.rst @@ -1,7 +1,7 @@ Subprograms and Modularity ========================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Private_Subprograms: diff --git a/content/courses/advanced-ada/parts/multithreading/tasking.rst b/content/courses/advanced-ada/parts/multithreading/tasking.rst index 726d57ef2..a118049cb 100644 --- a/content/courses/advanced-ada/parts/multithreading/tasking.rst +++ b/content/courses/advanced-ada/parts/multithreading/tasking.rst @@ -1,7 +1,7 @@ Tasking ======= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Statements ---------- diff --git a/content/courses/advanced-ada/parts/resource_management/access_types.rst b/content/courses/advanced-ada/parts/resource_management/access_types.rst index 1476229b9..170175318 100644 --- a/content/courses/advanced-ada/parts/resource_management/access_types.rst +++ b/content/courses/advanced-ada/parts/resource_management/access_types.rst @@ -1,7 +1,7 @@ Access Types ============ -.. include:: ../../../global.txt +.. include:: ../../../../global.txt We discussed access types back in the :ref:`Introduction to Ada course `. In diff --git a/content/courses/advanced-ada/parts/resource_management/anonymous_access_types.rst b/content/courses/advanced-ada/parts/resource_management/anonymous_access_types.rst index ecbebe7b1..12d56b1d9 100644 --- a/content/courses/advanced-ada/parts/resource_management/anonymous_access_types.rst +++ b/content/courses/advanced-ada/parts/resource_management/anonymous_access_types.rst @@ -1,7 +1,7 @@ Anonymous Access Types ====================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Anonymous_Access_Types: diff --git a/content/courses/advanced-ada/parts/resource_management/containers.rst b/content/courses/advanced-ada/parts/resource_management/containers.rst index 6df0cdfd3..4c860b1a5 100644 --- a/content/courses/advanced-ada/parts/resource_management/containers.rst +++ b/content/courses/advanced-ada/parts/resource_management/containers.rst @@ -1,7 +1,7 @@ Containers ========== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Aggregate_Aspect: diff --git a/content/courses/advanced-ada/parts/resource_management/controlled_types.rst b/content/courses/advanced-ada/parts/resource_management/controlled_types.rst index 208c5d323..193382ecf 100644 --- a/content/courses/advanced-ada/parts/resource_management/controlled_types.rst +++ b/content/courses/advanced-ada/parts/resource_management/controlled_types.rst @@ -1,7 +1,7 @@ Controlled Types ================ -.. include:: ../../../global.txt +.. include:: ../../../../global.txt .. _Adv_Ada_Controlled_Types_Overview: diff --git a/content/courses/advanced-ada/parts/resource_management/limited_types.rst b/content/courses/advanced-ada/parts/resource_management/limited_types.rst index 800382720..3891b910e 100644 --- a/content/courses/advanced-ada/parts/resource_management/limited_types.rst +++ b/content/courses/advanced-ada/parts/resource_management/limited_types.rst @@ -1,7 +1,7 @@ Limited Types ============= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt So far, we discussed nonlimited types in most cases. In this chapter, we discuss limited types. diff --git a/content/courses/advanced-ada/parts/resource_management/memory_management.rst b/content/courses/advanced-ada/parts/resource_management/memory_management.rst index e76c70cca..61e6ef7eb 100644 --- a/content/courses/advanced-ada/parts/resource_management/memory_management.rst +++ b/content/courses/advanced-ada/parts/resource_management/memory_management.rst @@ -1,7 +1,7 @@ Memory Management ================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Maximum allocation size and alignment ------------------------------------- diff --git a/content/courses/advanced-ada/parts/resource_management/restrictions.rst b/content/courses/advanced-ada/parts/resource_management/restrictions.rst index 07091ddbb..2a4236101 100644 --- a/content/courses/advanced-ada/parts/resource_management/restrictions.rst +++ b/content/courses/advanced-ada/parts/resource_management/restrictions.rst @@ -1,7 +1,7 @@ Restrictions and Profiles ========================= -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Pragmas ------- diff --git a/content/courses/advanced-ada/parts/resource_management/standard_containers.rst b/content/courses/advanced-ada/parts/resource_management/standard_containers.rst index d1c326bca..309337b11 100644 --- a/content/courses/advanced-ada/parts/resource_management/standard_containers.rst +++ b/content/courses/advanced-ada/parts/resource_management/standard_containers.rst @@ -1,7 +1,7 @@ Standard Containers =================== -.. include:: ../../../global.txt +.. include:: ../../../../global.txt Linked lists ------------ diff --git a/content/courses/advanced-spark/chapters/concurrency.rst b/content/courses/advanced-spark/chapters/concurrency.rst index 927848f73..d1caa874c 100644 --- a/content/courses/advanced-spark/chapters/concurrency.rst +++ b/content/courses/advanced-spark/chapters/concurrency.rst @@ -1,7 +1,7 @@ Concurrency ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Concurrency ≠ Parallelism --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/chapters/ghost_code.rst b/content/courses/advanced-spark/chapters/ghost_code.rst index f7632e166..0378cc21b 100644 --- a/content/courses/advanced-spark/chapters/ghost_code.rst +++ b/content/courses/advanced-spark/chapters/ghost_code.rst @@ -1,7 +1,7 @@ Ghost Code ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt What is ghost code? --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/chapters/object_oriented_programming.rst b/content/courses/advanced-spark/chapters/object_oriented_programming.rst index 70306e76f..ed4cfdce3 100644 --- a/content/courses/advanced-spark/chapters/object_oriented_programming.rst +++ b/content/courses/advanced-spark/chapters/object_oriented_programming.rst @@ -1,7 +1,7 @@ Object-oriented Programming ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt What is Object Oriented Programming? --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/chapters/subprogram_contracts.rst b/content/courses/advanced-spark/chapters/subprogram_contracts.rst index f097cab85..55010f059 100644 --- a/content/courses/advanced-spark/chapters/subprogram_contracts.rst +++ b/content/courses/advanced-spark/chapters/subprogram_contracts.rst @@ -1,7 +1,7 @@ Subprogram Contracts ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Subprogram Contracts in Ada 2012 and SPARK 2014 --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/chapters/systems_programming.rst b/content/courses/advanced-spark/chapters/systems_programming.rst index 4abf0b4ed..71c9d4dc5 100644 --- a/content/courses/advanced-spark/chapters/systems_programming.rst +++ b/content/courses/advanced-spark/chapters/systems_programming.rst @@ -1,7 +1,7 @@ Systems Programming ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Type Contracts in Ada 2012 and SPARK 2014 --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/chapters/test_and_proof.rst b/content/courses/advanced-spark/chapters/test_and_proof.rst index f032d1ea5..61660882c 100644 --- a/content/courses/advanced-spark/chapters/test_and_proof.rst +++ b/content/courses/advanced-spark/chapters/test_and_proof.rst @@ -1,7 +1,7 @@ Test and Proof ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Various Combinations of Tests and Proofs --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/chapters/type_contracts.rst b/content/courses/advanced-spark/chapters/type_contracts.rst index 32f40c132..61abc8f4c 100644 --- a/content/courses/advanced-spark/chapters/type_contracts.rst +++ b/content/courses/advanced-spark/chapters/type_contracts.rst @@ -1,7 +1,7 @@ Type Contracts ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Type Contracts in Ada 2012 and SPARK 2014 --------------------------------------------------------------------- diff --git a/content/courses/advanced-spark/index.rst b/content/courses/advanced-spark/index.rst index bc032484d..0cdf720ba 100644 --- a/content/courses/advanced-spark/index.rst +++ b/content/courses/advanced-spark/index.rst @@ -6,7 +6,7 @@ Advanced SPARK ============== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/intro-to-ada/chapters/access_types.rst b/content/courses/intro-to-ada/chapters/access_types.rst index b9969576b..5ae6d083e 100644 --- a/content/courses/intro-to-ada/chapters/access_types.rst +++ b/content/courses/intro-to-ada/chapters/access_types.rst @@ -1,7 +1,7 @@ Access types (pointers) ======================= -.. include:: ../../global.txt +.. include:: ../../../global.txt .. _Intro_Ada_Access_Types_Overview: diff --git a/content/courses/intro-to-ada/chapters/appendices.rst b/content/courses/intro-to-ada/chapters/appendices.rst index 4c9dc6b22..9cdd596eb 100644 --- a/content/courses/intro-to-ada/chapters/appendices.rst +++ b/content/courses/intro-to-ada/chapters/appendices.rst @@ -3,7 +3,7 @@ Appendices ========== -.. include:: ../../global.txt +.. include:: ../../../global.txt .. _Intro_Ada_Generic_Formal_Types: diff --git a/content/courses/intro-to-ada/chapters/arrays.rst b/content/courses/intro-to-ada/chapters/arrays.rst index 37440276a..4871815bc 100644 --- a/content/courses/intro-to-ada/chapters/arrays.rst +++ b/content/courses/intro-to-ada/chapters/arrays.rst @@ -1,7 +1,7 @@ Arrays ====== -.. include:: ../../global.txt +.. include:: ../../../global.txt Arrays provide another fundamental family of composite types in Ada. diff --git a/content/courses/intro-to-ada/chapters/contracts.rst b/content/courses/intro-to-ada/chapters/contracts.rst index 725ab451f..50f9a764c 100644 --- a/content/courses/intro-to-ada/chapters/contracts.rst +++ b/content/courses/intro-to-ada/chapters/contracts.rst @@ -1,7 +1,7 @@ Design by contracts =================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Contracts are used in programming to codify expectations. Parameter modes of a subprogram can be viewed as a simple form of contracts. When the diff --git a/content/courses/intro-to-ada/chapters/exceptions.rst b/content/courses/intro-to-ada/chapters/exceptions.rst index 00a043793..abb8cd035 100644 --- a/content/courses/intro-to-ada/chapters/exceptions.rst +++ b/content/courses/intro-to-ada/chapters/exceptions.rst @@ -1,7 +1,7 @@ Exceptions ========== -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada uses exceptions for error handling. Unlike many other languages, Ada speaks about *raising*, not *throwing*, an exception and diff --git a/content/courses/intro-to-ada/chapters/fixed_point_types.rst b/content/courses/intro-to-ada/chapters/fixed_point_types.rst index ffba401af..2e50fcbe6 100644 --- a/content/courses/intro-to-ada/chapters/fixed_point_types.rst +++ b/content/courses/intro-to-ada/chapters/fixed_point_types.rst @@ -1,7 +1,7 @@ Fixed-point types ================= -.. include:: ../../global.txt +.. include:: ../../../global.txt In this chapter, we discuss fixed-point types, which can be classified in two categories: diff --git a/content/courses/intro-to-ada/chapters/generics.rst b/content/courses/intro-to-ada/chapters/generics.rst index 87647c369..eed7dc2ad 100644 --- a/content/courses/intro-to-ada/chapters/generics.rst +++ b/content/courses/intro-to-ada/chapters/generics.rst @@ -1,7 +1,7 @@ Generics ======== -.. include:: ../../global.txt +.. include:: ../../../global.txt Introduction ------------ diff --git a/content/courses/intro-to-ada/chapters/imperative_language.rst b/content/courses/intro-to-ada/chapters/imperative_language.rst index 12e83f388..9d0532582 100644 --- a/content/courses/intro-to-ada/chapters/imperative_language.rst +++ b/content/courses/intro-to-ada/chapters/imperative_language.rst @@ -1,7 +1,7 @@ Imperative language =================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada is a multi-paradigm language with support for object orientation and some elements of functional programming, but its core is a simple, coherent diff --git a/content/courses/intro-to-ada/chapters/interfacing_with_c.rst b/content/courses/intro-to-ada/chapters/interfacing_with_c.rst index dc29aa119..3ef711dba 100644 --- a/content/courses/intro-to-ada/chapters/interfacing_with_c.rst +++ b/content/courses/intro-to-ada/chapters/interfacing_with_c.rst @@ -1,7 +1,7 @@ Interfacing with C ================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada allows us to interface with code in many languages, including C and C++. This section discusses how to interface with C. diff --git a/content/courses/intro-to-ada/chapters/introduction.rst b/content/courses/intro-to-ada/chapters/introduction.rst index f78566adc..3cbca2fc5 100644 --- a/content/courses/intro-to-ada/chapters/introduction.rst +++ b/content/courses/intro-to-ada/chapters/introduction.rst @@ -1,6 +1,6 @@ :prev_state: False -.. include:: ../../global.txt +.. include:: ../../../global.txt Introduction ============ diff --git a/content/courses/intro-to-ada/chapters/modular_programming.rst b/content/courses/intro-to-ada/chapters/modular_programming.rst index 3bd4b2750..d71558335 100644 --- a/content/courses/intro-to-ada/chapters/modular_programming.rst +++ b/content/courses/intro-to-ada/chapters/modular_programming.rst @@ -1,7 +1,7 @@ Modular programming =================== -.. include:: ../../global.txt +.. include:: ../../../global.txt So far, our examples have been simple standalone subprograms. Ada is helpful in that regard, since it allows arbitrary declarations in a declarative part. We diff --git a/content/courses/intro-to-ada/chapters/more_about_records.rst b/content/courses/intro-to-ada/chapters/more_about_records.rst index 578937f64..bba78798c 100644 --- a/content/courses/intro-to-ada/chapters/more_about_records.rst +++ b/content/courses/intro-to-ada/chapters/more_about_records.rst @@ -1,7 +1,7 @@ More about records ================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Dynamically sized record types ------------------------------ diff --git a/content/courses/intro-to-ada/chapters/more_about_types.rst b/content/courses/intro-to-ada/chapters/more_about_types.rst index ad7a10466..f084034a5 100644 --- a/content/courses/intro-to-ada/chapters/more_about_types.rst +++ b/content/courses/intro-to-ada/chapters/more_about_types.rst @@ -3,7 +3,7 @@ More about types .. _Intro_Ada_Aggregates: -.. include:: ../../global.txt +.. include:: ../../../global.txt Aggregates: A primer -------------------- diff --git a/content/courses/intro-to-ada/chapters/privacy.rst b/content/courses/intro-to-ada/chapters/privacy.rst index 5773e7681..c519e9bdb 100644 --- a/content/courses/intro-to-ada/chapters/privacy.rst +++ b/content/courses/intro-to-ada/chapters/privacy.rst @@ -3,7 +3,7 @@ Privacy ======= -.. include:: ../../global.txt +.. include:: ../../../global.txt One of the main principles of modular programming, as well as object oriented programming, is diff --git a/content/courses/intro-to-ada/chapters/records.rst b/content/courses/intro-to-ada/chapters/records.rst index 8b140552d..96f34e50a 100644 --- a/content/courses/intro-to-ada/chapters/records.rst +++ b/content/courses/intro-to-ada/chapters/records.rst @@ -1,7 +1,7 @@ Records ======= -.. include:: ../../global.txt +.. include:: ../../../global.txt So far, all the types we have encountered have values that are not decomposable: each instance represents a single piece of data. Now we are going diff --git a/content/courses/intro-to-ada/chapters/standard_library_containers.rst b/content/courses/intro-to-ada/chapters/standard_library_containers.rst index d4ea02f94..8a80c9adb 100644 --- a/content/courses/intro-to-ada/chapters/standard_library_containers.rst +++ b/content/courses/intro-to-ada/chapters/standard_library_containers.rst @@ -3,7 +3,7 @@ Standard library: Containers ============================ -.. include:: ../../global.txt +.. include:: ../../../global.txt In previous chapters, we've used arrays as the standard way to group multiple objects of a specific data type. In many cases, arrays are good enough for diff --git a/content/courses/intro-to-ada/chapters/standard_library_dates_times.rst b/content/courses/intro-to-ada/chapters/standard_library_dates_times.rst index 1b08b2156..03c395277 100644 --- a/content/courses/intro-to-ada/chapters/standard_library_dates_times.rst +++ b/content/courses/intro-to-ada/chapters/standard_library_dates_times.rst @@ -1,7 +1,7 @@ Standard library: Dates & Times =============================== -.. include:: ../../global.txt +.. include:: ../../../global.txt The standard library supports processing of dates and times using two approaches: diff --git a/content/courses/intro-to-ada/chapters/standard_library_files_streams.rst b/content/courses/intro-to-ada/chapters/standard_library_files_streams.rst index c7c2bea3a..ba506ec73 100644 --- a/content/courses/intro-to-ada/chapters/standard_library_files_streams.rst +++ b/content/courses/intro-to-ada/chapters/standard_library_files_streams.rst @@ -1,7 +1,7 @@ Standard library: Files and streams =================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada provides different approaches for file input/output (I/O): diff --git a/content/courses/intro-to-ada/chapters/standard_library_numerics.rst b/content/courses/intro-to-ada/chapters/standard_library_numerics.rst index c96027f31..9b5f36b79 100644 --- a/content/courses/intro-to-ada/chapters/standard_library_numerics.rst +++ b/content/courses/intro-to-ada/chapters/standard_library_numerics.rst @@ -1,7 +1,7 @@ Standard library: Numerics ========================== -.. include:: ../../global.txt +.. include:: ../../../global.txt The standard library provides support for common numeric operations on floating-point types as well as on complex types and matrices. In the sections diff --git a/content/courses/intro-to-ada/chapters/standard_library_strings.rst b/content/courses/intro-to-ada/chapters/standard_library_strings.rst index 68d7117a1..0742df396 100644 --- a/content/courses/intro-to-ada/chapters/standard_library_strings.rst +++ b/content/courses/intro-to-ada/chapters/standard_library_strings.rst @@ -1,7 +1,7 @@ Standard library: Strings ========================= -.. include:: ../../global.txt +.. include:: ../../../global.txt In previous chapters, we've seen source-code examples using the :ada:`String` type, which is a fixed-length string type |mdash| essentialy, it's an array diff --git a/content/courses/intro-to-ada/chapters/strongly_typed_language.rst b/content/courses/intro-to-ada/chapters/strongly_typed_language.rst index 3cc0971fa..118da18f4 100644 --- a/content/courses/intro-to-ada/chapters/strongly_typed_language.rst +++ b/content/courses/intro-to-ada/chapters/strongly_typed_language.rst @@ -1,7 +1,7 @@ Strongly typed language ======================= -.. include:: ../../global.txt +.. include:: ../../../global.txt Ada is a strongly typed language. It is interestingly modern in that respect: strong static typing has been increasing in popularity in programming diff --git a/content/courses/intro-to-ada/chapters/subprograms.rst b/content/courses/intro-to-ada/chapters/subprograms.rst index fa41c4ae0..dbf0ba1fe 100644 --- a/content/courses/intro-to-ada/chapters/subprograms.rst +++ b/content/courses/intro-to-ada/chapters/subprograms.rst @@ -3,7 +3,7 @@ Subprograms .. _Intro_Ada_Subprograms: -.. include:: ../../global.txt +.. include:: ../../../global.txt Subprograms ----------- diff --git a/content/courses/intro-to-ada/chapters/tasking.rst b/content/courses/intro-to-ada/chapters/tasking.rst index e6f6fc9bc..66e12b0fc 100644 --- a/content/courses/intro-to-ada/chapters/tasking.rst +++ b/content/courses/intro-to-ada/chapters/tasking.rst @@ -1,7 +1,7 @@ Tasking ======= -.. include:: ../../global.txt +.. include:: ../../../global.txt Tasks and protected objects allow the implementation of concurrency in Ada. The following sections explain these concepts in more detail. diff --git a/content/courses/intro-to-ada/index.rst b/content/courses/intro-to-ada/index.rst index 22adbaf2a..f0aa28e9d 100644 --- a/content/courses/intro-to-ada/index.rst +++ b/content/courses/intro-to-ada/index.rst @@ -11,7 +11,7 @@ Introduction to Ada =================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/conclusion.rst b/content/courses/intro-to-embedded-sys-prog/chapters/conclusion.rst index 93299d914..2ecfddba6 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/conclusion.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/conclusion.rst @@ -3,7 +3,7 @@ Conclusion ========== -.. include:: ../../global.txt +.. include:: ../../../global.txt In the introduction to this course, we defined an "embedded system" as a diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/general_purpose_code_generators.rst b/content/courses/intro-to-embedded-sys-prog/chapters/general_purpose_code_generators.rst index 5d1d6c9cc..1914b8aa5 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/general_purpose_code_generators.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/general_purpose_code_generators.rst @@ -1,7 +1,7 @@ General-Purpose Code Generators =============================== -.. include:: ../../global.txt +.. include:: ../../../global.txt In :doc:`another chapter <./multi_language_development>`, we mentioned that the best way to get a diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/handling_interrupts.rst b/content/courses/intro-to-embedded-sys-prog/chapters/handling_interrupts.rst index 66da50483..b6f01fdbd 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/handling_interrupts.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/handling_interrupts.rst @@ -1,7 +1,7 @@ Handling Interrupts =================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Background ---------- @@ -853,7 +853,7 @@ compiler for an Arm Cortex M4 target: subtype Any_Priority is Integer range 0 .. 255; subtype Priority is Any_Priority range Any_Priority'First .. 240; - subtype Interrupt_Priority is Any_Priority range + subtype Interrupt_Priority is Any_Priority range Priority'Last + 1 .. Any_Priority'Last; Although the ranges are compiler-defined, when the Systems diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/interacting_with_devices.rst b/content/courses/intro-to-embedded-sys-prog/chapters/interacting_with_devices.rst index d27790cbc..1d0b58533 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/interacting_with_devices.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/interacting_with_devices.rst @@ -1,7 +1,7 @@ Interacting with Devices ======================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Interacting with hardware devices is one of the more frequent activities in embedded systems programming. It is also one of the most enjoyable @@ -33,7 +33,7 @@ code, where :c:`temp` and :c:`temp2` are unsigned 32-bit integers: .. code-block:: c - temp = ((uint32_t)(GPIO_AF) << + temp = ((uint32_t)(GPIO_AF) << ((uint32_t)((uint32_t)GPIO_PinSource & (uint32_t)0x07) * 4)); GPIOx->AFR[GPIO_PinSource >> 0x03] &= ~((uint32_t)0xF << ((uint32_t)((uint32_t)GPIO_PinSource & (uint32_t)0x07) * 4)); @@ -383,7 +383,7 @@ the complete code for the function body: assert_param(IS_GPIO_PIN_SOURCE(GPIO_PinSource)); assert_param(IS_GPIO_AF(GPIO_AF)); - temp = ((uint32_t)(GPIO_AF) << + temp = ((uint32_t)(GPIO_AF) << ((uint32_t)((uint32_t)GPIO_PinSource & (uint32_t)0x07) * 4)); GPIOx->AFR[GPIO_PinSource >> 0x03] &= ~((uint32_t)0xF << ((uint32_t)((uint32_t)GPIO_PinSource & (uint32_t)0x07) * 4)); @@ -556,7 +556,7 @@ convenience: assert_param(IS_GPIO_PIN_SOURCE(GPIO_PinSource)); assert_param(IS_GPIO_AF(GPIO_AF)); - temp = ((uint32_t)(GPIO_AF) << + temp = ((uint32_t)(GPIO_AF) << ((uint32_t)((uint32_t)GPIO_PinSource & (uint32_t)0x07) * 4)); GPIOx->AFR[GPIO_PinSource >> 0x03] &= ~((uint32_t)0xF << ((uint32_t)((uint32_t)GPIO_PinSource & (uint32_t)0x07) * 4)); diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/introduction.rst b/content/courses/intro-to-embedded-sys-prog/chapters/introduction.rst index b6161ef75..cae8e487c 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/introduction.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/introduction.rst @@ -3,24 +3,24 @@ Introduction ============ -.. include:: ../../global.txt +.. include:: ../../../global.txt This is a course about embedded systems programming. Embedded systems are everywhere today, including |mdash| just to name a few |mdash| the thermostats that control a building's temperature, the power-steering controller in modern automobiles, and the control systems in charge of jet engines. -Clearly, much can depend on these systems operating correctly. It might -be only a matter of comfort if the thermostat fails. But imagine what -might happen if one of the critical control systems in your car failed -when you're out on the freeway. When a jet engine controller is designed -to have absolute control, it is known as a Full Authority Digital Engine -Controller, or FADEC for short. If a FADEC fails, the result can make +Clearly, much can depend on these systems operating correctly. It might +be only a matter of comfort if the thermostat fails. But imagine what +might happen if one of the critical control systems in your car failed +when you're out on the freeway. When a jet engine controller is designed +to have absolute control, it is known as a Full Authority Digital Engine +Controller, or FADEC for short. If a FADEC fails, the result can make international news. -Using Ada can help you get it right, and for less cost than other languages, -if you use it well. Many industrial organizations developing critical -embedded software use Ada for that reason. Our goal is to get you started in +Using Ada can help you get it right, and for less cost than other languages, +if you use it well. Many industrial organizations developing critical +embedded software use Ada for that reason. Our goal is to get you started in using it well. The course is based on the assumption that you know some of the Ada diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst b/content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst index bb4b2b420..5fae5e55a 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst @@ -3,7 +3,7 @@ Low Level Programming ===================== -.. include:: ../../global.txt +.. include:: ../../../global.txt This section introduces a number of topics in low-level programming, in which the hardware and the compiler's representation choices are much diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst b/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst index 1aa5b98d4..03a03a105 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst @@ -1,7 +1,7 @@ Multi-Language Development ========================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Software projects often involve more than one programming language. Typically that's because there is existing code that already does something we need done diff --git a/content/courses/intro-to-embedded-sys-prog/index.rst b/content/courses/intro-to-embedded-sys-prog/index.rst index f6201bd72..976f68170 100644 --- a/content/courses/intro-to-embedded-sys-prog/index.rst +++ b/content/courses/intro-to-embedded-sys-prog/index.rst @@ -6,7 +6,7 @@ Introduction to Embedded Systems Programming ============================================ -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/intro-to-spark/chapters/01_Overview.rst b/content/courses/intro-to-spark/chapters/01_Overview.rst index a1e7f2e58..8f5054584 100644 --- a/content/courses/intro-to-spark/chapters/01_Overview.rst +++ b/content/courses/intro-to-spark/chapters/01_Overview.rst @@ -5,7 +5,7 @@ SPARK Overview ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt This tutorial is an introduction to the SPARK programming language and its formal verification tools. You need not know any specific @@ -64,7 +64,7 @@ various forms. They include tools that check types and enforce visibility rules, such as the compiler, in addition to those that perform more complex reasoning, such as abstract interpretation, as done by a tool like the `GNAT Static Analysis Suite `_ -from AdaCore. The tools that come with SPARK perform two different forms +from AdaCore. The tools that come with SPARK perform two different forms of static analysis: - `flow analysis` is the fastest form of analysis. It checks diff --git a/content/courses/intro-to-spark/chapters/02_Flow_Analysis.rst b/content/courses/intro-to-spark/chapters/02_Flow_Analysis.rst index a1998b120..36e6eb99e 100644 --- a/content/courses/intro-to-spark/chapters/02_Flow_Analysis.rst +++ b/content/courses/intro-to-spark/chapters/02_Flow_Analysis.rst @@ -3,7 +3,7 @@ Flow Analysis ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt In this section we present the flow analysis capability provided by the GNATprove tool, a critical tool for using SPARK. diff --git a/content/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.rst b/content/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.rst index c4ef4a4ad..09ffc24d3 100644 --- a/content/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.rst +++ b/content/courses/intro-to-spark/chapters/03_Proof_Of_Program_Integrity.rst @@ -1,7 +1,7 @@ Proof of Program Integrity ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt This section presents the proof capability of GNATprove, a major tool for the SPARK language. We focus here on the simpler proofs that you'll need to diff --git a/content/courses/intro-to-spark/chapters/04_State_Abstraction.rst b/content/courses/intro-to-spark/chapters/04_State_Abstraction.rst index 316c2e172..8c80ed5c7 100644 --- a/content/courses/intro-to-spark/chapters/04_State_Abstraction.rst +++ b/content/courses/intro-to-spark/chapters/04_State_Abstraction.rst @@ -1,7 +1,7 @@ State Abstraction ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt Abstraction is a key concept in programming that can drastically simplify both the implementation and maintenance of code. It's particularly well diff --git a/content/courses/intro-to-spark/chapters/05_Proof_Of_Functional_Correctness.rst b/content/courses/intro-to-spark/chapters/05_Proof_Of_Functional_Correctness.rst index 321ebac1d..8ce0b1e41 100644 --- a/content/courses/intro-to-spark/chapters/05_Proof_Of_Functional_Correctness.rst +++ b/content/courses/intro-to-spark/chapters/05_Proof_Of_Functional_Correctness.rst @@ -3,7 +3,7 @@ Proof of Functional Correctness ===================================================================== -.. include:: ../../global.txt +.. include:: ../../../global.txt This section is dedicated to the functional correctness of programs. It presents advanced proof features that you may need to use for the diff --git a/content/courses/intro-to-spark/index.rst b/content/courses/intro-to-spark/index.rst index 889302f80..d352497b4 100644 --- a/content/courses/intro-to-spark/index.rst +++ b/content/courses/intro-to-spark/index.rst @@ -4,7 +4,7 @@ Introduction To SPARK ===================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/whats-new-in-ada-2022/chapters/array_aggregates.rst b/content/courses/whats-new-in-ada-2022/chapters/array_aggregates.rst index 315c0bcd2..396db995e 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/array_aggregates.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/array_aggregates.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt Advanced Array Aggregates ========================= diff --git a/content/courses/whats-new-in-ada-2022/chapters/assignment_target.rst b/content/courses/whats-new-in-ada-2022/chapters/assignment_target.rst index 367e8c0d0..74321d4c0 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/assignment_target.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/assignment_target.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt Target Name Symbol (@) ====================== diff --git a/content/courses/whats-new-in-ada-2022/chapters/big_numbers.rst b/content/courses/whats-new-in-ada-2022/chapters/big_numbers.rst index dd2d3735f..bbffb31e7 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/big_numbers.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/big_numbers.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt Big Numbers =========== diff --git a/content/courses/whats-new-in-ada-2022/chapters/container_aggregates.rst b/content/courses/whats-new-in-ada-2022/chapters/container_aggregates.rst index 6d50a665f..813cdf9b8 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/container_aggregates.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/container_aggregates.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt .. _container_aggregates: diff --git a/content/courses/whats-new-in-ada-2022/chapters/delta_aggregates.rst b/content/courses/whats-new-in-ada-2022/chapters/delta_aggregates.rst index 925aff039..c73bd254c 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/delta_aggregates.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/delta_aggregates.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt Delta Aggregates ================ diff --git a/content/courses/whats-new-in-ada-2022/chapters/enum_val.rst b/content/courses/whats-new-in-ada-2022/chapters/enum_val.rst index 806e658fc..8fb3e6071 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/enum_val.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/enum_val.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt Enumeration representation ========================== diff --git a/content/courses/whats-new-in-ada-2022/chapters/image_attribute.rst b/content/courses/whats-new-in-ada-2022/chapters/image_attribute.rst index d8f45c080..98c08abbe 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/image_attribute.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/image_attribute.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt :ada:`'Image` attribute for any type ==================================== diff --git a/content/courses/whats-new-in-ada-2022/chapters/image_redefine.rst b/content/courses/whats-new-in-ada-2022/chapters/image_redefine.rst index 3cadf7ec0..09609c0ff 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/image_redefine.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/image_redefine.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt Redefining the :ada:`'Image` attribute ====================================== diff --git a/content/courses/whats-new-in-ada-2022/chapters/importing_variadic_functions.rst b/content/courses/whats-new-in-ada-2022/chapters/importing_variadic_functions.rst index 7231af1c1..3355c0dec 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/importing_variadic_functions.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/importing_variadic_functions.rst @@ -1,6 +1,6 @@ :next_state: False -.. include:: ../../global.txt +.. include:: ../../../global.txt Interfacing C variadic functions ================================ diff --git a/content/courses/whats-new-in-ada-2022/chapters/introduction.rst b/content/courses/whats-new-in-ada-2022/chapters/introduction.rst index 79b149e2a..a40e084be 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/introduction.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/introduction.rst @@ -1,7 +1,7 @@ Introduction ============ -.. include:: ../../global.txt +.. include:: ../../../global.txt This is a collection of short code examples demonstrating new features of the :aarm22:`Ada 2022 Standard ` as they are implemented diff --git a/content/courses/whats-new-in-ada-2022/chapters/user_defined_literals.rst b/content/courses/whats-new-in-ada-2022/chapters/user_defined_literals.rst index b5735bf18..059dc62bb 100644 --- a/content/courses/whats-new-in-ada-2022/chapters/user_defined_literals.rst +++ b/content/courses/whats-new-in-ada-2022/chapters/user_defined_literals.rst @@ -1,4 +1,4 @@ -.. include:: ../../global.txt +.. include:: ../../../global.txt User-Defined Literals ===================== diff --git a/content/courses/whats-new-in-ada-2022/index.rst b/content/courses/whats-new-in-ada-2022/index.rst index 557674707..15e059c08 100644 --- a/content/courses/whats-new-in-ada-2022/index.rst +++ b/content/courses/whats-new-in-ada-2022/index.rst @@ -6,7 +6,7 @@ What's New in Ada 2022 ====================== -.. include:: ../global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/courses/global.txt b/content/global.txt similarity index 100% rename from content/courses/global.txt rename to content/global.txt diff --git a/content/labs/bug-free-coding/chapters/stack.rst b/content/labs/bug-free-coding/chapters/stack.rst index a6d6c4466..54e99f10d 100644 --- a/content/labs/bug-free-coding/chapters/stack.rst +++ b/content/labs/bug-free-coding/chapters/stack.rst @@ -7,7 +7,7 @@ Let's Build a Stack ===================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt In this lab we will build a stack data structure and use the SPARK provers to find the errors in the below implementation. diff --git a/content/labs/bug-free-coding/index.rst b/content/labs/bug-free-coding/index.rst index 92661c3fc..7973e99a9 100755 --- a/content/labs/bug-free-coding/index.rst +++ b/content/labs/bug-free-coding/index.rst @@ -4,7 +4,7 @@ Bug Free Coding with SPARK Ada =============================== -.. include:: ../../courses/global.txt +.. include:: ../../global.txt .. only:: no_hidden_books diff --git a/content/labs/intro-to-ada/chapters/arrays.rst b/content/labs/intro-to-ada/chapters/arrays.rst index 1724236d6..cb4069976 100644 --- a/content/labs/intro-to-ada/chapters/arrays.rst +++ b/content/labs/intro-to-ada/chapters/arrays.rst @@ -1,7 +1,7 @@ Arrays ====== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Constrained Array ----------------- @@ -807,11 +807,11 @@ String_10 #. Function :ada:`To_String_10` returns constrained strings of :ada:`String_10` type based on an input parameter of :ada:`String` type. - - - For strings that are more than 10 characters, omit everything + + - For strings that are more than 10 characters, omit everything after the 11th character. - - - For strings that are fewer than 10 characters, pad the string + + - For strings that are fewer than 10 characters, pad the string with ' ' characters until it is 10 characters. **Remarks**: diff --git a/content/labs/intro-to-ada/chapters/contracts.rst b/content/labs/intro-to-ada/chapters/contracts.rst index d899bd773..de2421f33 100644 --- a/content/labs/intro-to-ada/chapters/contracts.rst +++ b/content/labs/intro-to-ada/chapters/contracts.rst @@ -1,7 +1,7 @@ Design by contracts =================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Price Range ----------- diff --git a/content/labs/intro-to-ada/chapters/exceptions.rst b/content/labs/intro-to-ada/chapters/exceptions.rst index c48daf0d3..a19c8e033 100644 --- a/content/labs/intro-to-ada/chapters/exceptions.rst +++ b/content/labs/intro-to-ada/chapters/exceptions.rst @@ -1,7 +1,7 @@ Exceptions ========== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Uninitialized Value ------------------- diff --git a/content/labs/intro-to-ada/chapters/generics.rst b/content/labs/intro-to-ada/chapters/generics.rst index c0f985754..4dca72ca1 100644 --- a/content/labs/intro-to-ada/chapters/generics.rst +++ b/content/labs/intro-to-ada/chapters/generics.rst @@ -1,7 +1,7 @@ Generics ======== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Display Array ------------- diff --git a/content/labs/intro-to-ada/chapters/imperative_language.rst b/content/labs/intro-to-ada/chapters/imperative_language.rst index 9edba5ee8..f87295579 100644 --- a/content/labs/intro-to-ada/chapters/imperative_language.rst +++ b/content/labs/intro-to-ada/chapters/imperative_language.rst @@ -1,7 +1,7 @@ Imperative language =================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt For the exercises below (except for the first one), don't worry about the details of the :ada:`Main` procedure. You should just focus on implementing the diff --git a/content/labs/intro-to-ada/chapters/modular_programming.rst b/content/labs/intro-to-ada/chapters/modular_programming.rst index 28a7fe531..7b365065c 100644 --- a/content/labs/intro-to-ada/chapters/modular_programming.rst +++ b/content/labs/intro-to-ada/chapters/modular_programming.rst @@ -1,7 +1,7 @@ Modular Programming =================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Months ------ diff --git a/content/labs/intro-to-ada/chapters/more_about_types.rst b/content/labs/intro-to-ada/chapters/more_about_types.rst index 314f864ea..7b382cf4d 100644 --- a/content/labs/intro-to-ada/chapters/more_about_types.rst +++ b/content/labs/intro-to-ada/chapters/more_about_types.rst @@ -1,7 +1,7 @@ More About Types ================ -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Aggregate Initialization ------------------------ diff --git a/content/labs/intro-to-ada/chapters/object_oriented_programming.rst b/content/labs/intro-to-ada/chapters/object_oriented_programming.rst index b3b34fc1e..be8927a60 100644 --- a/content/labs/intro-to-ada/chapters/object_oriented_programming.rst +++ b/content/labs/intro-to-ada/chapters/object_oriented_programming.rst @@ -3,7 +3,7 @@ Object-oriented programming =========================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Simple type extension --------------------- diff --git a/content/labs/intro-to-ada/chapters/privacy.rst b/content/labs/intro-to-ada/chapters/privacy.rst index 0a29a7c93..07f189e16 100644 --- a/content/labs/intro-to-ada/chapters/privacy.rst +++ b/content/labs/intro-to-ada/chapters/privacy.rst @@ -1,7 +1,7 @@ Privacy ======= -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Directions ---------- diff --git a/content/labs/intro-to-ada/chapters/records.rst b/content/labs/intro-to-ada/chapters/records.rst index f8e75753c..9cec80fe8 100644 --- a/content/labs/intro-to-ada/chapters/records.rst +++ b/content/labs/intro-to-ada/chapters/records.rst @@ -1,7 +1,7 @@ Records ======= -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Directions ---------- diff --git a/content/labs/intro-to-ada/chapters/solutions.rst b/content/labs/intro-to-ada/chapters/solutions.rst index e377cf320..e9200f89f 100644 --- a/content/labs/intro-to-ada/chapters/solutions.rst +++ b/content/labs/intro-to-ada/chapters/solutions.rst @@ -1,7 +1,7 @@ Solutions ========= -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt .. include:: ./solutions/imperative_language.rst diff --git a/content/labs/intro-to-ada/chapters/standard_library_containers.rst b/content/labs/intro-to-ada/chapters/standard_library_containers.rst index bff90ee35..e7b672edb 100644 --- a/content/labs/intro-to-ada/chapters/standard_library_containers.rst +++ b/content/labs/intro-to-ada/chapters/standard_library_containers.rst @@ -1,7 +1,7 @@ Standard library: Containers ============================ -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Simple todo list ---------------- @@ -128,7 +128,7 @@ Simple todo list List of unique integers ----------------------- -**Goal**: create function that removes duplicates from and orders a collection +**Goal**: create function that removes duplicates from and orders a collection of elements. **Steps**: diff --git a/content/labs/intro-to-ada/chapters/standard_library_dates_times.rst b/content/labs/intro-to-ada/chapters/standard_library_dates_times.rst index 5034d5fee..02100b150 100644 --- a/content/labs/intro-to-ada/chapters/standard_library_dates_times.rst +++ b/content/labs/intro-to-ada/chapters/standard_library_dates_times.rst @@ -1,7 +1,7 @@ Standard library: Dates & Times =============================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Holocene calendar ----------------- diff --git a/content/labs/intro-to-ada/chapters/standard_library_numerics.rst b/content/labs/intro-to-ada/chapters/standard_library_numerics.rst index 0e601d8ed..930cf3ba4 100644 --- a/content/labs/intro-to-ada/chapters/standard_library_numerics.rst +++ b/content/labs/intro-to-ada/chapters/standard_library_numerics.rst @@ -1,7 +1,7 @@ Standard library: Numerics ========================== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Decibel Factor -------------- diff --git a/content/labs/intro-to-ada/chapters/standard_library_strings.rst b/content/labs/intro-to-ada/chapters/standard_library_strings.rst index 011a2c9dd..803c6e26b 100644 --- a/content/labs/intro-to-ada/chapters/standard_library_strings.rst +++ b/content/labs/intro-to-ada/chapters/standard_library_strings.rst @@ -1,7 +1,7 @@ Standard library: Strings ========================= -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Concatenation ------------- diff --git a/content/labs/intro-to-ada/chapters/strongly_typed_language.rst b/content/labs/intro-to-ada/chapters/strongly_typed_language.rst index 26502fcd9..f7ab5d789 100644 --- a/content/labs/intro-to-ada/chapters/strongly_typed_language.rst +++ b/content/labs/intro-to-ada/chapters/strongly_typed_language.rst @@ -1,7 +1,7 @@ Strongly typed language ======================= -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Colors ------ diff --git a/content/labs/intro-to-ada/chapters/subprograms.rst b/content/labs/intro-to-ada/chapters/subprograms.rst index 3c5de6989..3cfa90b36 100644 --- a/content/labs/intro-to-ada/chapters/subprograms.rst +++ b/content/labs/intro-to-ada/chapters/subprograms.rst @@ -1,7 +1,7 @@ Subprograms =========== -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Subtract procedure ------------------- diff --git a/content/labs/intro-to-ada/chapters/tasking.rst b/content/labs/intro-to-ada/chapters/tasking.rst index 8fc0438fc..83e25c3e6 100644 --- a/content/labs/intro-to-ada/chapters/tasking.rst +++ b/content/labs/intro-to-ada/chapters/tasking.rst @@ -1,7 +1,7 @@ Tasking ======= -.. include:: ../../../courses/global.txt +.. include:: ../../../global.txt Display Service --------------- @@ -228,7 +228,7 @@ Generic Protected Queue #. Entry :ada:`Push` stores an element in the queue. - #. Entry :ada:`Pop` removes an element from the queue and returns the + #. Entry :ada:`Pop` removes an element from the queue and returns the element via output parameter. diff --git a/content/labs/intro-to-ada/index.rst b/content/labs/intro-to-ada/index.rst index 1f50a93ad..fd27c7830 100644 --- a/content/labs/intro-to-ada/index.rst +++ b/content/labs/intro-to-ada/index.rst @@ -4,7 +4,7 @@ Introduction to Ada: Laboratories ================================= -.. include:: ../../courses/global.txt +.. include:: ../../global.txt .. only:: no_hidden_books