Struct CargoAllowActionV1 

pub struct CargoAllowActionV1 {
    pub id: String,
    pub kind: ActionKind,
    pub applicability: ActionApplicability,
    pub preconditions: Vec<String>,
    pub mutation_scope: Option<String>,
    pub expected_effect: String,
    pub rollback: Option<String>,
    pub required_proof: Option<RequiredProof>,
    pub residual_claim: Vec<String>,
}

One typed next action bound to a diagnostic.

Fields

id: String

kind: ActionKind

applicability: ActionApplicability

preconditions: Vec<String>

Preconditions that must hold before the action applies.

mutation_scope: Option<String>

What part of the source the action touches (e.g. a path, a range, a policy entry). None for actions that mutate nothing (navigation, decision, external).

expected_effect: String

rollback: Option<String>

How to undo the action, when it mutates source.

required_proof: Option<RequiredProof>

residual_claim: Vec<String>

What remains unproven / claimed after the action (its claim boundary).

Implementations

impl CargoAllowActionV1

pub fn navigate( id: impl Into<String>, expected_effect: impl Into<String>, ) -> Self

A minimal navigation action for a location — never mutates source.

pub fn applicability_is_coherent(&self) -> bool

Invariant: only kinds that ActionKind::may_be_automatic may carry ActionApplicability::Automatic. A navigation, decision, external, preview, or exception-creating action can never be automatic.

Trait Implementations

impl Clone for CargoAllowActionV1

fn clone(&self) -> CargoAllowActionV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CargoAllowActionV1

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

Formats the value using the given formatter.

impl Eq for CargoAllowActionV1

impl Hash for CargoAllowActionV1

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CargoAllowActionV1

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CargoAllowActionV1