Enum TargetResolution 

#[non_exhaustive]
pub enum TargetResolution {
    Exact {
        case_ref: CaseRef,
    },
    Ambiguous {
        candidates: Vec<TargetCandidate>,
    },
    Missing,
    Unauthorized,
    Stale {
        case_ref: CaseRef,
        current_revision: CaseRevision,
    },
}

Outcome of resolving a proposed target (spec §12.2). Only Exact may reach command compilation.

New outcomes are expected, so downstream matches need a wildcard arm.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Exact

Exactly one authorized case.

Fields

case_ref: CaseRef

The case.

Ambiguous

Several authorized cases; never pick one (I8).

Fields

candidates: Vec<TargetCandidate>

The candidates for a selection interaction.

Missing

The token was issued this turn but the case no longer exists.

Unauthorized

Unknown token or another tenant’s token.

Stale

The case moved past the revision the token was issued at.

Fields

case_ref: CaseRef

Reference at issue time.

current_revision: CaseRevision

Revision now.

Implementations

impl TargetResolution

pub fn exact(&self) -> Option<&CaseRef>

Returns the case when the resolution is exact.

pub fn is_exact(&self) -> bool

Returns true for Exact.

Trait Implementations

impl Clone for TargetResolution

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TargetResolution

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TargetResolution

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TargetResolution

impl PartialEq for TargetResolution

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TargetResolution

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 TargetResolution