Enum cleaver::analysis::types::TypeError

pub enum TypeError<'a> {
    TypeMismatch {
        expr: &'a Node<Expression>,
        expected: Type,
        actual: Type,
        filename: String,
    },
    WrongArgumentCount {
        call: &'a Node<Expression>,
        expected: usize,
        actual: usize,
        filename: String,
    },
    UnsupportedOperator {
        expr: &'a Node<Expression>,
        op: Op,
        type_: Type,
        filename: String,
    },
    InvalidReturnValue {
        stmt: &'a Node<Statement>,
        filename: String,
    },
}

Variants

TypeMismatch

Fields

expr: &'a Node<Expression>
expected: Type
actual: Type
filename: String

WrongArgumentCount

Fields

call: &'a Node<Expression>
expected: usize
actual: usize
filename: String

UnsupportedOperator

Fields

expr: &'a Node<Expression>
op: Op
type_: Type
filename: String

InvalidReturnValue

Fields

stmt: &'a Node<Statement>
filename: String

Trait Implementations

impl<'a> PartialEq for TypeError<'a>

fn eq(&self, __arg_0: &TypeError<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &TypeError<'a>) -> bool

This method tests for !=.

impl<'a> Debug for TypeError<'a>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'a> Display for TypeError<'a>

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

Formats the value using the given formatter.

impl<'a> Error for TypeError<'a>

fn description(&self) -> &str

A short description of the error.

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

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