Pok-1-wyk-Slajd13
Z Studia Informatyczne
Analiza semantyczna – przepływ sterowania
Kolejną kontrolą wykonywaną w czasie analizy semantycznej jest kontrola przepływu sterowania.
W jej trakcie sprawdzana jest poprawność użycia instrukcji sterujących przepływem sterowania takich, jak np.:
- instrukcji skoku goto występująca m. in. w Adzie, C i Pascalu,
- instrukcji break występującej m. in. w języku C,
- instrukcji exit występującej m. in. w Adzie i Moduli-2.
Reguły poprawnego wykorzystania konkretnych instrukcji sterujących przepływem sterowania są różne w różnych językach – np. instrukcją goto w Pascalu nie można wykonać skoku do wnętrza pętli, w języku C - można.
