/*
	This file contains OCL expressions regarding bank::Bank.
	
	File generated by Octopus on 21 févr. 2007 12:02:22
*/


package bank

context Bank
inv: true

context Bank::createAgency(id : String) : Agency
pre: id <> ''
pre: self.agency.id->excludes(id)
post: self.agency->includes(result)
post: result.id = id

endpackage -- bank