charon_lib::errors

Struct ErrorCtx

source
pub struct ErrorCtx<'ctx> {
    pub continue_on_failure: bool,
    pub error_on_warnings: bool,
    pub dcx: DiagCtxtHandle<'ctx>,
    pub external_decls_with_errors: HashSet<AnyTransId>,
    pub ignored_failed_decls: HashSet<AnyTransId>,
    external_dep_graph: DepGraph,
    pub def_id: Option<AnyTransId>,
    pub def_id_is_local: bool,
    pub error_count: usize,
}
Expand description

The context for tracking and reporting errors.

Fields§

§continue_on_failure: bool

If true, do not abort on the first error and attempt to extract as much as possible.

§error_on_warnings: bool

If true, print the warnings as errors, and abort if any errors were raised.

§dcx: DiagCtxtHandle<'ctx>

The compiler session, used for displaying errors.

§external_decls_with_errors: HashSet<AnyTransId>

The ids of the external_declarations for which extraction we encountered errors.

§ignored_failed_decls: HashSet<AnyTransId>

The ids of the declarations we completely failed to extract and had to ignore.

§external_dep_graph: DepGraph

Graph of dependencies between items: there is an edge from item a to item b if b registered the id for a during its translation. Because we only use this to report errors on external items, we only record edges where a is an external item.

§def_id: Option<AnyTransId>

The id of the definition we are exploring, used to track the source of errors.

§def_id_is_local: bool

Whether the definition being explored is local to the crate or not.

§error_count: usize

The number of errors encountered so far.

Implementations§

source§

impl<'ctx> ErrorCtx<'ctx>

source

pub fn new( continue_on_failure: bool, error_on_warnings: bool, dcx: DiagCtxtHandle<'ctx>, ) -> Self

source

pub fn continue_on_failure(&self) -> bool

source

pub(crate) fn has_errors(&self) -> bool

source

pub fn span_err_no_register( &self, _krate: &TranslatedCrate, span: impl Into<MultiSpan>, msg: &str, )

Report an error without registering anything.

source

pub fn span_err(&mut self, krate: &TranslatedCrate, span: Span, msg: &str)

Report and register an error.

source

pub fn ignore_failed_decl(&mut self, id: AnyTransId)

source

pub fn register_dep_source( &mut self, src: &Option<DepSource>, item_id: AnyTransId, is_local: bool, )

Register the fact that id is a dependency of src (if src is not None).

source

pub fn report_external_dep_error(&self, f: &FmtCtx<'_>, id: AnyTransId)

In case errors happened when extracting the definitions coming from the external dependencies, print a detailed report to explain to the user which dependencies were problematic, and where they are used in the code.

Auto Trait Implementations§

§

impl<'ctx> Freeze for ErrorCtx<'ctx>

§

impl<'ctx> !RefUnwindSafe for ErrorCtx<'ctx>

§

impl<'ctx> !Send for ErrorCtx<'ctx>

§

impl<'ctx> !Sync for ErrorCtx<'ctx>

§

impl<'ctx> Unpin for ErrorCtx<'ctx>

§

impl<'ctx> !UnwindSafe for ErrorCtx<'ctx>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<I, T> ExtractContext<I, ()> for T

§

fn extract_context(self, _original_input: I)

Given the context attached to a nom error, and given the original input to the nom parser, extract more the useful context information. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<I> RecreateContext<I> for I

§

fn recreate_context(_original_input: I, tail: I) -> I

Given the original input, as well as the context reported by nom, recreate a context in the original string where the error occurred. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more