/*
	This file contains OCL expressions regarding bank::Account.
	
	File generated by Octopus on 21 févr. 2007 11:05:49
*/


package bank


context Account
inv: true

context Account::retail(amount: Integer)
pre: amount > 0
pre: self.balance >= amount
post: balance = balance@pre - amount


endpackage -- bank