diff --git a/bsip-0040.md b/bsip-0040.md index 4d9d459..0a313d1 100644 --- a/bsip-0040.md +++ b/bsip-0040.md @@ -76,7 +76,7 @@ The `asserts` field is a list of restrictions consisting of argument to assert m An tuple of `(argument_identifier, assert_object[, logical_link])` is called a restriction on an argument. All asserts within one restriction are evaluated per default with `and` logic, `or` logic can be put by specifying the `logical_link`. The `asserts` field is specified as follows: ``` -asserts = list of (argument_identifier, [list of assert_object], logical_link) tuples +asserts = list of (argument_identifier, list of assert_object, logical_link) tuples argument_identifier = // target variable, can be argument of operation, or attribute in case of nesting assert_object = { function, // functionid to do the assert @@ -93,7 +93,7 @@ List of possible asserts are: | `lt, le, gt, ge` | `comparative` | stateless | | `limit` | [`max_cumsum`, `interval_in_sec`] | [`current_cumsum`, `interval_began`] | | `limit_monthly` | [`max_cumsum`, `interval_in_months`] | [`current_cumsum`, `interval_began`] | -| `attribute_assert` | `attribute_to_assert` = [list of restrictions] | stateless | +| `attribute_assert` | `attribute_to_assert` = list of restrictions | stateless | Following cases must hold for a restriction: - if there is no value given (e.g. an optional argument, or nested value not given), the assert passes (no change, no violation)