page
15
Object Constraint Language
provides
requires
person
Context person: inv: self.age() > 0
Pre: birthDate < Date.Today()
Age()
Post:: result = Date.Today() – birthDate
age():int
birthDate:Date
