allOfAll 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 and every element of the first bag collectively against all the elements of the second bag.

allOfAll belongs to the ALFA function reference's higher order bag functions category. It maps to the XACML function identifier urn:oasis:names:tc:xacml:1.0:function:all-of-all, takes 3 arguments and returns a value of type boolean.

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

/**
 * Returns permit if all of the values inside the attribute bag
 * age are greater than or equal to 18
 */
rule allOfAllExample{
    permit
    condition allOfAll(function[integerGreaterThan], age, minimumAge)
}

In this example, all the values of the bag age must all be greater than all the values in the bag minimumAge.

See Also

Related Functions

Other functions in the higher order bag functions category:

Browse the full ALFA function reference.