OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Postcondition - <strong>Example</strong>s<br />
context Meeting::duration():Integer<br />
post: result = self.end – self.start<br />
-- keyword result refers to the result of the operation<br />
context Meeting::confirm()<br />
post: self.isConfirmed = true<br />
Dr. Birgit Demuth MINE Summer School, Nida, 2009 18