În cadrul acestei teme veti implementa atât analiza semnatică pentru limbajul LCPL.

• Deadline: Termenul limită până când se pot trimite temele fără depunctări de întârziere este joi, 17 decembrie 2015, ora 23:59. Pentru mai multe detalii, consultaţi regulamentul aferent temelor de casă.
• Colaborare: Tema va fi rezolvată individual.
• Punctare: 125p pentru implementarea completă şi corectă

Va trebui să realizaţi în limbajul C++, porţiunea responsabilă cu analiza semantică a codului rezultat in urma temei 1. Programul vostru va trebui să primească la intrare output-ul temei 1 şi să genereze […], in cazul in care analiza semnatica nu a detectat erori, sau o lista de erori.

În cadrul analizei semantice va trebui să colectați informații semantice (de ex. tipul expresiilor) și să verificați că programul reprezentat de AST-ul construit la tema 1 respectă restricțiile impuse de limbajul LCPL (a se consulta în acest sens manualul). Analiza va avea doua scopuri:

1) Obținerea informațiilor ce sunt necesare pentru generarea de cod:

• Tipul fiecărei expresii, variabile locale, metode, parametru formal sau atribut
• Clasa de baza a fiecarei clase derivate.
• Pentru fiecare simbol folosit, se va identifica variabila pe care il refera (locala, parametru formal, atribut)
• Pentru fiecare apel de metoda, se vor identifica metoda care va fi apelata si clasa din care face parte.

2) Verificarea corectitudinea definirii structurii de clase a programului. Câteva exemple de probleme care ar trebui semnalate la acest pas:

• definirea unei clase de mai multe ori sau redefinirea uneia de bază - deja implementată în arhiva de pornire
• moștenirea unui tip care nu poate avea succesori (String, Int) - deja implementată în arhiva de pornire
• absența unei clase Main cu metoda main - deja implementată în arhiva de pornire
• moșteniri recursive (A moștenește B care moștenește A)
• variabilă sau clasă nedefinită
• metodă inexistentă sau apel nevalid (de ex. ca nr. de parametri)
• incompatibilitate de tipuri (între operanzi și operator, în argumentele unei funcții etc.)

În procesul de a obține informațiile din primul paragraf, puteți întâlni erori, cum sunt cele exemplificate in al doilea paragraf. Aceste erori trebuie raportate ca erori semantice.

• Un framework pentru analiza semantică.

- TBD