Assertion: parameter's value | /r/CapableOf | update the balance of a bank account
Facets:
value: by incorporating the current transaction
type: MANNER
Source sentences:
text: Update the balance of a bank account by incorporating the current transaction // Precondition: the value of the amount is assigned // Postcondition: the value of the balance is updated UpdateBalance(float amount, float & balance) { balance = balance + amount; return; }