Pok-1-wyk-Slajd12
Z Studia Informatyczne
Analiza semantyczna – zgodność typów
W trakcie sprawdzania zgodności typów można wykonać np. następujące kontrole:
- czy w wyrażeniach zastosowano odpowiednie typy operandów ?
- czy podprogramy zostały wywołane z odpowiednią liczbą i typem argumentów ?
- czy zmienne użyte do indeksowania tablic i zmienne typu okrojonego nie przekraczają zadeklarowanego zakresu ?
