Compilatori 2007

Lezione 2 (9 gennaio 2007)

Laboratorio 1 (12 gennaio 2007)
Si salvi questo codice nella directory testcases. Quindi si completi la classe Primes.kit in modo da farle implementare la lista infinita dei numeri primi e farli stampare al metodo main (Soluzione)

Lezione 3 (16 gennaio 2007)

Lezione 4 (17 gennaio 2007)

Laboratorio 2 (19 gennaio 2007)
Si aggiungano a Kitten i token TRY, THROW, THROWS e CATCH, che rappresentano le stringhe omonime. Occorre sia modificare lexical/Kitten.lex che l'enumerazione in syntactical/sym.java (si ricordi di eseguire make lexical alla fine). Si verifichi che tali token siano effettivamente riconosciuti provando a compilare questo file Kitten.

Lezione 5 (23 gennaio 2007)

Lezione 6 (24 gennaio 2007)

Laboratorio 3 (26 gennaio 2007)

Modificate il makefile in modo da ammettere al più un conflitto: cercate l'invocazione di java_cup.Main e aggiungete subito dopo -expect 1
Modificate quindi la grammatica di Kitten in modo da aggiungere il comando throw X che lancia il valore di X; la possibilità di decorare l'intestazione di un metodo o costruttore con throws list dove list è una sequenza non vuota di tipi separati da virgola; il comando try C catch T1 ID1 C1 ... catch Tn IDn Cn che esegue C e se esso lancia un'eccezione ne confronta il tipo con i Ti: il primo Ti compatibile con l'eccezione comporta l'esecuzione del corrispondente Ci (non imponete le parentesi graffe nella sintassi!) Non date regole semantiche nelle produzioni che aggiungete. Ricordatevi alla fine di eseguire un make syntactical. Dovreste essere capaci di effettuare senza problemi il parsing del file di esempio.

Lezione 7 (30 gennaio 2007)

Lezione 8 (31 gennaio 2007)

Lezione 9 (2 febbraio 2007)

Lezione 10 (6 febbraio 2007)

Lezione 11 (7 febbraio 2007)

Lezione 12 (9 febbraio 2007)

Lezione 13 (13 febbraio 2007)

Lezione 14 (14 febbraio 2007)

Laboratorio 4 (16 febbraio 2007)

• Partite da questo schema per scrivere le classi di sintassi astratta per i nuovi elementi che avete aggiunto alla sintassi Kitten. Dovrete modificare anche la sintassi astratta per le dichiarazioni di metodi e costruttori poiché avete aggiunto una lista di tipi. Per adesso non specificate il metodo di analisi semantica
• Aggiungete in syntactical/Kitten.cup le azioni semantiche per istanziare le nuove classi di sintassi astratta
• Eseguite un make syntactical
• Verificate che l'albero di sintassi astratta sia generato correttamente: compilate il solito esempio e poi
  dot -Tps testcases/file.dot|kghostview -
  per i vari file dot che vengono generati dalla compilazione
• Specificate il metodo di analisi semantica per i nuovi elementi di sintassi aggiunti a Kitten: non preoccupatevi al momento di verificare che un metodo lanci solo i tipi che esso dichiara di lanciare
• Eseguite un make semantical e verificate che il file di esempio sia compilato senza errori semantici

Lezione 15 (20 febbraio 2007)

Lezione 16 (21 febbraio 2007)

Laboratorio 5 (23 febbraio 2007)
Si aggiunga un controllo per il throw che garantisce che il tipo del valore gettato sia ammesso in tal punto di programma. A tal fine:

