Struct CreditWindow 

pub struct CreditWindow {
    pub budget: u64,
    pub available: u64,
}

Dynamic counterpart of the §41.c credit index !ⁿA.S. Tracks the number of in-flight sends the producer is currently allowed; a send decrements available, a recv refills it (capped at budget, standard TCP-window semantics). The static analysis (SessionType::credit_analyse) has already verified the protocol is conformant under this budget — this is the runtime safety net for an off-spec peer.

Serialize + Deserialize — §Fase 41.g sealed-snapshot resume carries the live window (available count, not just the budget) so a resumed connection picks up exactly where the disconnected one left off.

Fields

budget: u64

Maximum credit the producer may hold at any one time (k in the socket { backpressure: credit(k) } annotation).

available: u64

Current available credit. Invariant: 0 ≤ available ≤ budget.

Implementations

impl CreditWindow

pub fn new(budget: u64) -> Self

Open a fresh window with the full budget available.

Trait Implementations

impl Clone for CreditWindow

fn clone(&self) -> CreditWindow

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CreditWindow

impl Debug for CreditWindow

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CreditWindow

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CreditWindow

impl PartialEq for CreditWindow

fn eq(&self, other: &CreditWindow) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CreditWindow

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CreditWindow