Pok-12-wyk-Slajd24

Kontroler typów – deklaracje

W trakcie analizy deklaracji dodajemy do tablicy symboli kolejne zmienne i ich typy.

Operacja dodania zmiennej do tablicy symboli może się nie powieść z dwóch przyczyn:

• braku miejsca w tablicy albo
• próby ponownej deklaracji identyfikatora, który już był wcześniej zadeklarowany; w niektórych językach akceptowane są tożsame definicje (taki sam identyfikator i taki sam typ), ale z reguły powtórzenie deklaracji identyfikatora jest traktowane jako błąd (z punktu widzenia inżynierii oprogramowania jest to bardziej logiczne podejście). Można teraz przyjąć dwie strategie działania:
• natychmiast przerwać kompilację z komunikatem o błędzie
• wygenerować komunikat i kontynuować analizę ustawiając typ identyfikatora na type_error

<< Poprzedni slajd | Spis treści | Następny slajd >>