Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Slides/182 sub bullets in column have smaller text than main bullet #457

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand All @@ -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`.

Original file line number Diff line number Diff line change
Expand Up @@ -41,9 +41,7 @@ Some Language-Defined Exceptions
Explicitly-Raised Exceptions
------------------------------

.. container:: latex_environment scriptsize

.. container:: columns
.. container:: columns

.. container:: column

Expand All @@ -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;
Expand All @@ -76,4 +78,3 @@ Explicitly-Raised Exceptions
with "Attempt by " &
Image (User_ID);
end if;

Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
=============
Propagation
=============
=============================
Partial and Nested Handlers
=============================

-------------------------------
Partially Handling Exceptions
Expand Down
Loading