Pok-12-wyk-Slajd5

Kontrola statyczna – przepływ sterowania

Kolejną czynnością wykonywaną w trakcie kontroli statycznej 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.

Definicja każdego języka określa, gdzie mogą wystąpić określone instrukcje sterujące przepływem sterowania, np. w przypadku języka C:

• instrukcja continue nie może występować poza ciałem pętli,
• instrukcja break może wystąpić w obrębie instrukcji wielokrotnego wyboru (switch ) albo w ciele pętli.

Ich wystąpienie w innych miejscach jest błędem.

<< Poprzedni slajd | Spis treści | Następny slajd >>