INF564 - TD 4 - Typage statique de mini-C (en Java)

L'objectif de ce TD est de réaliser le typage statique de mini-C.

Les règles de typage sont décrites dans le sujet du projet (distribué en cours).

Code fourni

On fournit l'analyseur syntaxique : parser-java.tar.gz

Une fois cette archive décompressée (par exemple avec tar zxvf parser-java.tar.gz), vous obtenez un répertoire mini-c/. La bibliothèque java-cup-11a-runtime.jar qui est contenue dans le sous-répertoire lib/ doit être ajoutée au projet (mais les versions récentes d'Eclipse et de VSCode vont le faire automatiquement).

Le code fourni compile. Le programme principal se trouve dans Main.java. Il accepte sur sa ligne de commande un fichier portant le suffixe .c et les options --debug, --parse-only et --type-only. Si aucun fichier n'est spécifié, le fichier test.c (fourni) est utilisé, afin de faciliter les tests.

Si une erreur lexicale ou syntaxique est détectée, elle est signalée et le programme termine avec le code de retour 1.

Si l'analyse syntaxique est effectuée avec succès et que l'option --parse-only est spécifiée, alors le programme termine avec le code de retour 0.

Travail demandé

Réaliser le typage dans le fichier Typing.java. Il s'agit d'un visiteur qui est appliqué à une valeur de type Pfile (l'arbre issu du parseur, défini dans Ptree.java) et construit une valeur de type File (l'arbre issu du typage, défini dans Ttree.java).

En cas d'erreur de typage détectée, elle sera signalée en levant l'exception Error, avec comme argument le message choisi. Cette exception est ensuite rattrapée dans Main.java et affichée sous la forme

     error: ... le message de votre choix ...

et le programme termine avec le code de retour 1.

Indications

Il est fortement conseillé de procéder construction par construction, en testant systématiquement. On peut se donner comme premier objectif de typer un programme aussi simple que

int main() { return 0; }

c'est-à-dire en se limitant aux constantes pour les expressions et à return pour les instructions.

Tests

Des tests sont fournis : tests-v1.tar.gz. Cette archive contient

des fichiers C de tests organisés en différentes catégories :

  syntax/bad/    refusés à l'analyse lexicale ou syntaxique
  syntax/good/   acceptés à l'analyse syntaxique
  typing/bad/    refusés à l'analyse sémantique
  typing/good/   acceptés à l'analyse sémantique
  exec-fail/     compilés avec succès mais l'exécution doit échouer
  exec/          compilés et exécutés avec succès, le résultat attendu étant
                 conforme au fichier .out

un script run pour lancer votre compilateur sur ces fichiers. Ce script attend l'option -2 (pour ce TD) et l'exécutable de votre compilateur. Ce dernier est le script mini-c fourni avec les sources Java. On doit obtenir ceci :
```
> ./run -2  mon/chemin/vers/mini-c
Test de mon/chemin/vers/mini-c

Partie 2
mauvais ...........................
bons .................................................................
Typage  : 92/92 : 100%
```

retour à la page du cours