Enum ReasonClass 

pub enum ReasonClass {
    Reflect,
    Dispatch,
    Indirect,
    Native,
    Unresolved,
    Setup,
}

The NORMATIVE projection of a raw unknown_why reason onto a fixed, cross-engine reason CLASS (candor-spec REASON-SCOPED-UNKNOWN-DESIGN.md §1). Reason-scoped policies (deny E Unknown[class]) quantify over these classes, so the mapping MUST be identical in every engine — this mirrors the java reference ReasonClass (its classify(String) path, since rust emits raw string reasons). The class set is CLOSED (six members); a raw reason matching no pinned prefix maps to Unresolved — conservative: it stays in scope of any Unknown[*] / Unknown[dynamic] policy, never silently tolerated.

Variants

Reflect

reflection / metaprogramming

Dispatch

unresolved virtual/dynamic dispatch, same-name ambiguity, invokedynamic

Indirect

callback / closure / function-value / async-continuation indirection

Native

FFI / native boundary

Unresolved

generic unresolvable call/import, AND the catch-all for any unrecognized raw reason

Setup

analysis not wired up (fixable, not a real dynamic hole): missing-config / no-tsconfig

Implementations

impl ReasonClass

pub fn token(self) -> &'static str

The lowercase policy-facing token (deny E Unknown[<token>]).

pub fn from_token(t: &str) -> Option<ReasonClass>

Parse a policy-facing token back to a class; None if it names no class.

pub fn classify(why: &str) -> ReasonClass

Map a raw unknown_why reason to its normative class — prefix-based (raw reasons carry a kind:detail shape, e.g. dispatch:foo::Bar), unrecognized → Unresolved. Byte-identical intent to the java ReasonClass.classify(String).

pub fn dynamic_set() -> BTreeSet<ReasonClass>

The dynamic alias — every GENUINE blind-spot class (excludes setup), incl. unresolved (the catch-all) so Unknown[dynamic] never under-gates. The design’s recommended usable strict gate.

Trait Implementations

impl Clone for ReasonClass

fn clone(&self) -> ReasonClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ReasonClass

impl Debug for ReasonClass

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

Formats the value using the given formatter.

impl Eq for ReasonClass

impl Hash for ReasonClass

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 Ord for ReasonClass

fn cmp(&self, other: &ReasonClass) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ReasonClass

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for ReasonClass

fn partial_cmp(&self, other: &ReasonClass) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for ReasonClass