• le types/CodeSignature.java e le sue due sottoclassi per metodi e costruttori devono avere spazio per un ulteriore campo thrown che contiene la lista dei tipi semantici che seguono la clausola throws;
• anche il semantical/TypeChecker.java deve avere un campo throwables che contiene la lista dei tipi che ammettiamo possano essere gettati. Tale campo viene inizializzato a thrown dentro il typeCheck$0() di absyn/MethodDeclaration.java e absyn/ConstructorDeclaration.java e viene arricchito nel corpo di un try, che può gettare anche i tipi dei suoi catch;
• infine il typeCheck$0() del throw deve controllare che il tipo del valore gettato vada bene rispetto al campo throwables del type-checker;
• un simile controllo va aggiunto nel typeCheck$0() delle chiamate di metodo e della creazione di un oggetto;
• Eseguite un make semantical e verificate che il file di esempio sia compilato con un unico errore semantico sulla chiamata di foo1() in main(). Modificatelo in modo che non segnali più alcun errore semantico.

Lezione 17 (6 marzo 2007)

Lezione 18 (7 marzo 2007)

Lezione 19 (9 marzo 2007)

• Esercizi sulla compilazione

Primo appello il 28 marzo alle 8:30

Progetto valido fino a fine luglio:

• Si aggiungano a Kitten i token TRY, THROW, THROWS e CATCH, che rappresentano le stringhe omonime
• Si aggiunga a Kitten il comando throw X che lancia il valore di X; la possibilità di decorare l'intestazione di un metodo o costruttore con throws list dove list è una sequenza non vuota di tipi separati da virgola; il comando try C catch T1 ID1 C1 ... catch Tn IDn Cn che esegue C e se esso lancia un'eccezione ne confronta il tipo con i Ti: il primo Ti compatibile con l'eccezione comporta l'esecuzione del corrispondente Ci (non imponete le parentesi graffe nella sintassi!)
• Si scriva la classe di sintassi astratta per gli elementi sintattici aggiunti al punto precedente
• Si scriva il metodo di controllo dei tipi per gli elementi sintattici visti sopra.
• Si definisca uno schema a discesa ricorsiva che ritorna l'insieme dei tipi che potrebbero essere lanciati da un comando o espressione. Si verifichi che i tipi lanciati (ma non intercettati!) all'interno del corpo di un costruttore o metodo siano fra quelli enumerati dalla sua clausola throws
• Si aggiunga un bytecode throw che lancia un'eccezione del tipo della cima dello stack, i cui elementi, tranne la cima, vengono rimossi; un bytecode catch T v che intercetta un'eccezione di tipo T e la lega alla variabile v Si implementi quindi la generazione del bytecode Kitten per gli elementi sintattici aggiunti sopra in modo che ogni bytecode che può sollevare un'eccezione e che si trova all'interno dello scope di un gestore di eccezione sia alla fine di un blocco di codice con varie frecce uscenti: una per la continuazione normale (se c'è) e una per ogni gestore di eccezione in cui si trova il bytecode. I gestori di eccezione sono dei blocchi che cominciano con catch T per il tipo che essi gestiscono.
• [Facoltativo. Solo se vuole più di 8 punti nel progetto] Si modifichi la generazione del Java bytecode in modo che i blocchi che hanno più frecce uscenti, alcune delle quali conducono a un blocco che comincia con catch, comportino la creazione di opportuni gestori di eccezione Java che eseguono tali blocchi.

Progetto valido da agosto fino a fine dicembre:

10 punti fino a fine ottobre, poi 8 punti

Si aggiunga a Kitten il costrutto for (tipo var: exp) body che lega iterativamente var, di tipo tipo, agli elementi di exp ed esegue ogni volta body. Tale costrutto deve poter funzionare sia se exp contiene un array sia se contiene un oggetto che estende una classe Iterable (scrivetela in Kitten) con un metodo iterator() che restituisce un Iterator (scrivete in Kitten anche questa classe). Un Iterator ha due metodi: next(), che restituisce il prossimo oggetto dell'iterazione, e hasNext(), che determina se c'è ancora un elemento nell'iterazione.

Si noti che questo operatore for è identico a quello di Java, per cui basta documentarsi su Java per comprenderne a fondo la semantica.