Pok-1-wyk-Slajd16
Z Studia Informatyczne
Kontrola statyczna – przykład
Na przykładzie przedstawionego programu w Adzie można zademonstrować jakie kontrole trzeba wykonać przy sprawdzaniu powtarzania nazw.
W przykładzie mamy procedurę o nazwie Sortuj – nazwa procedury występuje w dwóch miejscach: po słowie kluczowym procedure i po słowie kluczowym end . Należy sprawdzić, czy powtórzenie nazwy Sortuj po słowie kluczowym end rzeczywiście zakańcza ciało procedury.
W ciele pętli znajduje się blok instrukcji o nazwie swap , ta sama etykieta musi znajdować się na początku bloku instrukcji i po słowie kluczowym end zamykającym ten blok instrukcji.
