ThreeCustomerBankSys: obj
%visible StringLib
Account:
balance: var float
interestRate: var float
addInterest:
deposit:
out nb: var float
withdraw: -- -> real:
out nb: var float
Account_1010: obj Account
Account_1022: obj Account
Account_1025: obj Account
selectAccount:
out A: ref Account
accountNo: var float
command: ref String
amount: var float
newBalance: var float
A: ref Account