Enum leo_compiler::errors::expression::ExpressionError

pub enum ExpressionError {
    AddressError(AddressError),
    BooleanError(BooleanError),
    Error(FormattedError),
    FieldError(FieldError),
    FunctionError(Box<FunctionError>),
    GroupError(GroupError),
    IntegerError(IntegerError),
    ValueError(ValueError),
}

Variants

AddressError(AddressError)

BooleanError(BooleanError)

Error(FormattedError)

FieldError(FieldError)

FunctionError(Box<FunctionError>)

GroupError(GroupError)

IntegerError(IntegerError)

ValueError(ValueError)

Implementations

impl ExpressionError

pub fn set_path(&mut self, path: PathBuf)

pub fn cannot_enforce(
    operation: String,
    error: SynthesisError,
    span: Span
) -> Self

pub fn cannot_evaluate(operation: String, span: Span) -> Self

pub fn conditional_boolean(actual: String, span: Span) -> Self

pub fn expected_circuit_member(expected: String, span: Span) -> Self

pub fn incompatible_types(operation: String, span: Span) -> Self

pub fn index_out_of_bounds(index: usize, span: Span) -> Self

pub fn invalid_index(actual: String, span: Span) -> Self

pub fn invalid_length(expected: usize, actual: usize, span: Span) -> Self

pub fn invalid_spread(actual: String, span: Span) -> Self

pub fn invalid_member_access(member: String, span: Span) -> Self

pub fn invalid_static_access(member: String, span: Span) -> Self

pub fn function_no_return(function: String, span: Span) -> Self

pub fn undefined_array(actual: String, span: Span) -> Self

pub fn undefined_circuit(actual: String, span: Span) -> Self

pub fn undefined_identifier(identifier: Identifier) -> Self

pub fn undefined_function(function: String, span: Span) -> Self

pub fn undefined_member_access(
    circuit: String,
    member: String,
    span: Span
) -> Self

pub fn undefined_static_access(
    circuit: String,
    member: String,
    span: Span
) -> Self

pub fn unexpected_array(expected: String, actual: String, span: Span) -> Self

pub fn unexpected_tuple(expected: String, actual: String, span: Span) -> Self

Trait Implementations

impl Debug for ExpressionError

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

Formats the value using the given formatter.

impl Display for ExpressionError

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

Formats the value using the given formatter.

impl Error for ExpressionError

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

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

fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

if let Err(e) = "xc".parse::<u32>() { // Print e itself, no need for description(). eprintln!("Error: {}", e); }

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

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

impl From<AddressError> for ExpressionError

fn from(source: AddressError) -> Self

Performs the conversion.

impl From<BooleanError> for ExpressionError

fn from(source: BooleanError) -> Self

Performs the conversion.

impl From<Box<FunctionError>> for ExpressionError

fn from(source: Box<FunctionError>) -> Self

Performs the conversion.

impl From<Error> for ExpressionError

fn from(source: FormattedError) -> Self

Performs the conversion.

impl From<ExpressionError> for FunctionError

fn from(source: ExpressionError) -> Self

Performs the conversion.

impl From<ExpressionError> for ConsoleError

fn from(source: ExpressionError) -> Self

Performs the conversion.

impl From<ExpressionError> for StatementError

fn from(source: ExpressionError) -> Self

Performs the conversion.

impl From<FieldError> for ExpressionError

fn from(source: FieldError) -> Self

Performs the conversion.

impl From<GroupError> for ExpressionError

fn from(source: GroupError) -> Self

Performs the conversion.

impl From<IntegerError> for ExpressionError

fn from(source: IntegerError) -> Self

Performs the conversion.

impl From<ValueError> for ExpressionError

fn from(source: ValueError) -> Self

Performs the conversion.