2024 - GNAT Internal Training

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

Files

• Slides

• GNAT Studio Slides

• privacy lab

Schedule

Session	Topic
Session 1 & 2	Declarations Basic Types Statements Array Types Record Types Expressions Quantified expressions
Session 3	GPRbuild GNAT Switches
Session 4	Subprograms Type Derivation Overloading
Session 5 & 6	Library Units Packages Private Types Limited Types Program Structure Visibility
Session 7	Tagged Derivation Polymorphism Multiple inheritance
Session 8	Advanced Access types Genericity
Session 9 & 10	Low-level Programming Interfacing with C Subprogram Contracts Type Contracts SPARK Tasking