Skip to main content

EndpointError

Enum EndpointError 

Source
pub enum EndpointError {
Show 28 variants GoAwayUriAtServer, Session(SessionError), RequestId(RequestIdError), Subscription(SubscriptionError), Fetch(FetchError), Namespace(NamespaceError), TrackStatus(TrackStatusError), PublishFlow(PublishError), Setup(SetupError), UnknownRequest(u64), NotASubscription(u64), UnknownNamespace, NotActive, Draining, FilterNeedsRange, RepeatedGoAway, DuplicateTrackAlias { alias: u64, established: u64, offered: u64, }, TrackAliasInUse { alias: u64, held: u64, }, MixedForwardingPreference { alias: u64, established: ObjectForwardingPreference, offered: ObjectForwardingPreference, }, ObjectPastFinalObject { alias: u64, group: u64, object: u64, final_group: u64, final_object: u64, }, UpdateForUnknownRequest(u64), UnjoinableSubscription { fetch: u64, joining: u64, }, WrongJoiningRefusal { fetch: u64, required: u64, }, UnknownPeerNamespace, UnknownPeerNamespaceSubscription, PeerPrefixOverlap { request: u64, established: u64, }, OwnPrefixOverlap { established: u64, }, WrongOverlapRefusal { request: u64, required: u64, },
}
Expand description

Errors that can occur during endpoint operations.

Variants§

§

GoAwayUriAtServer

A GOAWAY carrying a New Session URI arrived at a server.

Section 9.4: “If a server receives a GOAWAY with a non-zero New Session URI Length it MUST terminate the session with a PROTOCOL_VIOLATION.” Migration is something a server offers a client, never the other way round.

§

Session(SessionError)

A session-level state machine error.

§

RequestId(RequestIdError)

A request ID allocation or validation error.

§

Subscription(SubscriptionError)

A subscription state machine error.

§

Fetch(FetchError)

A fetch state machine error.

§

Namespace(NamespaceError)

A namespace state machine error.

§

TrackStatus(TrackStatusError)

A track status state machine error.

§

PublishFlow(PublishError)

A publish flow state machine error.

§

Setup(SetupError)

A setup negotiation error.

§

UnknownRequest(u64)

The request ID does not match any known state machine.

§

NotASubscription(u64)

A message that only a subscription can carry named a track status.

Section 9.20 treats a TRACK_STATUS as a SUBSCRIBE “except it does not create downstream subscription state”, and says what follows from that in the same breath: “the subscriber cannot send SUBSCRIBE_UPDATE or UNSUBSCRIBE”. Both messages are about a subscription, and this request opened none for them to name.

Separate from EndpointError::UnknownRequest, which says the identifier names nothing at all. This one says it names something, and that what it names is the one request kind neither message applies to.

§

UnknownNamespace

The track namespace does not match any announcement this endpoint made.

PUBLISH_NAMESPACE_DONE and PUBLISH_NAMESPACE_CANCEL name a namespace on this draft where the PUBLISH_NAMESPACE they are about named a Request ID, so a namespace that names nothing is a miss this endpoint has to be able to report on its own announcements as well as on the peer’s.

§

NotActive

The session is not in the Active state.

§

Draining

The session is draining and cannot accept new requests.

§

FilterNeedsRange

A filter that names a start location was asked for through a helper that has no start location to give it.

§

RepeatedGoAway

A second GOAWAY arrived on the control stream.

The GOAWAY that says the peer is going away is one message, and the draft answers a repeat of it with a session close rather than with an error about the second message: there is no state a second one could move that the first has not already moved.

§

DuplicateTrackAlias

The peer named a Track Alias it is already using for another track.

Draft-14 states it twice, once per message. Section 9.8: “The same Track Alias MUST NOT be used to refer to two different Tracks simultaneously. If a subscriber receives a SUBSCRIBE_OK that uses the same Track Alias as a different track with an active subscription, it MUST close the session with error DUPLICATE_TRACK_ALIAS.” Section 9.13 is the same sentence with PUBLISH in place of SUBSCRIBE_OK.

The session is over: this endpoint’s own state has moved to Closed and the code the transport should close with is in EndpointError::session_error_code.

Fields

§alias: u64

The alias both tracks are named by.

§established: u64

The request whose live subscription holds the alias.

§offered: u64

The request whose message arrived naming it for another track.

§

TrackAliasInUse

This endpoint was asked to give a Track Alias to a second track.

The same rule as EndpointError::DuplicateTrackAlias read at the end that chooses the alias. Section 9.13 states it as a prohibition on the publisher before it states what the subscriber does about one: “The same Track Alias MUST NOT be used to refer to two different Tracks simultaneously.”

