\documentclass[10pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[french]{babel}
\usepackage{graphicx}
\usepackage{a4wide}
\usepackage{listings}

\title{Corrections exercices CM Ada }


\author{F. Singhoff}

\begin{document}


\maketitle


\bigskip
\bigskip


\section{Exercice 1 }

\begin{itemize}
\item Fichier \texttt{calcul.adb} :

\lstinputlisting{EXO1/calcul.adb}

\item Fichier \texttt{sol\_exo1.adb} :

\lstinputlisting{EXO1/sol_exo1.adb}
\end{itemize}

\section{Exercice 2 }
\begin{itemize}
\item ligne 1: non (car types incompatibles)
\item ligne 2: non (car types incompatibles)
\item ligne 3: non (car types incompatibles)
\item ligne 4: oui
\item ligne 5: non (car dépassement de capacité)
\end{itemize}


\section{Exercice 3 }

\lstinputlisting{EXO3/exo3.adb}




\section{Exercice 4 }

\begin{itemize}

\item page 57 : toutes activées sur le \texttt{begin} de la procédure principale.
Aucune terminaison car \texttt{Ma\_Tache} est dans une boucle.
Ce programme contient 2 tâches.

\item page 58 : toutes activées sur le \texttt{begin} de la procédure principale.
Aucune terminaison car les tâches \texttt{T1, T2 et T} sont dans une boucle.
Ce programme contient 13 tâches.

\item page 59 : la procédure principale
est activée sur le \texttt{begin} de la procédure principale.
Les tâches \texttt{T} sont activées sur appel du \texttt{new}.
Aucune terminaison car les tâches \texttt{T} sont dans une boucle.
Ce programme contient 4 tâches.

\end{itemize}




\section{Exercice 5 }

\lstinputlisting{EXO5/suite.adb}





\end{document}





