allOfAny Function Description
Description
This function applies a Boolean function between the elements of two bags. The expression SHALL be “True” if and only if the supplied predicate is “True” between each element of the first bag and any element of the second bag.
| Property | Value |
|---|---|
| Category | higher order bag functions |
| # Arguments | 3 |
| Arguments | - function(2 arguments of primitive types): boolean, - 1 bag, - 1 bag |
| Return Value | boolean |
| Expressed As | pre-fix |
| Representation | ALFA short name |
| Allowed In Target | false |
| ALFA Shorthand | None |
| Commutative | false |
Example
This example implements the driver's test use case. The rule checks that a user has all the necessary qualifications in order to drive a vehicle. All of the values inside the vehicleRequirements must be inside the userQualifications bag. A user can have more qualifications though and access should still be granted so long as the user has all the requirements inside vehicleRequirements.
See Also
anyOf, AllOf, AllOfAll, AnyOfAll