/*
	This file contains OCL expressions regarding bank::Agency.
	
	File generated by Octopus on 21 févr. 2007 11:47:52
*/


package bank


context Agency
inv: true

-- q8. Post car on ne peut coder le body, il effectue des effets de bord.
context Agency::eraseClient(p : Person)
pre: p.account->isEmpty()
post: self.client->excludes(p)

-- q9
context Agency::addClient(age : Integer, gender : Gender, income : Integer) : Person
pre: age >= 0
pre: income >= 0
post: self.client->includes(result)
post: result.age = age and result.gender = gender and result.income = income

-- q11
context Agency::richClientNumber() : Integer
body: self.account->select(a : Account | a.balance > 1000000).owner->asSet()->size()

endpackage -- bank