diff --git a/library/server/authentication/http_authorization/src/http_authorization.e b/library/server/authentication/http_authorization/src/http_authorization.e index 6d1877a7..9e00dc70 100644 --- a/library/server/authentication/http_authorization/src/http_authorization.e +++ b/library/server/authentication/http_authorization/src/http_authorization.e @@ -92,5 +92,19 @@ feature -- Access http_authorization: detachable IMMUTABLE_STRING_8 +feature -- Status report + + is_basic: BOOLEAN + -- Is Basic authorization? + do + if attached type as t then + Result := t.same_string ("basic") + end + end + +invariant + + type_is_lower: attached type as t implies t.same_string (t.as_lower) + end