From 3b3b76854052cf7a00506c35edded19cd5fe3258 Mon Sep 17 00:00:00 2001 From: Henning Perl Date: Tue, 4 Jun 2024 10:19:00 +0200 Subject: [PATCH] fix: add not to docs (#1530) --- docs/ory_permission_language_spec.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/ory_permission_language_spec.md b/docs/ory_permission_language_spec.md index 03ef4942f..99e732a57 100644 --- a/docs/ory_permission_language_spec.md +++ b/docs/ory_permission_language_spec.md @@ -142,6 +142,7 @@ The following character sequences represent boolean operators: | -------- | -------------- | ------------------------------------ | | `&&` | _x_ `&&` _y_ | true iff. both _x_ and _y_ are true | | `\|\|` | _x_ `\|\|` _y_ | true iff. either _x_ or _y_ are true | +| `!` | `!` _x_ | true iff. _x_ is false | The following character sequences represent miscellaneous operators: @@ -248,7 +249,7 @@ geolocation, the time of day, or the security level of the device making the request. ```ebnf -PermissionBody = ( "(" PermissionBody ")" ) | ( PermissionCheck | { Operator PermissionBody } ) . +PermissionBody = ( "(" PermissionBody ")" ) | ( "!" PermissionBody ) | ( PermissionCheck | { Operator PermissionBody } ) . Operator = "||" | "&&" . PermissionCheck = TransitiveCheck | IncludesCheck . ```