Persistenzfehler behoben und Testfall dafür erstellt.

(mit einigen weiteren Tests, aber ohne Gewähr!)

.gitignore

@@ -0,0 +1 @@
+/.DS_Store

.project

@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>Banking</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-	</buildSpec>
-	<natures>
-	</natures>
-</projectDescription>

Bank-Beispiel/.classpath

@@ -1,7 +1,11 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17">
+		<attributes>
+			<attribute name="module" value="true"/>
+		</attributes>
+	</classpathentry>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/5"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>

Bank-Beispiel/.gitignore

@@ -179,5 +179,5 @@ replay_pid*
 # Built Visual Studio Code Extensions
 *.vsix
 
-/bank.ser
-/zähler.ser
+*.ser
+/.DS_Store

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/domain/Girokonto.java

@@ -3,13 +3,14 @@ package de.hs_mannheim.informatik.bank.domain;
 import java.io.Serializable;
 
 public class Girokonto extends Konto implements Serializable {
+	private long dispo = 100000;
 
 	public Girokonto(String inhaber, int kontozähler) {
 		super(inhaber, kontozähler);
 	}
 	
 	public boolean überweise(Girokonto ziel, long betrag, String zweck) {
-		if (super.getKontostand() - betrag >= 0) {
+		if (super.getKontostand() - betrag >= dispo * (-1)) {
 			this.auszahlen(betrag, zweck, "Überweisungsausgang", super.getInhaber());
 			ziel.einzahlen(betrag, zweck, "Überweisungseingang", super.getInhaber());
 			
@@ -19,6 +20,19 @@ public class Girokonto extends Konto implements Serializable {
 		return false;
 	}
 	
+	@Override
+	public boolean auszahlen(long betrag, String zweck, String art, String auftraggeber) {
+		if (stand - betrag >= dispo * (-1)) {
+			stand -= betrag;
+
+			kontobewegungen.add(new Kontobewegung(betrag * -1, zweck, art, auftraggeber));
+
+			return true;
+		}
+
+		return false;
+	}
+	
 	@Override
 	public String toString() {
 		return "Giro-" + super.toString();

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/domain/GirokontoTest.java

@@ -0,0 +1,27 @@
+package de.hs_mannheim.informatik.bank.domain;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+import static org.junit.jupiter.api.Assertions.assertFalse;
+import static org.junit.jupiter.api.Assertions.assertTrue;
+
+import org.junit.jupiter.api.Test;
+
+class GirokontoTest {
+
+	@Test
+	void testÜberziehung() {
+		Konto k = new Girokonto("Müller", 0);
+		k.einzahlen(10000, "Test", "Einzahlung", "JUnit");
+		
+		assertTrue(k.auszahlen(20000, "Test", "Einzahlung", "JUnit"));
+		assertEquals(-10000, k.getKontostand());
+		
+		assertTrue(k.auszahlen(40000, "Test", "Einzahlung", "JUnit"));
+		assertTrue(k.auszahlen(50000, "Test", "Einzahlung", "JUnit"));
+		assertEquals(-100000, k.getKontostand());
+		
+		assertFalse(k.auszahlen(40000, "Test", "Einzahlung", "JUnit"));
+		assertFalse(k.auszahlen(1, "Test", "Einzahlung", "JUnit"));
+	}
+
+}

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/domain/Konto.java

@@ -5,10 +5,10 @@ import java.util.ArrayList;
 
 public class Konto implements Serializable {
 	private int nummer;
-	private long stand = 0;
+	protected long stand = 0;
 	private String inhaber;
 
-	private ArrayList<Kontobewegung> kontobewegungen;
+	protected ArrayList<Kontobewegung> kontobewegungen;
 
 	public Konto(String inhaber, int kontozähler) {
 		nummer = 1000 + kontozähler;
@@ -63,4 +63,14 @@ public class Konto implements Serializable {
 		return auflistung;
 	}
 
+	public long berechneSaldo(int anzahl) {
+		long saldo = 0;
+		
+		for (int i = 0; i < anzahl; i++) {
+			saldo += kontobewegungen.get(i).getBetrag() ;
+		}
+		
+		return saldo;
+	}
+
 }

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/domain/KontoTest.java

@@ -15,10 +15,17 @@ class KontoTest {
 	}
 	
 	@Test
-	void testKontoEinUndAuszahlung() {
+	void testKontoEinUndAuszahlungUndSaldo() {
 		Konto k = new Konto("Müller", 0);
 		Konto k2 = new Konto("Mayer", 1);
+		testKontoEinUndAuszahlungUndSaldo(k, k2);
 		
+		k = new Girokonto("Müller", 0);
+		k2 = new Girokonto("Mayer", 1);
+		testKontoEinUndAuszahlungUndSaldo(k, k2);
+	}
+	
+	private void testKontoEinUndAuszahlungUndSaldo(Konto k, Konto k2) {
 		assertEquals("Mayer", k2.getInhaber());
 		assertNotEquals(k.getKontonummer(), k2.getKontonummer());
 		
@@ -28,8 +35,26 @@ class KontoTest {
 		assertTrue(k2.auszahlen(50, "Test", "Auszahlung", "JUnit"));
 		assertEquals(50, k2.getKontostand());
 
-		assertFalse(k2.auszahlen(500, "Test", "Auszahlung", "JUnit"));
-		assertEquals(50, k2.getKontostand());
+		assertTrue(k2.auszahlen(50, "Test", "Auszahlung", "JUnit"));
+		assertEquals(0, k2.getKontostand());
+		
+		k2.einzahlen(100, "Test", "Einzahlung", "JUnit");
+		k2.einzahlen(100, "Test", "Einzahlung", "JUnit");
+		k2.einzahlen(1, "Test", "Einzahlung", "JUnit");
+		
+		assertEquals(100, k2.berechneSaldo(1));
+		assertEquals(100, k2.berechneSaldo(4));
+		assertEquals(k2.getKontostand(), k2.berechneSaldo(6));
+	}
+	
+	@Test
+	void testKeineÜberziehungFürSparkonten() {
+		Konto k = new Konto("Müller", 0);
+		k.einzahlen(100, "Test", "Einzahlung", "JUnit");
+		assertFalse(k.auszahlen(500, "Test", "Auszahlung", "JUnit"));
+		
+		k.auszahlen(50, "Test", "Auszahlung", "JUnit");
+		assertFalse(k.auszahlen(100, "Test", "Auszahlung", "JUnit"));
 	}
 
 }

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/domain/Kontobewegung.java

@@ -19,6 +19,10 @@ public class Kontobewegung implements Serializable {
 		this.datum = new Date();
 	}
 	
+	public long getBetrag() {
+		return betrag;
+	}
+
 	@Override
 	public String toString() {
 		return "Kontobewegung [betrag=" + betrag + ", datum=" + datum + ", betreff=" + betreff + ", art=" + art

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/facade/Banksystem.java

@@ -53,9 +53,11 @@ public class Banksystem {
 	public boolean geldAuszahlen(int kontonummer, long betrag) throws Exception {
 		Konto konto = bank.findeKonto(kontonummer);
 		
+		boolean erg = konto.auszahlen(betrag, "Auszahlung am Schalter", "Auszahlung", konto.getInhaber());
+		 
 		Persistenz.speichereBankDaten(this.bank, bank.getName());
 		
-		return konto.auszahlen(betrag, "Auszahlung am Schalter", "Auszahlung", konto.getInhaber());
+		return erg;
 	}
 
 	public String[] erstelleKontoauszug(int kontonummer) {
@@ -64,12 +66,15 @@ public class Banksystem {
 		return konto.getKontobewegungen();
 	}
 
-	public boolean überweisungBeauftragen(int startkonto, int zielkonto, long betrag, String verwendungszweck) {
+	public boolean überweisungBeauftragen(int startkonto, int zielkonto, long betrag, String verwendungszweck) throws Exception {
 		Konto start = bank.findeKonto(startkonto);
 		Konto ziel = bank.findeKonto(zielkonto);
 
 		if (start instanceof Girokonto && ziel instanceof Girokonto) {
-			return ((Girokonto)start).überweise((Girokonto)ziel, betrag, verwendungszweck);
+			boolean erfolg = ((Girokonto)start).überweise((Girokonto)ziel, betrag, verwendungszweck);
+			Persistenz.speichereBankDaten(this.bank, bank.getName());
+			
+			return erfolg;
 		}
 
 		return false;
@@ -81,4 +86,10 @@ public class Banksystem {
 		return konto.getKontostand();
 	}
 
+	public long saldoBestimmen(int kontonummer, int anzahl) {
+		Konto konto = bank.findeKonto(kontonummer);
+		
+		return konto.berechneSaldo(anzahl);
+	}
+
 }

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/facade/SystemTest.java

@@ -2,18 +2,69 @@ package de.hs_mannheim.informatik.bank.facade;
 
 import static org.junit.jupiter.api.Assertions.assertEquals;
 import static org.junit.jupiter.api.Assertions.assertNotNull;
+import static org.junit.jupiter.api.Assertions.assertTrue;
 
+import java.io.File;
+
+import org.junit.jupiter.api.AfterAll;
+import org.junit.jupiter.api.BeforeAll;
+import org.junit.jupiter.api.MethodOrderer.OrderAnnotation;
+import org.junit.jupiter.api.Order;
 import org.junit.jupiter.api.Test;
+import org.junit.jupiter.api.TestMethodOrder;
 
+@TestMethodOrder(OrderAnnotation.class)
 class SystemTest {
+	private static Banksystem bs;
+	
+	@BeforeAll
+	static void initBanksystem() throws Exception  {
+		bs = new Banksystem("Testsystem");
+	}
 
 	@Test
-	void smokeTest() throws Exception {
-		Banksystem bs = new Banksystem("Testsystem");
-		
+	@Order(1)
+	void smokeTest() {
 		assertNotNull(bs);
 		assertEquals(0, bs.getKontenliste().length);
 		assertEquals("Testsystem", bs.getBankname());
 	}
 	
+	@Test
+	@Order(2)
+	void einzahlenTest() throws Exception {
+		int knr = bs.kontoAnlegen("Test1", 1);
+		
+		assertEquals(1000, bs.geldEinzahlen(knr, 1000));
+		
+		bs.geldEinzahlen(knr, 1);
+		assertEquals(1001, bs.getKontostand(knr));
+		
+		assertEquals(1001, bs.geldEinzahlen(knr, 0));
+	}
+	
+	@Test
+	@Order(3)
+	void persistenzTest() throws Exception {
+		int knr = bs.kontoAnlegen("Test2", 2);
+		int knr2 = bs.kontoAnlegen("Test3", 2);
+		
+		bs.geldEinzahlen(knr, 1000);
+		bs.geldAuszahlen(knr, 500);
+		assertTrue(bs.überweisungBeauftragen(knr, knr2, 100, "Überweisungstest."));
+		
+		assertEquals(400, bs.getKontostand(knr));
+		
+		bs = null;
+		
+		Banksystem bs2 = new Banksystem("Testsystem");
+		assertEquals(400, bs2.getKontostand(knr));
+	}
+	
+	@AfterAll
+	static void cleanup() {
+		File file = new File("/Users/oliver/git/Bank-System/Bank-Beispiel/Testsystem-bank-data.ser");
+		file.delete();
+	}
+
 }

Bank-Beispiel/src/de/hs_mannheim/informatik/bank/ui/UI.java

@@ -27,6 +27,7 @@ public class UI {
 				System.out.println("4 -> Geld auszahlen");
 				System.out.println("5 -> Kontoauszug drucken");
 				System.out.println("6 -> Überweisung beauftragen");
+				System.out.println("7 -> Saldo abfragen");
 
 				System.out.println("9 -> Beenden");
 				System.out.println();
@@ -45,6 +46,7 @@ public class UI {
 					case 4: geldAuszahlen(); break;
 					case 5: kontoauszugDrucken(); break;
 					case 6: überweisungBeauftragen(); break;
+					case 7: saldoAbfragen(); break;
 					case 9: break mainloop;
 					}
 
@@ -114,8 +116,6 @@ public class UI {
 		System.out.print("Bitte die gewünschte Kontonummer für den Auszug eingeben: ");
 		int kontonummer = Integer.parseInt(sc.nextLine());
 
-		System.out.println();
-
 		// in echt auf einem Drucker
 		System.out.println("Auszug für Konto " + kontonummer);
 		String[] kontobewegungen = bs.erstelleKontoauszug(kontonummer);
@@ -128,7 +128,7 @@ public class UI {
 			System.out.println("Noch keine Kontobewegungen.");
 	}
 
-	private void überweisungBeauftragen() {
+	private void überweisungBeauftragen() throws Exception {
 		System.out.print("Bitte die Kontonummer des Ausgangskontos der Überweisung eingeben: ");
 		int startkonto = Integer.parseInt(sc.nextLine());
 
@@ -146,4 +146,15 @@ public class UI {
 		System.out.println("Überweisung" + ( (!erfolgreich) ? " nicht" : "") + " erfolgreich ausgeführt.");
 	}
 	
+	private void saldoAbfragen() {
+		System.out.print("Bitte die Kontonummer des gewünschten Kontos eingeben: ");
+		int konto = Integer.parseInt(sc.nextLine());
+
+		System.out.print("Bitte die Anzahl der Kontobewegungen für den Saldo eingeben: ");
+		int anzahl = Integer.parseInt(sc.nextLine());
+		
+		long saldo = bs.saldoBestimmen(konto, anzahl);
+		System.out.printf("Der Saldo nach %d Kontobewegungen beträgt %.2f Euro.%n", anzahl, (saldo/100d));
+	}
+
 }