Harjoitus 2
Toisissa harjoituksissa muodostetaan jonon geneerinen spesifikaatio ja suoritetaan sen avulla yksikkötestaus.
Tehtävä 1
Muodosta geneeriselle jonolle algebrallinen spesifikaatio
operaatioilla
Create, Empty, Front, Back, Push, Pop.
(HUOM: Push lisää loppuun ja Pop poistaa alusta)
Eli täydennä rakennetta
Tehtävä 2
Yksikkötestaa std::queue-luokka kokonaislukutyypin
int ja tehtävän 1 aksioomien avulla.
That's all Folks!