Module protocol 

WebDAV header parsing and protocol precondition rules.

Structs

DavProtocolError

A product-neutral WebDAV protocol error.

Destination

A parsed Destination header restricted to the current origin and mount.

IfHeader

A parsed WebDAV If header.

IfResourceGroup

Conditions associated with one tagged resource or the request target.

IfStateList

AND-connected conditions inside one parenthesized state list.

Enums

DavIfEvaluationError

Failure while resolving and evaluating a WebDAV If request precondition.

DavProtocolErrorKind

Stable protocol error classification for transport adapters.

Depth

WebDAV Depth header value.

IfStateCondition

One WebDAV If condition.

Functions

destination_relative_path

Parses and constrains Destination to the current origin and WebDAV mount.

enforce_if_header

Resolves referenced resources and enforces the complete WebDAV If state-list precondition.

enforce_if_header_with_backends

Resolves If state from the canonical filesystem and lock backend ports.

parse_copy_depth

Parses the Depth semantics used by COPY.

parse_delete_depth

Parses the Depth semantics used by DELETE.

parse_if_header

Parses a WebDAV If header.

parse_lock_depth

Parses the Depth semantics used by LOCK.

parse_lock_timeout

Parses a bounded LOCK timeout using a product-supplied maximum duration.

parse_lock_token_header

Parses the required angle-bracketed Lock-Token request header.

parse_move_depth

Parses the Depth semantics used by MOVE.

parse_overwrite

Parses Overwrite, defaulting to true when the header is absent.

parse_propfind_depth

Parses the Depth semantics used by PROPFIND.

submitted_lock_tokens

Extracts submitted lock tokens from an already parsed If header.

submitted_lock_tokens_for_path

Extracts submitted lock tokens that apply to one request path.