expect_problem

expect_problem :: (
    response: Client_Response,
    status: int,
    detail := "",
    loc := #caller_location
) -> Problem

The response is an RFC 9457 problem document with this status and, when detail is given, a detail that contains it. Returns the decoded document (empty when the check failed).

Parameters

response: Client_Response

status: int

the status the problem must have.

detail := ""

the text the detail member must have. Empty skips that check.

loc := #caller_location

Returns

Problem