diff options
Diffstat (limited to 'requirements/catalogue/req-030.md')
| -rw-r--r-- | requirements/catalogue/req-030.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/requirements/catalogue/req-030.md b/requirements/catalogue/req-030.md index 2cb1bdd..e09a281 100644 --- a/requirements/catalogue/req-030.md +++ b/requirements/catalogue/req-030.md @@ -15,10 +15,12 @@ Inputs: 5. Let `is_up_to_date` be the result of the procedure, `is_bucket_balance_up_to_date(bucket)`, as described in req-035. 6. If `is_up_to_date = TRUE`, then return `bucket.balance`. -7. Let `transaction_sum` be the sum over the property, `amount`, of all +7. Carry out the procedure, `update_bucket_drips(bucket)`, as described in + req-037. +8. Let `transaction_sum` be the sum over the property, `amount`, of all transactions `t` such that `t.bucket_id = bucket.id`. -8. Let `drip_sum` be the sum over the property, `amount`, of all drips `d` such +9. Let `drip_sum` be the sum over the property, `amount`, of all drips `d` such that `d.bucket_id = bucket.id`. -9. Return `drip_sum - transaction_sum`. +10. Return `drip_sum - transaction_sum`. Source: req-029 |