Persistenzfehler behoben und Testfall dafür erstellt.

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

.gitignore

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

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-16"/>
-	<classpathentry kind="src" path="src"/>
-	<classpathentry exported="true" kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/5"/>
-	<classpathentry kind="output" path="bin"/>
-</classpath>
+<?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.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/Bank.java

@@ -7,20 +7,20 @@ import java.util.HashMap;
 public class Bank implements Serializable {
 	private String name;
 	private HashMap<Integer, Konto> konten = new HashMap<>();
-	private int kontozähler;
+	private int kontozähler;
 	
 	public Bank(String name) {
 		this.name = name;
-		this.kontozähler = -1;
+		this.kontozähler = -1;
 	}
 	
 	public int addKonto(String name, int auswahl) {
 		Konto k;
 
 		if (auswahl == 1) 
-			k = new Konto(name, ++kontozähler);
+			k = new Konto(name, ++kontozähler);
 		else 
-			k = new Girokonto(name, ++kontozähler);
+			k = new Girokonto(name, ++kontozähler);
 		
 		konten.put(k.getKontonummer(), k);
 		

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

@@ -3,18 +3,16 @@ 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 Girokonto(String inhaber, int kontozähler) {
+		super(inhaber, kontozähler);
 	}
-	private long dispoKredit = -50000;
 	
-	
-	public boolean Überweise(Girokonto ziel, long betrag, String zweck) {
-		if (super.getKontostand() - betrag >= -50000) {
-			this.auszahlen(betrag, zweck, "Überweisungsausgang", super.getInhaber());
-			ziel.einzahlen(betrag, zweck, "Überweisungseingang", super.getInhaber());
+	public boolean überweise(Girokonto ziel, long betrag, String zweck) {
+		if (super.getKontostand() - betrag >= dispo * (-1)) {
+			this.auszahlen(betrag, zweck, "Überweisungsausgang", super.getInhaber());
+			ziel.einzahlen(betrag, zweck, "Überweisungseingang", super.getInhaber());
 			
 			return true;
 		}
@@ -22,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;
@@ -52,18 +52,6 @@ public class Konto implements Serializable {
 		return false;
 	}
 
-	public boolean giroAuszahlen(long betrag, String zweck, String art, String auftraggeber) {
-		if (stand - betrag >= -50000) {
-			stand -= betrag;
-
-			kontobewegungen.add(new Kontobewegung(betrag * -1, zweck, art, auftraggeber));
-
-			return true;
-		}
-
-		return false;
-	}
-	
 	public String[] getKontobewegungen() {
 		String[] auflistung = new String[kontobewegungen.size()];
 
@@ -75,8 +63,14 @@ public class Konto implements Serializable {
 		return auflistung;
 	}
 
-	public long berechneSaldo(long betrag) {
-		long neuerStand = stand + betrag;
-		return neuerStand;
+	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,11 +15,17 @@ class KontoTest {
 	}
 	
 	@Test
-	void testKontoEinUndAuszahlung() {
-		Konto k = new Konto("Müller", 0);
+	void testKontoEinUndAuszahlungUndSaldo() {
+		Konto k = new Konto("Müller", 0);
 		Konto k2 = new Konto("Mayer", 1);
-		Konto k3 = new Konto("Sappel", 0);
+		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());
 		
@@ -29,15 +35,26 @@ class KontoTest {
 		assertTrue(k2.auszahlen(50, "Test", "Auszahlung", "JUnit"));
 		assertEquals(50, k2.getKontostand());
 
-		k3.einzahlen(400, "Test", "Auszahlung", "JUnit");
-		assertEquals(400, k3.getKontostand());
+		assertTrue(k2.auszahlen(50, "Test", "Auszahlung", "JUnit"));
+		assertEquals(0, k2.getKontostand());
 		
-		assertTrue(k3.auszahlen(500,  "Test", "Test", "JUnit"));
-		assertEquals(-100, k3.getKontostand());
+		k2.einzahlen(100, "Test", "Einzahlung", "JUnit");
+		k2.einzahlen(100, "Test", "Einzahlung", "JUnit");
+		k2.einzahlen(1, "Test", "Einzahlung", "JUnit");
 		
-		assertFalse(k3.auszahlen(500, "Test", "Test", "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

@@ -18,6 +18,10 @@ public class Kontobewegung implements Serializable {
 		
 		this.datum = new Date();
 	}
+	
+	public long getBetrag() {
+		return betrag;
+	}
 
 	@Override
 	public String toString() {
@@ -25,5 +29,4 @@ public class Kontobewegung implements Serializable {
 				+ ", auftraggeber=" + auftraggeber + "]";
 	}
 	
-	
 }

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

@@ -53,13 +53,12 @@ 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());
-		if (konto instanceof Girokonto) {
-			return konto.giroAuszahlen(betrag, "Auszahlung am Schalter", "Auszahlung", konto.getInhaber());
-		}
-		else
-			return konto.auszahlen(betrag, "Auszahlung am Schalter", "Auszahlung", konto.getInhaber());
-	}	
+		
+		return erg;
+	}
 
 	public String[] erstelleKontoauszug(int kontonummer) {
 		Konto konto = bank.findeKonto(kontonummer);
@@ -67,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;
@@ -84,10 +86,10 @@ public class Banksystem {
 		return konto.getKontostand();
 	}
 
-	public long saldo(int kontonummer, double betrag) {
-		
+	public long saldoBestimmen(int kontonummer, int anzahl) {
 		Konto konto = bank.findeKonto(kontonummer);
-		long saldo = konto.berechneSaldo(betrag);
-		return saldo;
+		
+		return konto.berechneSaldo(anzahl);
 	}
+
 }

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

@@ -1,59 +1,70 @@
 package de.hs_mannheim.informatik.bank.facade;
 
 import static org.junit.jupiter.api.Assertions.assertEquals;
-import static org.junit.jupiter.api.Assertions.assertFalse;
-import static org.junit.jupiter.api.Assertions.assertNotEquals;
 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;
 
-import de.hs_mannheim.informatik.bank.domain.Konto;
-
+@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
-	void EinAuszahlen () {
+	@Order(2)
+	void einzahlenTest() throws Exception {
+		int knr = bs.kontoAnlegen("Test1", 1);
 		
-		Konto k = new Konto("Paulus", 0);
-		Konto k2 = new Konto("Mayer", 1);
+		assertEquals(1000, bs.geldEinzahlen(knr, 1000));
 		
-		assertEquals("Mayer", k2.getInhaber());
-		assertNotEquals(k.getKontonummer(), k2.getKontonummer());
+		bs.geldEinzahlen(knr, 1);
+		assertEquals(1001, bs.getKontostand(knr));
 		
-		k2.einzahlen(100, "Test", "Einzahlung", "JUnit");
-		assertEquals(100, k2.getKontostand());
-		
-		assertTrue(k2.auszahlen(50, "Test", "Auszahlung", "JUnit"));
-		assertEquals(50, k2.getKontostand());
-
-		assertFalse(k2.auszahlen(500, "Test", "Auszahlung", "JUnit"));
-		assertEquals(50, k2.getKontostand());
-		
-		k.einzahlen(400, "Test", "Einzahlung", "JUnit");
-		assertEquals(400, k.getKontostand());
-		
-		assertTrue(k.auszahlen(800, "Test", "Auszahlung", "JUnit"));
-		assertEquals(-100, k.getKontostand());
+		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);
 		
-		Banksystem bs = new Banksystem ("Testdatei");
+		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/infrastructure/Persistenz.java

@@ -11,7 +11,6 @@ public class Persistenz {
 	
 	public static boolean sindDatenGespeichert(String name) {
 		return new File(name + BANK_DATEI).exists();
-		
 	}
 
 	public static void speichereBankDaten(Object bank, String name) throws Exception {

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

@@ -10,10 +10,10 @@ public class UI {
 
 	public UI(Banksystem bs) {
 		this.bs = bs;
-		hauptmenü();
+		hauptmenü();
 	}
 
-	private void hauptmenü() {
+	private void hauptmenü() {
 		System.out.println("Willkommen bei der " + bs.getBankname() + "!");
 
 		mainloop: 
@@ -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();
@@ -38,11 +39,14 @@ public class UI {
 				try {
 					switch(input) {
 					case 1: kontenAnzeigen(); break;
-					case 2: kontoAnlegen(); break;
+					case 2: 
+						kontoAnlegen();
+						break;
 					case 3: geldEinzahlen(); break;
 					case 4: geldAuszahlen(); break;
 					case 5: kontoauszugDrucken(); break;
-					case 6: ÜberweisungBeauftragen(); break;
+					case 6: überweisungBeauftragen(); break;
+					case 7: saldoAbfragen(); break;
 					case 9: break mainloop;
 					}
 
@@ -92,10 +96,6 @@ public class UI {
 		long neuerKontostand = bs.geldEinzahlen(kontonummer, (long)betrag * 100);
 
 		System.out.printf("Einzahlung erfolgreich, neuer Kontostand = %.2f Euro", (neuerKontostand / 100.0));
-		
-		if(bs.saldo()%6 == 0) {
-			System.out.println("Der Kontostand nach 6 Kontobewegungen beträgt: " + neuerKontostand);
-		}
 	}
 
 	private void geldAuszahlen() throws Exception {
@@ -105,22 +105,17 @@ public class UI {
 
 		System.out.print("Bitte den gewünschten Betrag eingeben: ");
 		double betrag = Double.parseDouble(sc.nextLine());
+
 		boolean erfolgreich = bs.geldAuszahlen(kontonummer, (long)betrag * 100);
 
 		System.out.printf("Auszahlung" + ((!erfolgreich)? " nicht" : "" )+ " erfolgreich. ");
-		System.out.printf("Neuer Kontostand = %.2f Euro.", (bs.getKontostand(kontonummer) / 100.0));
-		
-		if(bs.saldo()%6 == 0) {
-			System.out.println("Der Kontostand nach 6 Kontobewegungen beträgt: " + bs.getKontostand(kontonummer));
-		}
+		System.out.printf("Neuer Kontostand = %.2f Euro.", (bs.getKontostand(kontonummer) / 100.0));	
 	}
 
 	private void kontoauszugDrucken() {
 		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);
@@ -133,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,13 +141,20 @@ public class UI {
 		System.out.print("Bitte den Verwendungszweck eingeben: ");
 		String verwendungszweck = sc.nextLine();
 
-		boolean erfolgreich = bs.ÜberweisungBeauftragen(startkonto, zielkonto, (long)(betrag * 100), verwendungszweck);
+		boolean erfolgreich = bs.überweisungBeauftragen(startkonto, zielkonto, (long)(betrag * 100), verwendungszweck);
 
 		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());
 		
-		if(bs.saldo(startkonto,betrag)%6 == 0) {
-			System.out.println("Der Kontostand nach 6 Kontobewegungen beträgt: " + bs.getKontostand(startkonto));
-		}
+		long saldo = bs.saldoBestimmen(konto, anzahl);
+		System.out.printf("Der Saldo nach %d Kontobewegungen beträgt %.2f Euro.%n", anzahl, (saldo/100d));
 	}
 
 }