pub struct UnhandledVerdictValue {
pub agent: String,
pub value: String,
pub declared_values: Vec<String>,
pub step_ref: String,
}Expand description
One declared verdict.values entry that no downstream Branch/Loop
cond ever compares against — the reverse-direction lint’s finding,
as data.
Exists so the same check can drive two very different surfaces without
a second implementation: the compile gate
([check_unhandled_verdict_values], which turns a finding into a
CompileError under strict_verdict_handling and a tracing::warn!
otherwise) and the report-only bp_doctor verdict_contract_lint
family (via unhandled_verdict_values).
Fields§
§agent: StringThe contract-bearing agent (= AgentDef.name = Step.ref_).
value: StringThe declared value nothing handles.
declared_values: Vec<String>The agent’s full declared token set, for the diagnostic’s context.
step_ref: StringThe first flow site that invokes agent, for attribution.
Trait Implementations§
Source§impl Clone for UnhandledVerdictValue
impl Clone for UnhandledVerdictValue
Source§fn clone(&self) -> UnhandledVerdictValue
fn clone(&self) -> UnhandledVerdictValue
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for UnhandledVerdictValue
impl Debug for UnhandledVerdictValue
impl Eq for UnhandledVerdictValue
Source§impl PartialEq for UnhandledVerdictValue
impl PartialEq for UnhandledVerdictValue
impl StructuralPartialEq for UnhandledVerdictValue
Auto Trait Implementations§
impl Freeze for UnhandledVerdictValue
impl RefUnwindSafe for UnhandledVerdictValue
impl Send for UnhandledVerdictValue
impl Sync for UnhandledVerdictValue
impl Unpin for UnhandledVerdictValue
impl UnsafeUnpin for UnhandledVerdictValue
impl UnwindSafe for UnhandledVerdictValue
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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