PPT-Folie
Allerdings darf eine abstrakte Klasse durchaus nicht-abstrakte Methoden enthalten.
Wir erinnern uns hier an die Typklasse Eq von Gofer.
- Dort war für die Gleicheitsprüfung nur der Typ angegeben, aber keine definierende Gleichung. Dies entspricht einer abstrakten Methode in Java.
- Dagegen war die Ungleichheitsprüfung ein für alle Mal durch eine definierende Gleichung auf die Gleichheitsprüfung zurückgeführt (mit der Möglichkeit zur Redefinition in Unterklassen von Eq ). Dies entspricht einer nicht-abstrakten Methode in Java.