Java: Vor- und Nachbedingungen
2003-06-28 15:44
Farcon
Klärt mich mal auf, P2 hat mich verwirrt. In den Projekten wurde als Vorlage immer @require und @ensure in den Kommentaren als Vor- und Nachbedinung angeben, implementiert aber mit der "assert" Anweisung. @require und @ensure werden aber beim generieren der JavaDoc einfach ignoriert; sind das einfach erfundene Wörter ?
Dann hab ich in Programming With Assertions folgendes gefunden:
Dann hab ich in Programming With Assertions folgendes gefunden:
Do not use assertions to check the parameters of a public method.Das ist aber genau das, was wir die ganze Zeit machen. Durch ein wenig Suchen bin ich dann auf die Klasse SE gekommen, die die Methoden "require" und "ensure" bereitstellt, sowie wir sie eigentlich nutzen sollten. Was ist denn nun "richtig" oder aktuell ?