Merge remote-tracking branch 'origin/master' into mr/369-update_slide_styles_and_colors

Author: frank-at-adacore

courses/ada_essentials/030_scalar_types/01-introduction.rst

@@ -8,22 +8,37 @@ Discrete Types
 
 * **Individual** ("discrete") values
 
-   - 1, 2, 3, 4 ...
-   - Red, Yellow, Green
+  * Can easily identify next/previous value
 
 * Integer types
 
-   - Signed integer types
-   - Modular integer types
+  - Signed integer types
 
-      * Unsigned
-      * **Wrap-around** semantics
-      * Bitwise operations
+    .. code:: Ada
+
+      type Integer_T is range -1 .. 1000;
+      Number : Integer_T := 123;
+
+  - Modular integer types
+
+    * No sign bit
+    * **Wrap-around** semantics
+    * Bitwise operations
+
+    .. code:: Ada
+
+      type Unsigned_T is mod 256;
+      Unsigned : Unsigned_T := 123;
+      Bitwise  : Unsigned_T := Unsigned and 16#55#;
 
 * Enumeration types
 
-   - Ordered list of **logical** values
+  - Ordered list of **logical** values
+
+  .. code:: Ada
 
+    type Enumeration_T is (Red, Yellow, Green);
+  
 ------------
 Real Types
 ------------
@@ -35,3 +50,8 @@ Real Types
 * :dfn:`Fixed-point` numbers have a **constant** exponent portion
 
   * Allows for simpler (integer-based) computer math
+
+.. code:: Ada
+
+  type Float_T is digits 6;
+  type Fixed_T is delta 0.01;

courses/ada_essentials/040_statements/01-introduction.rst

@@ -41,17 +41,8 @@ Procedure Calls (Overview)
 
 * Procedure calls are statements
 
-  * Traditional call notation
-
     .. code:: Ada
 
       Activate (Idle, True);
 
-  * "Distinguished Receiver" notation
-
-    .. code:: Ada
-
-      Idle.Activate (True);
-
 * More details in "Subprograms" section
-

courses/ada_essentials/060_record_types/lab/record_types/answer/main.adb

@@ -32,7 +32,7 @@ begin
 
    Total := Integer (Point_1.Inches) +
             Integer (Point_2.Inches);
-   if Total > Max_Inches then
+   if Total >= Max_Inches then
       Distance.Inches := Inches_T (Total - Max_Inches);
       Distance.Feet   := 1;
    else

courses/ada_essentials/070_subprograms/lab/subprograms/answer/main.adb

@@ -22,10 +22,10 @@ procedure Main is
          return List'Last;
       end if;
    end Search;
-   --Search
 
    List   : List_T (1 .. 20);
    Length : Natural := 0;
+   --Search
 
 --Main
    procedure Add (Item : Integer) is

courses/ada_essentials/140_access_types/88-access_types.lab.rst

@@ -5,43 +5,52 @@ Lab
 ------------------
 Access Types Lab
 ------------------
+   
+* Build an application that adds / removes items from a linked list
 
-* Overview
+   * At any time, user should be able to
 
-  - Create a (really simple) Password Manager
+     * Add a new item into the "appropriate" location in the list
+     * Remove an item without changing the position of any other item in the list
+     * Print the list
 
-    * The Password Manager should store the password and a counter for each of some number of logins
-    * As it's a Password Manager, you want to modify the data directly (not pass the information around)
+* Required goals
 
-* Requirements
+  1. Implement **Add** functionality
 
-   - Create a Password Manager package
+    * For this step, "appropriate" means either end of the list (but consistent - always front or always back)
 
-      * Create a record to store the password string and the counter
-      * Create an array of these records indexed by the login identification
-      * The user should be able to retrieve a pointer to the record, either for modification or for viewing
+  2. Implement **Print** functionality
+  3. Implement **Delete** functionality
 
-   - Main program should:
+-------------------------
+Lab Solution - Database
+-------------------------
 
-      + Set passwords and initial counter values for many logins
-      + Print password and counter value for each login
+.. container:: source_include 140_access_types/lab/access_types/answer/database.ads :code:Ada :number-lines:1
 
-* Hint
+.. container:: source_include 140_access_types/lab/access_types/answer/database.adb :code:Ada :number-lines:1
 
-   - Password is a string of varying length
+-------------------------------------
+Lab Solution - Database_List (Spec)
+-------------------------------------
 
-      - Easiest way to do this is a pointer to a string that gets initialized to the correct length
+.. container:: source_include 140_access_types/lab/access_types/answer/database_list.ads :code:Ada :number-lines:1
 
-----------------------------------------------
-Access Types Lab Solution - Password Manager
-----------------------------------------------
+-----------------------------------------------
+Lab Solution - Database_List (Helper Objects)
+-----------------------------------------------
 
-.. container:: source_include 140_access_types/lab/access_types/answer/password_manager.ads :code:Ada
+.. container:: source_include 140_access_types/lab/access_types/answer/database_list.adb :start-after:helpers_begin :end-before:helpers_end :code:Ada :number-lines:1
 
-.. container:: source_include 140_access_types/lab/access_types/answer/password_manager.adb :code:Ada
+-----------------------------------------------
+Lab Solution - Database_List (Insert/Delete)
+-----------------------------------------------
 
-----------------------------------
-Access Types Lab Solution - Main
-----------------------------------
+.. container:: source_include 140_access_types/lab/access_types/answer/database_list.adb :start-after:insert_and_delete_begin :end-before:insert_and_delete_begin :code:Ada :number-lines:35
 
-.. container:: source_include 140_access_types/lab/access_types/answer/main.adb :code:Ada
+---------------------
+Lab Solution - Main
+---------------------
+
+.. container:: source_include 140_access_types/lab/access_types/answer/main.adb :code:Ada :number-lines:1