Enum brane_ast::errors::TypeError

pub enum TypeError {
    ProjOnNonClassError {
        got: DataType,
        range: TextRange,
    },
    UnexpectedMethod {
        class_name: String,
        name: String,
        range: TextRange,
    },
    UnknownField {
        class_name: String,
        name: String,
        range: TextRange,
    },
    IncorrectType {
        got: DataType,
        expected: DataType,
        range: TextRange,
    },
    IllegalDataReturnError {
        name: String,
        range: TextRange,
    },
    IncompatibleReturns {
        got: DataType,
        expected: DataType,
        got_range: TextRange,
        expected_range: TextRange,
    },
    ParallelNoReturn {
        block: usize,
        range: TextRange,
    },
    ParallelUnexpectedReturn {
        block: usize,
        got: DataType,
        range: TextRange,
    },
    ParallelIncompleteReturn {
        block: usize,
        expected: DataType,
        range: TextRange,
    },
    ParallelIllegalType {
        merge: MergeStrategy,
        got: DataType,
        expected: Vec<DataType>,
        range: TextRange,
        reason: TextRange,
    },
    ParallelNoStrategy {
        range: TextRange,
    },
    NonFunctionCall {
        got: DataType,
        range: TextRange,
        defined_range: TextRange,
    },
    UndefinedFunctionCall {
        name: String,
        range: TextRange,
    },
    FunctionArityError {
        name: String,
        got: usize,
        expected: usize,
        got_range: TextRange,
        expected_range: TextRange,
    },
    InconsistentArrayError {
        got: DataType,
        expected: DataType,
        got_range: TextRange,
        expected_range: TextRange,
    },
    NonArrayIndexError {
        got: DataType,
        range: TextRange,
    },
    DataNameNotAStringError {
        name: String,
        got: Expr,
        range: TextRange,
    },
    DataNoNamePropertyError {
        name: String,
        range: TextRange,
    },
}

Defines errors that occur during type checking.

Variants

ProjOnNonClassError

The projection operator was used on a non-class variable.

Fields

got: DataType

range: TextRange

UnexpectedMethod

A method was used as if it was a field.

Fields

class_name: String

name: String

range: TextRange

UnknownField

The given field is not known in the given class.

Fields

class_name: String

name: String

range: TextRange

IncorrectType

A type cannot be (implicitly) casted to another.

Fields

got: DataType

expected: DataType

range: TextRange

IllegalDataReturnError

An imported function returned a Data, while it cannot do that anymore.

Fields

name: String

range: TextRange

IncompatibleReturns

The return statements of a function did not all return the same type.

Fields

got: DataType

expected: DataType

got_range: TextRange

expected_range: TextRange

ParallelNoReturn

A block in a parallel statement did not return while it should have.

Fields

block: usize

range: TextRange

ParallelUnexpectedReturn

A block in a parallel statement did return while it should not have.

Fields

block: usize

got: DataType

range: TextRange

ParallelIncompleteReturn

Not all blocks in a parallel statement return a non-void value.

Fields

block: usize

expected: DataType

range: TextRange

ParallelIllegalType

The parallel returned the wrong value for the merge strategy

Fields

merge: MergeStrategy

got: DataType

expected: Vec<DataType>

range: TextRange

reason: TextRange

ParallelNoStrategy

The parallel returns a value but the merge is None

Fields

range: TextRange

NonFunctionCall

A function call has been attempted on a non-function.

Fields

got: DataType

range: TextRange

defined_range: TextRange

UndefinedFunctionCall

The function identifier was not known.

Fields

name: String

range: TextRange

FunctionArityError

A function was given an incorrect number of parameters.

Fields

name: String

got: usize

expected: usize

got_range: TextRange

expected_range: TextRange

InconsistentArrayError

An Array had confusing types

Fields

got: DataType

expected: DataType

got_range: TextRange

expected_range: TextRange

NonArrayIndexError

An Array Index was used on a non-array.

Fields

got: DataType

range: TextRange

DataNameNotAStringError

The user specified something else as a Data than a literal string.

Fields

name: String

got: Expr

range: TextRange

DataNoNamePropertyError

The user did not specify a name field in a Data or IntermediateResult field.

Fields

name: String

range: TextRange

Implementations

impl TypeError

pub fn prettyprint(&self, file: impl AsRef<str>, source: impl AsRef<str>)

Prints the warning in a pretty way to stderr.

Arguments

• file: The ‘path’ of the file (or some other identifier) where the source text originates from.
• source: The source text to read the debug range from.

pub fn prettywrite( &self, writer: impl Write, file: impl AsRef<str>, source: impl AsRef<str>, ) -> Result<(), Error>

Prints the warning in a pretty way to the given Writer.

Arguments:

• writer: The Write-enabled object to write to.
• file: The ‘path’ of the file (or some other identifier) where the source text originates from.
• source: The source text to read the debug range from.

Errors

This function may error if we failed to write to the given writer.

Trait Implementations

impl Debug for TypeError

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

Formats the value using the given formatter.

impl Display for TypeError

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

Formats the value using the given formatter.

impl Error for TypeError

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

fn from(err: TypeError) -> Self

Converts to this type from the input type.