Pok-12-wyk-Slajd30
Z Studia Informatyczne
Kontroler typów - instrukcje: instrukcja warunkowa
Kontrola poprawności typów instrukcji również zależy od systemu typów przyjętego w danym języku.
Rozważany język (wzorowany na Pascalu) musimy więc rozszerzyć o typ logiczny (boolean ) i odpowiednie operatory. Analizując instrukcję warunkową trzeba sprawdzić, czy typ wyrażenia (warunku) jest typem boolean (jeśli nie jest – wystąpił błąd typu).
W trakcie analizy typów instrukcji należy oczywiście pamiętać o tym, że instrukcji może być wiele i mogą być zagnieżdżone. Trzeba więc odpowiednio propagować typy w schemacie translacji. Przypadkiem bazowym w gramatyce jest instrukcja pusta i jest ona oczywiście zawsze poprawna (void ).
