Enum geo_aid::script::Error

pub enum Error {
    InvalidToken {
        token: Token,
    },
    InvalidCharacter {
        character: char,
        error_span: Span,
    },
    EndOfInput,
    UndefinedRuleOperator {
        operator: NamedIdent,
    },
    InconsistentIterators {
        first_span: Span,
        first_length: usize,
        occured_span: Span,
        occured_length: usize,
        error_span: Span,
    },
    InconsistentTypes {
        expected: (Type, Box<Span>),
        got: (Type, Box<Span>),
        error_span: Box<Span>,
    },
    InvalidType {
        expected: Type,
        got: (Type, Span),
    },
    RedefinedVariable {
        defined_at: Span,
        error_span: Span,
        variable_name: String,
    },
    UndefinedTypeVariable {
        definition: Span,
    },
    UndefinedVariable {
        error_span: Span,
        variable_name: String,
    },
    UndefinedFunction {
        error_span: Span,
        function_name: String,
    },
    FetureNotSupported {
        error_span: Span,
        feature_name: &'static str,
    },
    InvalidArgumentCount {
        error_span: Span,
        expected: &'static [u8],
        got: u8,
    },
    OverloadNotFound {
        error_span: Span,
        params: Vec<Type>,
        function_name: String,
    },
    CannotUnpack {
        error_span: Span,
        ty: Type,
    },
    ImplicitConversionDoesNotExist {
        error_span: Span,
        from: Type,
        to: Type,
    },
    InvalidOperandType {
        error_span: Span,
        got: (Type, Span),
        op: String,
    },
    LetStatUnexpectedIterator {
        var_span: Span,
        error_span: Span,
    },
}

Variants

InvalidToken

Fields

token: Token

InvalidCharacter

Fields

character: char

error_span: Span

EndOfInput

UndefinedRuleOperator

Fields

operator: NamedIdent

InconsistentIterators

Fields

first_span: Span

first_length: usize

occured_span: Span

occured_length: usize

error_span: Span

InconsistentTypes

Fields

expected: (Type, Box<Span>)

got: (Type, Box<Span>)

error_span: Box<Span>

InvalidType

Fields

expected: Type

got: (Type, Span)

RedefinedVariable

Fields

defined_at: Span

error_span: Span

variable_name: String

UndefinedTypeVariable

Fields

definition: Span

UndefinedVariable

Fields

error_span: Span

variable_name: String

UndefinedFunction

Fields

error_span: Span

function_name: String

FetureNotSupported

Fields

error_span: Span

feature_name: &'static str

InvalidArgumentCount

Fields

error_span: Span

expected: &'static [u8]

got: u8

OverloadNotFound

Fields

error_span: Span

params: Vec<Type>

function_name: String

CannotUnpack

Fields

error_span: Span

ty: Type

ImplicitConversionDoesNotExist

Fields

error_span: Span

from: Type

to: Type

InvalidOperandType

Fields

error_span: Span

got: (Type, Span)

op: String

LetStatUnexpectedIterator

Fields

var_span: Span

error_span: Span

Implementations

impl Error

pub fn inconsistent_iterators_get_span(&self) -> Option<Span>

pub fn invalid_token(token: Token) -> Self

pub fn invalid_character(character: char, error_span: Span) -> Self

pub fn end_of_input() -> Self

pub fn undefined_rule_operator(name: NamedIdent) -> Self

pub fn redefined_variable(
    defined_at: Span,
    error_span: Span,
    variable_name: String
) -> Self

pub fn undefined_type_variable(definition: Span) -> Self

pub fn undefined_function(error_span: Span, function_name: String) -> Self

pub fn feature_not_supported(
    error_span: Span,
    feature_name: &'static str
) -> Self

pub fn invalid_argument_count(
    error_span: Span,
    expected: &'static [u8],
    got: u8
) -> Self

pub fn overload_not_found(
    error_span: Span,
    function_name: String,
    params: Vec<Type>
) -> Self

pub fn cannot_unpack(error_span: Span, ty: Type) -> Self

pub fn implicit_conversion_does_not_exist(
    error_span: Span,
    from: Type,
    to: Type
) -> Self

pub fn diagnostic(self) -> DiagnosticData

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.