BB6 - An Example that pays a list of Bills

Implements the system operation

bank: bnk payBills: billCollection.

(The bank argument is redundant; all bills are paid by transferring money between accounts in the same bank. Needs cleaning up.)

The example illustrates that a RoleMethod calls another Context as a subroutine.
(BillPayer::payBills calls the BankTransfer context to pay one bill at the time).

The code can be read and run in BabyIDE. Informally, the code can be read at

BB6PayBills:
reader-friendly version
printer-friendly version

There is a toggle for choosing between the versions at the top of the documents.