Skip to main content

DecisionInputs

Struct DecisionInputs 

Source
pub struct DecisionInputs<'a> {
    pub deltas: &'a ReviewDeltas,
    pub boundary_anchors: &'a [BoundaryAnchor],
    pub coordination: &'a [CoordinationAnchor],
    pub dependency_anchors: &'a [DependencyAnchor],
    pub public_api_anchor_line: u32,
    pub affected_not_shown: u64,
    pub routing: &'a RoutingFacts,
    pub head_source: &'a dyn Fn(&str) -> Option<String>,
    pub rename_old_path: &'a dyn Fn(&str) -> Option<String>,
    pub internal_consumers: &'a dyn Fn(&str) -> u64,
    pub cap: usize,
}
Expand description

All inputs the extractor needs, gathered from the assembled brief data.

Fields§

§deltas: &'a ReviewDeltas

Diff-aware deltas (boundary + public-API). The candidate source.

§boundary_anchors: &'a [BoundaryAnchor]

Boundary anchors keyed by zone-pair, one representative per introduced edge.

§coordination: &'a [CoordinationAnchor]

Coordination gaps projected to the contract decision shape.

§dependency_anchors: &'a [DependencyAnchor]

Dependency candidates per changed manifest, one per kind.

§public_api_anchor_line: u32

1-based line of the first widened public-API export’s declaration, so the public-API-surface decision anchors to a real line. 0 when unresolved.

§affected_not_shown: u64

Project-wide fan-in beyond the diff (impact-closure affected_not_shown). Used as the blast magnitude for boundary + public-API-surface decisions.

§routing: &'a RoutingFacts

Ownership routing (routed expert per file).

§head_source: &'a dyn Fn(&str) -> Option<String>

Per-anchor-file head source, for suppression checks. None for a file whose head content could not be read (the decision is then not suppressed).

§rename_old_path: &'a dyn Fn(&str) -> Option<String>

Resolve a head (post-rename) root-relative path to its pre-rename path, from the diff’s rename pairs. None when the file was not renamed. Lets each decision carry a previous_signal_id so review memory survives a git mv.

§internal_consumers: &'a dyn Fn(&str) -> u64

Honest per-anchor in-repo out-of-diff consumer count, precomputed from the retained graph’s reverse-deps before it was dropped. 0 for an anchor with no recorded importers (a genuinely new file). The display number; distinct from affected_not_shown (the project-wide ranking proxy).

§cap: usize

The decision cap (default 4, clamped to [3, 5] by the caller).

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for DecisionInputs<'a>

§

impl<'a> !Send for DecisionInputs<'a>

§

impl<'a> !Sync for DecisionInputs<'a>

§

impl<'a> !UnwindSafe for DecisionInputs<'a>

§

impl<'a> Freeze for DecisionInputs<'a>

§

impl<'a> Unpin for DecisionInputs<'a>

§

impl<'a> UnsafeUnpin for DecisionInputs<'a>

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.

Source§

impl<'a, T> FromIn<'a, T> for T

Source§

fn from_in(t: T, _: &'a Allocator) -> T

Converts to this type from the input type within the given allocator.
Source§

impl<T> Instrument for T

Source§

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

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

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

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<'a, T, U> IntoIn<'a, U> for T
where U: FromIn<'a, T>,

Source§

fn into_in(self, allocator: &'a Allocator) -> U

Converts this type into the (usually inferred) input type within the given allocator.
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
Source§

impl<T> WithSubscriber for T

Source§

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
Source§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

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