COMPLETAMENTO DEL PROGETTO
Sostituzione e/o correzione moduli non funzionanti

Chi ha inviato versioni dei primi due moduli non funzionanti, può fornire delle versioni corrette dei propri moduli. La valutazione finale del laboratorio avverrà quindi dopo un breve orale in cui verranno analizzati i problemi corretti (il voto dipenderà ovviamente dal numero e dall'entità degli errori corretti).
Ovviamente, anche chi ha inviato versione funzionanti, può inviare delle versioni migliori se lo ritiene utile e/o necessario.

Chi non fosse in grado di correggere il proprio modulo potrà chiederne una versione funzionante al docente. In questo caso, per completare l'esame potrebbe essere necessaria una prova integrativa.

COMMENTO GENERALE SULLA SINTASSI DI CCINO

Alcune note aggiuntive sulla sintassi di CCINO sono state fraintese, in particolare quella sulle parentesi nelle espressioni (per questo è stato aggiunto un commento che chiarisce il punto della nota sulle parentesi alla seguente pagina). Di questa viene qui riportato il punto principale per quanto riguarda l'implementazione dell'analizzatore sintattico.

III e IV Modulo

Con quelle del III e IV modulo, le specifiche del progetto sono ora complete.

Verifica del IV Modulo

È disponibile il main per la verifica del IV modulo, ovvero per la verifica del progetto completo. Per maggiori dettagli si veda l'appendice alle specifiche del IV modulo.
Il main del IV modulo utilizza delle chiamate di sistema che lo rendono non immediatamente portabile su tutte le architetture/compilatori. La versione fornita funziona sotto Linux/gcc e, con una piccola modifica, sotto Windows/Visual C (anche il file per Windows/Visual C è disponibile).
Per eseguire una verifica della copilabilità, compilare il main insieme al seguente file di prova, nel quale le funzioni di parsing e di esecuzione leggono e stampano l'input linea per linea. La compilazione dovrebbe fornire un eseguibile che legge e stampa il file passato sulla linea di comando e poi si ferma in attesa di leggere delle linee dallo stdin sino al raggiungimento di eof (sotto Linux, eof si può immettere da tastiera digitando Ctrl-D, sotto Windows, digitando Ctrl-Z).
Chiunque dovesse incontrare problemi di compilazione è pregato di contattare il docente.

Consegna

III modulo: entro le 24.00 del 15/09
IV modulo: entro le 24.00 del 25/09

ESEMPI DI PROGRAMMI CCINO

Per compilare direttamente in C gli esempi di programmi CCINO:

    gcc -g -x c -include ccino-cc.h ccino-cc.c file.ccino -o file

ATTENZIONE. Si consiglia di provare esempi di mutua ricorsione (come ad esempio il programma mutuaric.ccino)

NOTE AGGIUNTIVE, CHIARIMENTI E COMMENTI DELLE SPECIFICHE

MODIFICA SINTASSI ";"
Per evitare inutili ripetizioni di ";" alla fine di alcuni comandi, la sintassi contenuta nelle specifiche del terzo modulo è stata modificata. Per i dettagli, vedere la versione aggiornata della descrizione dell'analizzatore sintattico o l'errata-corrige.

COMMENTO SULLE PARENTESI TONDE NELLE ESPRESSIONI
È stato aggiunto un commento sulle parentesi tonde nella scrittura delle espressioni e sono stati corretti i programmi ccino di prova. Per i dettagli, vedere la versione aggiornata della descrizione dell'analizzatore sintattico o l'errata-corrige.
ATTENZIONE> Visto che ci sono stati alcuni fraintendimenti sul significato di questa nota si vedano anche le seguenti considerazioni aggiuntive.

SUGGERIMENTO/NOTA III MODULO
Non essendoci alcun token o configurazione di token che segnala la fine di un programma CCINO, l'unico modo per capire che il programma è terminato è individuare il raggiungimento dell'end-of-file. È parte dell'implementazione dell'analizzatore sintattico capire quando è lecito che il file possa finire e come fare per individuarlo in modo corretto.

CORREZIONI E/O AGGIORNAMENTI DELLE SPECIFICHE
L'ultima modifica delle specifiche è del 26/08. Vedi l'errata-corrige.
La versione delle specifiche del IV modulo che contiene anche il main per la verifica è del 31/08.

Errata Corrige/Aggiornamenti

(03/06/04)

È stato aggiornato il file ccinodefs.c. Il comando "#include <pinodefs.h>" è stato sostituito con il comando "#include <ccinodefs.h>".

(22/07/04)

È stato aggiornato il file ccinodefs.c. Nella "struct descr_fun", è rimpiazzato "struct ls_comm *" con "struct ls_commands *".

(12/08/04)

Sono stati corretti alcuni errori nella sintassi dei comandi contenuta nella specifica del terzo modulo (si veda p.2 della nuova versione della specifica dell'analizzatore sintattico)

(12/08/04)

È stato aggiunto un commento sulle parentesi nei comandi nella desrizione dell'analizzatore sintattico (si veda p.5 della nuova versione della specifica dell'analizzatore sintattico)

(12/08/04)

I file di prova fib.ccino e prova.ccino eranbo errati. Sono ora disponibili delle nuove versioni.

(12/08/04)

Nei file ccino-cc.h e ccino-cc.c è stato sostituito "wrsp" con "wsp" e "wrnl" con "wnl".

(26/08/04)

Nella definizione di "struct exp" contenuta in ccinodefs.h, il campo "args" di "funcall" non è di tipo "struct exp *args" ma di tipo "struct exp **args", essendo un puntatore ad un vettore di puntatori.