Enum cedar_policy_core::transitive_closure::Err

pub enum Err<K: Debug + Display> {
    TCEnforcementError {
        child: K,
        parent: K,
        grandparent: K,
    },
    HasCycle {
        vertex_with_loop: K,
    },
}

Error type for errors raised during transitive closure computation. This error type is parametrized by a type K which is the type of a unique identifier for graph nodes and the type returned by get_key on the TCNode trait.

Variants

TCEnforcementError

Fields

child: K

Child entity at fault

parent: K

Parent entity at fault

grandparent: K

Grandparent entity at fault. This is a parent of parent but not an ancestor of child.

Error raised when TCComputation::EnforceAlreadyComputed finds that the TC was in fact not already computed

HasCycle

Fields

vertex_with_loop: K

Because DAG enforcement can only be called after compute_tc/enforce_tc, a cycle will manifest as a vertex with a loop

Error raised when enforce_dag finds that the graph is not a DAG

Trait Implementations

impl<K: Debug + Debug + Display> Debug for Err<K>

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

Formats the value using the given formatter.

impl<K> Display for Err<K>where K: Display + Debug + Display,

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

Formats the value using the given formatter.

impl<K: Debug + Display> Error for Err<K>where Self: Debug + Display,

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.