diff options
| -rw-r--r-- | requirements/catalogue/req-010.md | 2 | ||||
| -rw-r--r-- | requirements/catalogue/req-039.md | 2 | ||||
| -rw-r--r-- | requirements/catalogue/req-041.md | 6 | ||||
| -rw-r--r-- | requirements/catalogue/req-042.md | 9 |
4 files changed, 18 insertions, 1 deletions
diff --git a/requirements/catalogue/req-010.md b/requirements/catalogue/req-010.md index 9dce9e8..d783a27 100644 --- a/requirements/catalogue/req-010.md +++ b/requirements/catalogue/req-010.md @@ -7,4 +7,4 @@ buckets. Source: req-009 -Satisfied by: req-011, req-012, req-015, req-016 +Satisfied by: req-011, req-012, req-015, req-016, req-041, ass-009, req-042 diff --git a/requirements/catalogue/req-039.md b/requirements/catalogue/req-039.md index 5528c83..2f583b3 100644 --- a/requirements/catalogue/req-039.md +++ b/requirements/catalogue/req-039.md @@ -6,3 +6,5 @@ money I see in my holidays bucket, so that my incomings and outgoings affect how much money is in my buckets. Source: req-009 + +Satisfied by: req-040, req-041, ass-009, req-042 diff --git a/requirements/catalogue/req-041.md b/requirements/catalogue/req-041.md new file mode 100644 index 0000000..d33fcce --- /dev/null +++ b/requirements/catalogue/req-041.md @@ -0,0 +1,6 @@ +# req-041 + +Every interface to any given bucket's balance in Schist returns the return value +of the procedure, `calculate_bucket_balance` as described in req-030. + +Source: req-010 diff --git a/requirements/catalogue/req-042.md b/requirements/catalogue/req-042.md new file mode 100644 index 0000000..430683c --- /dev/null +++ b/requirements/catalogue/req-042.md @@ -0,0 +1,9 @@ +# req-042 + +The procedure, `calculate_bucket_balance`, as described in req-030, returns the +difference between the amounts of drips into it and the amounts of transactions +out of it. + +Sources: req-010, req-039 + +See also: ass-008 |