Skip to main content

ResolveDependencyArgs

Struct ResolveDependencyArgs 

Source
#[non_exhaustive]
pub struct ResolveDependencyArgs { pub partition: Partition, pub flow_id: FlowId, pub downstream_execution_id: ExecutionId, pub upstream_execution_id: ExecutionId, pub edge_id: EdgeId, pub lane_id: LaneId, pub current_attempt_index: AttemptIndex, pub upstream_outcome: String, pub now: TimestampMs, }
Expand description

Inputs to crate::engine_backend::EngineBackend::resolve_dependency — the trait-level entry point PR-7b Step 0 lifted out of the two inline FCALL call sites (ff-engine::partition_router:: dispatch_dependency_resolution and ff-engine::scanner::dependency_reconciler::resolve_eligible_edges).

Both Valkey call sites build identical KEYS[14]+ARGV[5] arrays. The fields below are the minimum they need to survive a trait- boundary hand-off: partition drives the Valkey key-tagging, downstream_execution_id + lane_id + current_attempt_index pin the child’s KEYS, upstream_execution_id derives KEYS[11] (upstream_result for server-side data_passing_ref copy), flow_id supplies the RFC-016 Stage C ARGV[4] + edgegroup/incoming KEYS.

#[non_exhaustive] + ::new per feedback_non_exhaustive_needs_constructor. Does NOT derive Serialize / Deserialize — this is a trait-boundary args struct, not a wire-format type.

Fields (Non-exhaustive)§

This struct is marked as non-exhaustive
Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.
§partition: Partition

Child (downstream) execution’s partition. Flow + exec partitions co-locate on {fp:N} post-RFC-011 so the FCALL stays single-slot.

§flow_id: FlowId§downstream_execution_id: ExecutionId§upstream_execution_id: ExecutionId§edge_id: EdgeId§lane_id: LaneId§current_attempt_index: AttemptIndex

Child’s current attempt index — selects attempt_hash + stream_meta KEYS so late satisfaction updates the active attempt (race-safe under renewal).

§upstream_outcome: String

“success”, “failed”, “cancelled”, “expired”, “skipped”

§now: TimestampMs

Implementations§

Source§

impl ResolveDependencyArgs

Source

pub fn new( partition: Partition, flow_id: FlowId, downstream_execution_id: ExecutionId, upstream_execution_id: ExecutionId, edge_id: EdgeId, lane_id: LaneId, current_attempt_index: AttemptIndex, upstream_outcome: String, now: TimestampMs, ) -> Self

Construct a ResolveDependencyArgs. Added alongside #[non_exhaustive] per feedback_non_exhaustive_needs_constructor.

Trait Implementations§

Source§

impl Clone for ResolveDependencyArgs

Source§

fn clone(&self) -> ResolveDependencyArgs

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ResolveDependencyArgs

Source§

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

Formats the value using the given formatter. Read more

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.