Pok-12-wyk-Slajd26

Kontroler typów - wyrażenia: literał, liczba, ?

Analizując wyrażenia możemy natrafić na:

stałą znakową (literał) - wówczas typem wyrażenia (czyli atrybutem syntetyzowanym type symbolu E) będzie znak (char )
stałą liczbową - typem wyrażenia (czyli atrybutem syntetyzowanym type symbolu E) będzie liczba całkowita (integer )
identyfikator – w tym przypadku należy przeszukać tablicę symboli i odczytać z niej typ identyfikatora; jeżeli okaże się, że identyfikator nie został zadeklarowany lub został błędnie zadeklarowany (type_error ) możemy albo przerwać kompilację ze stosownym komunikatem, albo kontynuować ustawiając typ wyrażenia na type_error