Pok-12-wyk-Slajd24
Z Studia Informatyczne
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
