Skip to content
Snippets Groups Projects
Commit f8952291 authored by Iina Siekkinen's avatar Iina Siekkinen
Browse files

lisätty rutiini

parent 63fcc49c
No related branches found
No related tags found
No related merge requests found
......@@ -44,13 +44,23 @@ public class VuosiKurssi {
this.opiskelijat.add(opiskelija);
}
/* Tämä rutiini lisää opiskelijan turvallisesti.
* @.pre true
* @.post Luokkainvariantti säilyy.
/* Alkuehto:
* - True
* Loppuehto:
* - Luokkainvariantti säilyy.
*/
public void lisaaUusiOpiskelijaTurvallisesti(String etunimi, String sukunimi, String opiskelijaNumero, int syntymavuosi) {
public void lisaaOpiskelijaTurvallisesti(String etunimi, String sukunimi, String opiskelijaNumero, int syntymavuosi) {
// Ensimmäinen vaihe: yritetään luoda uusi opiskelija
Opiskelija uusiOpiskelija;
try {
uusiOpiskelija = new Opiskelija(etunimi, sukunimi, opiskelijaNumero, syntymavuosi);
} catch (IllegalArgumentException e) {
System.out.println("Opiskelijan luominen epäonnistui: " + e.getMessage());
return; // Lopetetaan metodi, jos opiskelijan luominen epäonnistui
}
// Toinen vaihe: yritetään lisätä opiskelija vuosikurssille
try {
Opiskelija uusiOpiskelija = new Opiskelija(etunimi, sukunimi, opiskelijaNumero, syntymavuosi);
lisaaOpiskelija(uusiOpiskelija);
} catch (IllegalArgumentException e) {
System.out.println("Opiskelijan lisääminen epäonnistui: " + e.getMessage());
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment