Io-5-wyk-Slajd24
Warunki wstępne i końcowe
Operację można także opisywać przez dwa rodzaje warunków: wstępne (ang. preconditions ) i końcowe (ang. postconditions ). Opisują one wymagany i oczekiwany stan fragmentu systemu wymagany odpowiednio przed i po wykonaniu operacji. Pozwala to na precyzyjniejsze opisane zadania realizowanego przez metodę, jej wymagań i efektów jej wykonania. Projektant ma możliwość wyrażenia poprzez nie, jakie warunki muszą być spełnione w celu poprawnego wykonania zadania przez operację.
W tym przykładzie warunkiem wstępnym poprawnego wykonania operacji wyszukaj () jest przekazanie niepustego parametru reprezentującego tytuł wydawnictwa, a warunkiem końcowym – zwrócenie wartości różnej od null będącej tablicą typu Wydawnictwo. Operacja wyszukaj () nie gwarantuje określonego rozmiaru zwracanej tablicy.
