Added HTTP_AUTHORIZATION.is_basic: BOOLEAN query to know if this is a Basic HTTP Authorization.

This commit is contained in:
Jocelyn Fiat
2013-03-21 15:42:16 +01:00
parent 7c7bf9a3f8
commit 78c83a4b69

View File

@@ -92,5 +92,19 @@ feature -- Access
http_authorization: detachable IMMUTABLE_STRING_8 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 end