The message is refused instead of built, and nothing else moves: no Request ID is spent, no publish flow is created, and the session stays as it was. The alias never reaches the peer, so there is nothing for the peer to close over.

Fields

§alias: u64

The alias that is already spoken for.

§held: u64

The request whose live flow holds it.

§

MixedForwardingPreference

A track’s objects were framed two different ways.

Section 10: “Every Track has a single ‘Object Forwarding Preference’ and the Original Publisher MUST NOT mix different forwarding preferences within a single track (see Section 2.5).”

The framing is the preference: an object on a subgroup stream has the Subgroup preference and an object in a datagram has the Datagram one, so the track’s first object settles the property and this is every later object measured against it.

§Why this one ends no session

Drafts 07 through 11 finish that paragraph with a close and a code. This draft replaces the sentence with the cross-reference above, and what it points at is a different answer rather than the same one worded differently. Section 2.5 lists “An Object is received with a different Forwarding Preference than previously observed from the same Track” among the conditions that make a track malformed, and says of all of them: “When a subscriber detects a Malformed Track, it MUST UNSUBSCRIBE any subscription and FETCH_CANCEL any fetch for that Track from that publisher, and SHOULD deliver an error to the application”.

So this error carries no code in EndpointError::session_error_code, and the connection’s close_for_data_stream declines it. Ending the session over it would be this crate inventing a consequence the draft withdrew.

This is half of that answer and not all of it. “SHOULD deliver an error to the application” is what this error is. The unsubscribe and cancel the same sentence requires is not done: those are control messages, and a data path holding &self has no way to send one. It is also one condition of eight in that section rather than a rule of its own, so the answer belongs to the family and not to this arm. A caller that wants it has the error to act on.

Fields

§alias: u64

The Track Alias the offending object named.

§established: ObjectForwardingPreference

The framing the track’s earlier objects settled on.

§offered: ObjectForwardingPreference

The framing the offending object used.

§

ObjectPastFinalObject

An object arriving after the track’s final object.

Section 2.5 lists the condition: “An Object is received on a Track whose Group and Object ID are larger than the final Object in the Track. The final Object in a Track is the Object with Status END_OF_TRACK or the last Object sent in a FETCH whose response indicated End of Track.”

Larger is Section 1.4.1’s comparison and not a reading of the words. That section puts one Location below another when “A.Group < B.Group || (A.Group == B.Group && A.Object < B.Object)”, so an Object in a later group is past the end whatever its own Object ID is.

A Malformed Track and not a session error, like the arm above it and for the same sentence: Section 2.5 answers its whole list at once, and on this draft that answer is “it MUST UNSUBSCRIBE any subscription and FETCH_CANCEL any fetch for that Track from that publisher”. The messages are the connection’s; this is the error half.

Fields

§alias: u64

The Track Alias the offending object named.

§group: u64

The Group ID it named.

§object: u64

The Object ID it named.

§final_group: u64

The Group ID of the object the track ended at.

§final_object: u64

The Object ID of the object the track ended at.

§

UpdateForUnknownRequest(u64)

SUBSCRIBE_UPDATE named a Request ID this session has never carried a request under.

Section 9.10: “A publisher MUST terminate the session with a PROTOCOL_VIOLATION if the SUBSCRIBE_UPDATE violates these rules or if the subscriber specifies a request ID that has not existed within the Session.”

A request that has ended is not this: it existed. That is why the record of an inbound SUBSCRIBE outlives the subscription, and why an update naming an ended one is refused by the flow rather than by the session.

§

UnjoinableSubscription

A Joining Fetch named a subscription this session cannot join.

Section 9.16.2: “If a publisher receives a Joining Fetch with a Request ID that does not correspond to an existing Subscribe in the same session, it MUST respond with a Fetch Error with code Invalid Joining Request ID.”

A refusal and not a session close, so the session runs on and the error names both identifiers: the fetch to refuse, and the subscription it asked to join.

Fields

§fetch: u64

The fetch that named it.

§joining: u64

The identifier it named.

§

WrongJoiningRefusal

A Joining Fetch was refused under a code other than the one the same sentence names for it.

The reason travels with the refusal, so a subscriber told the wrong one retries the wrong thing: it can rebuild a fetch whose range was refused, and cannot rebuild one whose subscription is gone.

Fields

§fetch: u64

The fetch being refused.

§required: u64

The code the draft names for that refusal.

§

UnknownPeerNamespace

A message about an announcement named a namespace the peer has not announced.

