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