Member predicate Http::ExplicitHeaderDefinition::definesHeaderValue
Holds if the header with (lower-case) name headerName
is set to the value of headerValue
.
predicate definesHeaderValue(string headerName, Node headerValue)
Holds if the header with (lower-case) name headerName
is set to the value of headerValue
.
predicate definesHeaderValue(string headerName, Node headerValue)