Struct Formatted

pub struct Formatted {
    pub span: Span,
    pub backtrace: Backtraced,
}

Formatted compiler error type undefined value x –> file.leo: 2:8 | 2 | let a = x; | ^ | = help: Initialize a variable x first. Makes use of the same fields as a BacktracedError.

Fields

span: Span

The formatted error span information.

backtrace: Backtraced

The backtrace to track where the Leo error originated.

Implementations

impl Formatted

pub fn new_from_span<S>( message: S, help: Option<String>, code: i32, code_identifier: i8, type_: String, error: bool, span: Span, backtrace: Backtrace, ) -> Self

where S: ToString,

Creates a backtraced error from a span and a backtrace.

pub fn exit_code(&self) -> i32

Calls the backtraces error exit code.

pub fn error_code(&self) -> String

Returns an error identifier.

pub fn warning_code(&self) -> String

Returns an warning identifier.

Trait Implementations

impl Clone for Formatted

fn clone(&self) -> Formatted

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Formatted

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

Formats the value using the given formatter.

impl Default for Formatted

fn default() -> Formatted

Returns the “default value” for a type.

impl Display for Formatted

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

Formats the value using the given formatter.

impl Error for Formatted

fn description(&self) -> &str

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

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

Returns the lower-level source of this error, if any.

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<Formatted> for AstError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for CliError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for CompilerError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for FlattenError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for LoopUnrollerError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for PackageError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for ParserError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for ParserWarning

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for StaticAnalyzerError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for StaticAnalyzerWarning

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for TypeCheckerError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for TypeCheckerWarning

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<Formatted> for UtilError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl Hash for Formatted

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 PartialEq for Formatted

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Formatted

impl StructuralPartialEq for Formatted