Io-7-wyk-Slajd32

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(4)

Specyfikacje aksjomatyczne(4)


Skoro możemy dodawać nowych abonentów, to powinniśmy także móc usuwać abonentów. W tym celu wprowadzimy operację Delete (po angielsku „usuń”).

Parametrami wejściowymi dla tej operacji są:

  • nazwisko usuwanego abonenta N oraz
  • książka telefoniczna D, z której chcemy usunąć informacje o tym abonencie.

W rezultacie dostajemy książkę telefoniczną, z której informacja o danym abonencie została usunięta.


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