/*
	This file contains OCL expressions regarding bank::Person.
	
	File generated by Octopus on 21 févr. 2007 11:14:44
*/


package bank

context Person
inv: self.account->collect(bankbook)->size() <= 1
inv: self.account->collect(bankbook)->size() >= 0

context Person::major : Boolean
derive: age >= 18

context Person::totalAccount() : Integer
body: self.account.balance->sum() + self.account.bankbook.balance->sum()

-- q.6
context Person
def: totalAccount2() : Integer = self.account.balance->sum()

endpackage -- bank