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