From e6d07aaa0fb68424fdbd20a0d50ddc292d646e44 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Fri, 6 Dec 2024 13:21:19 -0500 Subject: [PATCH 1/4] No need for font sizing --- .../110_private_types/04-view_operations.rst | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/courses/fundamentals_of_ada/110_private_types/04-view_operations.rst b/courses/fundamentals_of_ada/110_private_types/04-view_operations.rst index f44c3b47f..0ff76fcaf 100644 --- a/courses/fundamentals_of_ada/110_private_types/04-view_operations.rst +++ b/courses/fundamentals_of_ada/110_private_types/04-view_operations.rst @@ -8,9 +8,7 @@ View Operations * Reminder: view is the *interface* you have on the type -.. container:: latex_environment footnotesize - - .. container:: columns +.. container:: columns .. container:: column From ec6606c4cb358ca1588f25111e44f91df034f79b Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Fri, 6 Dec 2024 13:30:11 -0500 Subject: [PATCH 2/4] Fix font sizing and make sure text fits --- ...05-combining_limited_and_private_views.rst | 30 ++++++++++--------- 1 file changed, 16 insertions(+), 14 deletions(-) diff --git a/courses/fundamentals_of_ada/120_limited_types/05-combining_limited_and_private_views.rst b/courses/fundamentals_of_ada/120_limited_types/05-combining_limited_and_private_views.rst index 06308c63d..3d50f3823 100644 --- a/courses/fundamentals_of_ada/120_limited_types/05-combining_limited_and_private_views.rst +++ b/courses/fundamentals_of_ada/120_limited_types/05-combining_limited_and_private_views.rst @@ -177,20 +177,21 @@ Quiz Quiz ------ -.. container:: latex_environment footnotesize - .. container:: columns +.. container:: columns .. container:: column - .. code:: Ada + .. container:: latex_environment tiny + + .. code:: Ada - package P is + package P is type L1_T is limited private; type L2_T is limited private; type P1_T is private; type P2_T is private; - private + private type L1_T is limited record Field : Integer; end record; @@ -203,22 +204,23 @@ Quiz type P2_T is record Field : L2_T; end record; - end P; + end P; .. container:: column - What will happen when the above code is compiled? + .. container:: latex_environment footnotesize - A. :answer:`Type P1_T will generate a compile error` - B. Type P2_T will generate a compile error - C. Both type P1_T and type P2_T will generate compile errors - D. The code will compile successfully + What will happen when the above code is compiled? + + A. :answer:`Type P1_T will generate a compile error` + B. Type P2_T will generate a compile error + C. Both type P1_T and type P2_T will generate compile errors + D. The code will compile successfully .. container:: animate - The full definition of type :ada:`P1_T` adds additional - restrictions, which is not allowed. Although :ada:`P2_T` + Full definition of :ada:`P1_T` adds + restrictions, which is not allowed. :ada:`P2_T` contains a component whose visible view is :ada:`limited`, the internal view is not :ada:`limited` so :ada:`P2_T` is not :ada:`limited`. - From 0ecd1d3ac977e8fcb938dde36d585ac0067ca5c5 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Fri, 6 Dec 2024 13:40:02 -0500 Subject: [PATCH 3/4] Fix cut-and-paste error from some other issue --- .../190_exceptions/07-partial_and_nested_handlers.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/courses/fundamentals_of_ada/190_exceptions/07-partial_and_nested_handlers.rst b/courses/fundamentals_of_ada/190_exceptions/07-partial_and_nested_handlers.rst index cae97d540..cae276657 100644 --- a/courses/fundamentals_of_ada/190_exceptions/07-partial_and_nested_handlers.rst +++ b/courses/fundamentals_of_ada/190_exceptions/07-partial_and_nested_handlers.rst @@ -1,6 +1,6 @@ -============= -Propagation -============= +============================= +Partial and Nested Handlers +============================= ------------------------------- Partially Handling Exceptions From a9197039d16b93a4d773b2d4f311ab22a9de62a0 Mon Sep 17 00:00:00 2001 From: Michael Frank <55284511+frank-at-adacore@users.noreply.github.com> Date: Fri, 6 Dec 2024 13:46:22 -0500 Subject: [PATCH 4/4] Fix font sizing --- ...-implicitly_and_explicitly_raised_exceptions.rst | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/courses/fundamentals_of_ada/190_exceptions/03-implicitly_and_explicitly_raised_exceptions.rst b/courses/fundamentals_of_ada/190_exceptions/03-implicitly_and_explicitly_raised_exceptions.rst index 0baf0254d..9430749cb 100644 --- a/courses/fundamentals_of_ada/190_exceptions/03-implicitly_and_explicitly_raised_exceptions.rst +++ b/courses/fundamentals_of_ada/190_exceptions/03-implicitly_and_explicitly_raised_exceptions.rst @@ -41,9 +41,7 @@ Some Language-Defined Exceptions Explicitly-Raised Exceptions ------------------------------ -.. container:: latex_environment scriptsize - - .. container:: columns +.. container:: columns .. container:: column @@ -53,19 +51,23 @@ Explicitly-Raised Exceptions * Syntax + .. container:: latex_environment footnotesize + .. code:: Ada raise_statement ::= raise; | raise exception_name [with string_expression]; - - :ada:`with string_expression` only available in Ada 2005 and later + *Note "with string_expression" only available in Ada 2005 and later* * A :ada:`raise` by itself is only allowed in handlers .. container:: column - .. code:: Ada + .. container:: latex_environment footnotesize + + .. code:: Ada if Unknown (User_ID) then raise Invalid_User; @@ -76,4 +78,3 @@ Explicitly-Raised Exceptions with "Attempt by " & Image (User_ID); end if; -