Section 9.27 says what a cancellation is for: the subscriber “will stop sending new subscriptions for tracks within the provided Track Namespace”. What a withdrawal ends and a cancellation revokes is an announcement the peer made, so the record they reach for is the one this endpoint keeps of the peer’s announcements.

Separate from EndpointError::UnknownNamespace, which is the same miss on the announcements this endpoint made, so a caller can tell which of the two maps came up empty.

§

UnknownPeerNamespaceSubscription

A message about a namespace subscription named a prefix the peer has not subscribed to.

Section 6.1: “An UNSUBSCRIBE_NAMESPACE withdraws a previous SUBSCRIBE_NAMESPACE.”

What a withdrawal ends is a namespace subscription the peer made, so the record it reaches for is the one this endpoint keeps of the peer’s. A namespace subscription this endpoint made is withdrawn by Endpoint::unsubscribe_namespace, which is the same message travelling the other way and answers with EndpointError::UnknownNamespace.

§

PeerPrefixOverlap

The peer subscribed to a namespace prefix overlapping one it is already subscribed to.

Section 9.28: “A subscriber cannot make overlapping namespace subscriptions on a single session. Within a session, if a publisher receives a SUBSCRIBE_NAMESPACE with a Track Namespace Prefix that is a prefix of, suffix of, or equal to an active SUBSCRIBE_NAMESPACE, it MUST respond with SUBSCRIBE_NAMESPACE_ERROR, with error code NAMESPACE_PREFIX_OVERLAP.”

Taken when the message arrives, which is the moment the sentence names, and read again when an answer is built: a request this endpoint may not accept is one no later call can accept.

The refusal itself is not this error. It is a message the peer is owed, so the request is recorded like any other and refused through the same call that refuses any other, under the code the sentence names.

Fields

§request: u64

The request that arrived.

§established: u64

The namespace subscription it overlaps.

§

OwnPrefixOverlap

This endpoint was asked to subscribe to a namespace prefix overlapping one it is already subscribed to.

The first half of the same sentence, which is addressed to the subscriber: “A subscriber cannot make overlapping namespace subscriptions on a single session.”

The message is refused instead of built, and nothing else moves: no Request ID is spent, no state machine is created and the session stays as it was. The request never reaches the peer, so there is nothing for the peer to refuse.

Fields

§established: u64

The namespace subscription this endpoint already has.

§

WrongOverlapRefusal

A namespace subscription that overlaps another was refused under a code other than the one the sentence names.

The same shape as EndpointError::WrongJoiningRefusal: a rule that names the code its refusal carries is not satisfied by a refusal under any other, because the peer reads the code to learn what went wrong.

Fields

§request: u64

The request being refused.

§required: u64

The code the sentence names for it.

Implementations§

Source§

impl EndpointError

Source

pub fn session_error_code(&self) -> Option<SessionErrorCode>

The code to close the session with, when draft-14 answers this error with a close rather than leaving it to the one request it concerns.

None means the error is recoverable: the caller may report it, give up on the request it concerns, and keep the session running. Some means the draft ends the session, and the endpoint has already moved its own state to Closed - the code is what the transport should carry.

The table grows one rule at a time, and a rule joins it with a gate that drives the bytes at a real connection and reads the close code back off the wire. An arm added without one asserts nothing: from inside the process the session ends either way, and only the peer can tell the difference.

Trait Implementations§

Source§

impl Debug for EndpointError

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Display for EndpointError

Source§

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Error for EndpointError

Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

Source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type-based access to context intended for error reports. Read more
Source§

impl From<EndpointError> for ConnectionError

Source§

fn from(source: EndpointError) -> Self

Converts to this type from the input type.
Source§

impl From<FetchError> for EndpointError

Source§

fn from(source: FetchError) -> Self

Converts to this type from the input type.
Source§

impl From<NamespaceError> for EndpointError

Source§

fn from(source: NamespaceError) -> Self

Converts to this type from the input type.
Source§

impl From<PublishError> for EndpointError

Source§

fn from(source: PublishFlowError) -> Self

Converts to this type from the input type.
Source§

impl From<RequestIdError> for EndpointError

Source§

fn from(source: RequestIdError) -> Self

Converts to this type from the input type.
Source§

impl From<SessionError> for EndpointError

Source§

fn from(source: SessionError) -> Self

Converts to this type from the input type.
Source§

impl From<SetupError> for EndpointError

Source§

fn from(source: SetupError) -> Self

Converts to this type from the input type.
Source§

impl From<SubscriptionError> for EndpointError

Source§

fn from(source: SubscriptionError) -> Self

Converts to this type from the input type.
Source§

impl From<TrackStatusError> for EndpointError

Source§

fn from(source: TrackStatusError) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more