Pok-1-wyk-Slajd14
Z Studia Informatyczne
Kontrola statyczna – unikalność deklaracji
W trakcie kontroli poprawności deklaracji obiektów w programie źródłowym (o ile język takich deklaracji wymaga) sprawdzamy, czy każdy obiekt został poprawnie zadeklarowany przed pierwszym użyciem. Większość uniwersalnych języków programowania takich jak C, Pascal czy Ada wymaga zadeklarowania obiektów przed ich pierwszym użyciem. Języki przeznaczone do pisania krótkich, prostych programów, takie jak np. BASIC i AWK nie pozwalają na deklarowanie obiektów. Mieszane podejście, w którym nie zadeklarowane zmienne mają pewne typy domyślne stosowane jest np. w języku Fortran.
