class
	ACCOUNT

General
	cluster: money
	description: "Summary description for {ACCOUNT}."
	create: make

Ancestors
	ANY

Queries
	allocate_by (percent: INTEGER_32): MONEY
	balance: MONEY

Commands
	deposit (m: MONEY)
	transfer (percent: INTEGER_32; a: ACCOUNT)
	withdraw (m: MONEY)

Constraints


Generated by ISE EiffelStudio