Einführung in OCL - Www-st.inf.tu-dresden.de
Einführung in OCL - Www-st.inf.tu-dresden.de
Einführung in OCL - Www-st.inf.tu-dresden.de
- TAGS
- st.inf.tu-dresden.de
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<<strong>st</strong>rong>OCL</<strong>st</strong>rong> zur Spezifikation von Anfangswerten<br />
(<<strong>st</strong>rong>in</<strong>st</strong>rong>it, <<strong>st</strong>rong>OCL</<strong>st</strong>rong>2)<br />
BBeispiele i i l<br />
context Meet<<strong>st</strong>rong>in</<strong>st</strong>rong>g::isConfirmed g<br />
: Boolean<br />
<<strong>st</strong>rong>in</<strong>st</strong>rong>it: false<br />
context Teammember:meet<<strong>st</strong>rong>in</<strong>st</strong>rong>gs : Set(Meet<<strong>st</strong>rong>in</<strong>st</strong>rong>gs)<br />
<<strong>st</strong>rong>in</<strong>st</strong>rong>it: Set{}<br />
• Man beachte <strong>de</strong>n Unterschied zu Invarianten und<br />
Ablei<strong>tu</strong>ngsregeln: E<<strong>st</strong>rong>in</<strong>st</strong>rong> Anfangswert muss nur zum Zeitpunkt<br />
<strong>de</strong>r Erzeugung <strong>de</strong>s Objektes gelten!<br />
Dr. Birgit Demuth SWT II, SS 2009 33
Change language