Extraction des données

Le paquetage analyse contient l'ensemble des sous-programmes nécessaires à l'analyse du fichier de spécification de la TDA.
L'extraction se passe en deux parties:
La première étape consiste à extraire les données utiles présentes dans la partie qui se trouve du haut du fichier jusqu'à la déclaration même du nom du paquetage package le_nom_du_paquetage is
Ci-dessous les différentes entités de cette première partie.

• Les clauses de contextes
  Si des clauses de contextes sont présentes dans le fichier de spécification, elles sont automatiquement ajoutée à la structure de donnée et cela même si elle ne sont pas utilisée ou utilisée dans la partie privée ou encore dans le corps du paquetage. La raison de ce choix et qu'il serait difficile voir impossible d'effectuer ce contrôle et d'autre part cela ne cause aucun problème quand à la compilation, donc ...
  
• La partie générique
  Si et seulement si le paquetage est générique alors les les déclarations nécessaire à l'instanciation seront ajoutée à la structure de données afin de les écrire en commentaire dans le fichier de test, ce qui donnera à l'utilisateur une indication de ce qu'il est nécessaire de déclarer pour instancier le paquetage.
  
• Le nom du paquetage
  Le nom du paquetage sera ajouté à la structure de donnée avec également l'information à savoir est-il générique ?. Une information que nous possédons grâce à l'analyse de la partie générique(vu ci-dessus).
  

La deuxième partie va elle jusqu'au mot ``private''(si il y a une partie privée) ou sinon jusqu'à la fin du fichier. L'ensemble des données utiles se trouvent donc dans cette partie et sont susceptibles d'être mélangée même si cela n'est pas très judicieux et pas trop dans l'esprit d'un codage lisible et gracieux.
Ce traitement se fait par ligne, et seul les lignes contenant les mot ci-dessous retiendront notre attention.

• type
  La ligne ou l'on a trouvé le mot ``type'' est directement envoyée à un sous-programme qui a pour mission d'en extraire le nom.
  [Problème rencontrés]
  Il existe une difficulté concernant les articles à discriminants ou a parties variantes qui ne possède pas de valeur par défaut. En effet lorsque nous voudrons dans le fichier de test déclaré des variables de ce type nous ne pourrons raisonnablement donner une valeur arbitraire.
  [Solution retenue]
  Nous avons simplement un champ dans structure de donnée des types qui indique si ce problème se pose. Si ce champ est vrai alors nous pouvons dans le fichier de test, mettre en garde l'utilisateur en lui indiquant le problème par le biais d'un commentaire. Lui laissant la liberté de mettre une valeur qu'il jugera appropriée.
  [Restrictions]
  Pour ne pas compliquer l'analyse du fichier nous partons du principe que le fichier de spécification a été écrit correctement. C'est à dire que la déclaration d'un type est faite sur une et une seul ligne.
  type le_mom_du_type is private;
  
• generic
  Dans un sous programme on va tout comme pour les paquetages extraire les lignes de la partie générique jusqu'à ce que la ligne contienne soit le mot ``function'' ou ``procedure''. Une fois l'un de ces mots trouvé la ligne est envoyée ou sous-programme de traitement approprié(décrit ci-dessous):
  
• procedure
  Dans ce cas nous avons besoin d'extraire le nom ainsi que les différentes paramètres. Si un paramètre ne possède pas de mode Nom_Variable : Natural le mode est automatiquement mis à ``in'' ce qui représente un cas particulier.
  Dans le cas procedure Afficher(un, deux, trois : in Natural), les différents nom de paramètres sont mis dans un tableau temporaire, puis l'ensemble de ces paramètre seront associé au mode ``in'' et au type ``Natural''. La constante Max_Nom_Variables présente dans le fichier ``type.ads'' représente la dimension maximum du tableau temporaire.
  [Restrictions]
  Les paramètres pouvant être écrit sur plusieurs ligne, nous procédons à une analyse complète se basant sur le nombre de parenthèses. En effet la fin de la procédure est atteinte lorsque le nombre de parenthèses ouvrantes correspond au nombre de parenthèses fermantes. En ce qui concerne les commentaires, une fois que l'on a extrait une ligne, la partie de commentaire est automatiquement supprimée. Ce qui nous permet donc d'écrire les sous-programmes de cette manière(ce qui fera d'ailleurs bondir n'importe quel professeur de programmation).
  

  procedure Supprimer (Tete : in out T_Liste_Adresse; 
                       
                  Nom : in String;   -- Ce commentaire sera supprimer
       
                  Longueur : in Integer);    -- Celui là aussi !
  

• function
  Les fonctions sont traitées de la même manière que les procédures à la différence que le nombre de parenthèses ouvrantes, fermantes ne délimites pas la fin, puisqu'il s'agit encore de récupérer le type de retour. Mais le principe d'extraction est le même.
  
• exception
  Dans ce cas un sous-programme est également chargé d'extraire le nom de l'exception.
  

A noter que l'ensemble des sous-programmes d'ajouts de données dans la structure sont présents dans le paquetages insertion. Cette séparation permet avant chaque insertion de contrôler que l'on atteigne pas les maximums fixés par les constantes en levant les exceptions du type Full_Nom_Structure_Error.