Enum Error 

pub enum Error {
    ActionNotInSchema(String),
    CompileError(CompileError),
    EncodeError(EncodeError),
    SolverError(SolverError),
    SolverUnknown,
    PolicyNotWellTyped {
        errs: Vec<ValidationError>,
    },
    DecodeModel(DecodeError),
    ConcretizeError(ConcretizeError),
    ModelInvalid {
        assert: Term,
    },
    NoPolicies,
}

Top-level errors from the whole cedar-policy-symcc crate.

Variants

ActionNotInSchema(String)

Action not found in schema.

CompileError(CompileError)

Errors during symbolic compilation.

EncodeError(EncodeError)

Errors from the SMT encoder.

SolverError(SolverError)

Solver-related errors.

SolverUnknown

Solver returned unknown.

PolicyNotWellTyped

Policy is not well-typed.

Fields

errs: Vec<ValidationError>

Errors from the policy validator.

DecodeModel(DecodeError)

Failed to decode the SMT model.

ConcretizeError(ConcretizeError)

Errors during concretization.

ModelInvalid

Model successfully decoded and concretized, but the resulting model is invalid.

Fields

assert: Term

Assertion that was violated

NoPolicies

Empty-list of policies was passed to a function that expects at least one policy

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl Diagnostic for Error

fn related(&self) -> Option<Box<dyn Iterator<Item = &dyn Diagnostic> + '_>>

Additional related Diagnostics.

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn help<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

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

Returns 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, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl From<CompileError> for Error

fn from(source: CompileError) -> Self

Converts to this type from the input type.

impl From<ConcretizeError> for Error

fn from(source: ConcretizeError) -> Self

Converts to this type from the input type.

impl From<DecodeError> for Error

fn from(source: DecodeError) -> Self

Converts to this type from the input type.

impl From<EncodeError> for Error

fn from(source: EncodeError) -> Self

Converts to this type from the input type.

impl From<SolverError> for Error

fn from(source: SolverError) -> Self

Converts to this type from the input type.