Assertion: parameter's value | /r/HasProperty | assigned postcondition
Facets:
Source sentences:
text: A function that updates (input and output) the balance of a bank account by incorporating the current transaction amount, is declared as: // Purpose: 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 void UpdateBalance(float amount, float& balance); or // Purpose: 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 void UpdateBalance(float, float&);
text: A function that updates (input and output) the balance of a bank account by incorporating the current transaction amount, is declared as: // Purpose: 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 void UpdateBalance(float amount, float& balance); or // Purpose: 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 void UpdateBalance(float, float&);
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; }