Hallo,
scheinbar sind meine java Kenntnisse zu gering.
Wie kann ich die Quelldateien kompilieren? Bei meckert mein Compiler immer wegen der verwendeten "asserts"….
auch umstellen auf 1.3 kompatibilität in eclipse bringt nix.

auch umstellen auf 1.3 kompatibilität in eclipse bringt nix.

Genau das ist ja auch falsch, assert geht erst ab 1.4. Ansonsten gilt auch fuer Dich: mehr Infos!
Was genau versuchst Du zu kompilieren? (Link zum Aufgabenzettel!)
Welche Fehlermeldung kommt _genau_?

Ihr programmiert neuerdings in den STE Übungen?

Neumodischer Schnickschnack, wir haben letztes Jahr noch alles aus Pappe gemacht!

http://swt-www.informatik.uni-hamburg.de/attachments/LVTermine/STE05_Aufgabe_5.pdf

bzw.

http://swt-www.informatik.uni-hamburg.de/attachments/LVTermine/BibliotheksSystem.zip

achso,

javac -source 1.4 moin.java

bringts..

Wo sollen wir jetzt genau die Vor- und Nachbedingungen implementieren? Also was sind alles jetzt Funktionsklassen?

Ich weiß es zwar selbst nicht, habe mich aber jetzt einfach dafür entschieden, alle Klassen im Package fachlogik durchzugehen. Keine Ahnung, ob dir das irgendwie weiterhilft ;)

Hier und da ein paar "… != null", "@ensure" und "@require" ergänzt, selten auch etwas mehr. Schließlich dürfte die Aufgabe kaum mehr als eine Fingerübung sein, die etwas an das Grundstudium erinnern soll.