Download Masterarbeit Timo Meinen - Meinen, Timo

5.1. EVALUATION DER FALLBEISPIELE
Die Accessor-Methoden sind mit @Friendship annotiert und ihre Aufrufe werden
damit durch das Framework kontrolliert. Alle Spezialisierungen der Klasse Visitor
haben durch die Option friendClasses = Visitor.class und inheritanceAccess
= true Zugriff. Auf die Methode getSaldo(...) kann durch ihren
Eintrag in friendClasses auch die Klasse BankKunde zugreifen, beispielsweise um
im OnlineBanking den Kontostand anzeigen zu können.
Durch diese Konfiguration hat der FeeVisitor aus Listing 5.2 die Möglichkeit
die Kontoführungsgebühr vom Konto abzubuchen (über die Methode setSaldo(...)).
Es wird keine etwaige Dispo-Überprüfung durchgeführt, stattdessen
kann der Visitor direkt die Attribute ändern.
Listing 5.2: Der FeeVisitor erhebt Kontoführungs-Gebühren
1 public class FeeVisitor implements Visitor {
2 public void visit(BankKonto b) {
3 b.setSaldo(b.getSaldo() − 5);
4 }
5 }
Im Gegensatz zu den Besuchern, die allesamt von Visitor erben, erhält der Bankautomat
aus der Klasse Cashpoint in Listing 5.3 keinen Zugriff. Das Framework
fängt den Zugriff auf die Methode setSaldo(...) ab und da keine Ausnahme
definiert ist, die dem Bankautomaten Zugriff gewähren würde, quittiert das Framework
den Aufruf mit einer FriendshipAccessException. Dies führt dann zu
einem Programmabbruch.
Listing 5.3: Der Bankautomat hat keinen Zugriff auf die Accessor-Methoden
1 public class Cashpoint {
2
3 public void notCorrect(BankKonto konto, int betrag) {
4 // Aufruf wird verweigert
5 konto.setSaldo(konto.getSaldo() − betrag);
6 }
7
8 public void correct(BankKonto konto, int betrag) {
9 // Richtiger Aufruf: Die Geschäftsmethode wird verwendet
10 if (!konto.hebeAb(betrag))
11 System.out.println(”Es wird kein Dispo gewährt!”);
12 }
13 }
97