2024-01-08 - OPAT
========================================================================

This page contains links to everything you will need for this training class.

Files
-----

* `Slides <https://public-training.adacore.com/2024/01/08/germond/opat.pdf>`_

This is a PDF copy of the slides presented during the course.

Schedule
--------

.. list-table::
    :header-rows: 1

    * - Day
      - Topic
    * - Day 1
      - | Declarations
        | Basic Types
        | Statements
        | Array Types
        | Record Types
    * - Day 2
      - | Subprograms
        | Type Derivation
        | Expressions
        | Overloading
        | Quantified Expressions
    * - Day 3
      - | Packages
        | Library Units
        | Private Types
        | Program Structure
        | Visibility
        | Tagged Derivation
    * - Day 4
      - | Exceptions
        | Access Types
        | Genericity
    * - Day 5
      - | Tasking
        | Subprogram Contracts
        | Type Contracts