Check if any of the subject's permissions equals the supplied pattern value.
Check if any of the subject's permissions equals the supplied pattern value.
an option for the subject
an option for the equality pattern
true iff the subject has permissions and at least one equals the pattern value
Check if any of the subject's permissions match the supplied regular expression.
Check if any of the subject's permissions match the supplied regular expression.
an option for the subject
an option for the regular expression
true iff the subject has permissions and at least one matches the regular expression
Convert the subject's roles to a list of role names.
Convert the subject's roles to a list of role names.
an option for the subject
None if the subject is None or the subject has no roles, otherwise Some list of strings in the same order as the roles
Check if the subject has several roles using AND.
Check if the subject has several roles using AND.
an option for the subject
all the roles the subject must hold
true iff the subject has all roles
Check if the subject has a single role.
Check if the subject has a single role.
an option for the subject
the role name the subject is required to have
true iff the subject has that role
Static constraint analysis.