Clauses de contexte

Prenons par exemple le paquetage "Arbre_Recherche" qui est générique:

with Ada.Text_Io;           use Ada.Text_Io;
with Ada.Integer_Text_Io;   use Ada.Integer_Text_Io;
with Ada.Float_Text_Io;     use Ada.Float_Text_Io;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

-- Appel du TDA.
with Arbre_Recherche;

procedure Programme_Test is

Les quatre clauses de contextes ci-dessus sont les clauses de base, insérées systématiquement dans chaque fichiers de test. Si d'autres clauses étaient présentes dans le fichier de spécification elles seraient également déclarées et cela même si elles ne sont utilisées que dans la partie ``private'' du fichier de spécification du TDA.
Rappelons que des clauses de contexte non-utilisée ne provoque que des ``warning'' à la compilation ce qui nous semble être tolérable pour un programme de test.
Comme on peut le voir l'appel du TDA ne possède pas de ``use'' étant donné qu'il s'agit dans ce cas d'un paquetage générique qui nécessite une instanciation.