2. Description générale

2.1. Objectif du projet

L'objectif cherché avec la réalisation de ce projet était d'avoir des outils qui effectuent certains aspects de la mise en page des sources Ada de façon automatique sans changer le sens du code. Concrètement, on voudrait automatiser :

- la "correction" ou l'uniformité de l'apparence du code,

- la génération de fichiers imprimables à partir des sources,

- la mise en page systématique de la structure du code,

- la vérification de la qualité du code.

2.2. Travaux à réaliser

Pour atteindre les objectifs qu'on vient de citer, quatre travaux à réaliser, en forme d'applications Ada, ont été fixés :

- une première application qui change l'apparence de certains éléments lexicaux du langage Ada, notamment les identificateurs et les mots réservés, avec une option pour traiter également les identificateurs apparaissant en commentaires. On peut imaginer de les modifier en mettant, par exemple, les identificateurs tout en majuscule et les mots réservés tout en minuscule,

- une deuxième application qui produit des fichiers imprimables, en utilisant des styles appropriés (gras, italique) pour divers éléments lexicaux du langage Ada, tels que les mots réservés et les commentaires,

- une troisième application qui modifie la structure du code pour effectuer sa mise en page et le ramener à un certain nombre maximal de caractères par ligne,

- enfin, une quatrième application qui vérifie la satisfaction de quelques règles de qualité choisies dans "Ada Quality and Style" [SPC92].

Pour chacune de ces applications, il faut produire les spécifications et conceptions correspondantes, puis les implémenter, avec chaque fois quelques tests pour leur vérification.

Une réévaluation du projet, réalisée vers la fin du mois de mai, a montré que la charge de travail estimée a priori était difficilement réalisable dans les délais prévus. On a décidé en conséquence de limiter le projet aux trois premières applications.

2.3. Environnement de développement

Les applications ont été développées en langage Ada [LRM87], sur des machines Sun munies du système d'exploitation Unix.