.. _Introduction:

************
Introduction
************

This document provides a guide through the major capabilities of GNAT SAS inside
the GNAT Studio IDE by working on a code example: `sdc`, a simple desktop
calculator. The tutorial uses messages and annotations generated by Inspector
analysis engine, which is one of four analysis engines integrated to GNAT SAS.

Notice this is the same example as the one used in the GNAT Studio Tutorial
(available in the :menuselection:`Help --> GNAT Studio --> Tutorial` menu), so
you might want to go through the GNAT Studio tutorial first to get familiar with
this environment.

Copy the :file:`sdc` directory and its subdirectories in a
local (writable) area, and start GNAT Studio from the :file:`sdc`
directory, so that GNAT Studio will load the right context.

By default, the tutorial sources can be found under
`<prefix>/share/examples/gnatsas/sdc`, where `<prefix>` is the prefix
directory of the GNAT SAS installation.