Einführung in OCL - Www-st.inf.tu-dresden.de

st.inf.tu.dresden.de

Einführung in OCL - Www-st.inf.tu-dresden.de

Zusicherungen (defensive Programmierung)

• Vorbed<strong>instrong>gung:

– muss die Kundenklasse e<strong>instrong>halten

• Nachbed<strong>instrong>gung:

– garantiert die Anbieterklasse

• Klassen<strong>instrong>variante:

– muss von allen Methoden der Anbieterklasse

e<strong>instrong>gehalten werden (vor und nach jeder

Methodenausführung) g

– gilt während der gesamten Lebensdauer der

Objekte der Klasse

Dr. Birgit Demuth SWT II, SS 2009 6

Weitere Magazine dieses Users
Ähnliche Magazine