Enum EvalError 

pub enum EvalError {
    Todo(String),
    ListIndexOutOfBounds {
        index: usize,
        len: usize,
    },
    TypeMismatch {
        id: Identifier,
        expected: Type,
        found: Type,
    },
    ArrayElementsDifferentTypes(TypeList),
    SymbolNotFound(QualifiedName),
    NoSymbolsToUse(QualifiedName),
    SymbolFound(QualifiedName),
    SymbolCannotBeCalled(QualifiedName),
    AmbiguousSymbol(QualifiedName, QualifiedNames),
    LocalNotFound(Identifier),
    PropertyNotFound(Identifier),
    NoPropertyId(QualifiedName),
    ArgumentCountMismatch {
        args: String,
        expected: usize,
        found: usize,
    },
    InvalidArgumentType(Type),
    UnexpectedArgument(Identifier, Type),
    AssertionFailed(String),
    ExpectedType {
        expected: Type,
        found: Type,
    },
    DiagError(DiagError),
    LocalStackEmpty(Identifier),
    WrongStackFrame(Identifier, &'static str),
    ValueError(ValueError),
    UnknownMethod(QualifiedName),
    ParseError(ParseError),
    StatementNotSupported(&'static str),
    UninitializedProperties(IdentifierList),
    UnexpectedNested(&'static str, Identifier),
    NoVariablesAllowedIn(&'static str),
    AttributeError(AttributeError),
    MissingArguments(IdentifierList),
    TooManyArguments(IdentifierList),
    BuiltinError(String),
    ParameterByTypeNotFound(Type),
    MultiplicityNotAllowed(IdentifierList),
    CannotMixGeometry,
    IfConditionIsNotBool(String),
    NoInitializationFound {
        src_ref: SrcRef,
        name: Identifier,
        actual_params: String,
        possible_params: Vec<String>,
    },
    BuildingPlanIncomplete(IdentifierList),
    EmptyModelExpression,
    WarnEmptyWorkbench(String, Identifier),
    WorkbenchInvalidOutput(WorkbenchKind, OutputType, OutputType),
    WorkbenchNoOutput(WorkbenchKind, OutputType),
    InvalidSelfReference(Identifier),
    ResolveError(ResolveError),
    NotAnOperation(QualifiedName),
    OperationOnEmptyGeometry,
    CannotCallOperationWithoutWorkpiece,
    MissingReturn(QualifiedName),
    NoModelInWorkbench,
    AmbiguousProperty(QualifiedName, Identifier),
    ValueAlreadyDefined {
        location: SrcRef,
        name: Identifier,
        value: String,
        previous_location: SrcRef,
    },
    NotAnLValue(Identifier),
    SymbolIsPrivate {
        what: QualifiedName,
        within: QualifiedName,
    },
    SymbolBehindAliasIsPrivate {
        what: QualifiedName,
        alias: QualifiedName,
        within: QualifiedName,
    },
    UnusedGlobalSymbol(String),
    UnusedLocal(Identifier),
    ResolveFailed,
    BadRange(i64, i64),
}

Evaluation error.

Variants

Todo(String)

Can’t find a project file by it’s qualified name.

ListIndexOutOfBounds

List index out of bounds.

Fields

index: usize

Wrong index

len: usize

Length of list

TypeMismatch

Parameter type mismatch.

Fields

id: Identifier

Parameter name

expected: Type

Expected type

found: Type

Found type

ArrayElementsDifferentTypes(TypeList)

Array elements have different types.

SymbolNotFound(QualifiedName)

Symbol not found.

NoSymbolsToUse(QualifiedName)

Given symbol has not children which can be used.

SymbolFound(QualifiedName)

Symbol was not expected to be found (e.g. assert_invalid).

SymbolCannotBeCalled(QualifiedName)

The symbol cannot be called, e.g. when it is a source file or a module.

AmbiguousSymbol(QualifiedName, QualifiedNames)

Found ambiguous symbols.

LocalNotFound(Identifier)

Local Symbol not found.

PropertyNotFound(Identifier)

A property of a value was not found.

NoPropertyId(QualifiedName)

A property of a value was not found.

ArgumentCountMismatch

Argument count mismatch.

Fields

args: String

Argument list including the error

expected: usize

Expected number of arguments

found: usize

Found number of arguments

InvalidArgumentType(Type)

Invalid argument type.

UnexpectedArgument(Identifier, Type)

Unexpected argument.

AssertionFailed(String)

Assertion failed.

ExpectedType

Different type expected.

Fields

expected: Type

Expected type.

found: Type

Found type.

DiagError(DiagError)

Diagnostic error

LocalStackEmpty(Identifier)

No locals available on stack.

WrongStackFrame(Identifier, &'static str)

Unexpected stack frame type

ValueError(ValueError)

Value Error.

UnknownMethod(QualifiedName)

Unknown method.

ParseError(ParseError)

Parser Error

StatementNotSupported(&'static str)

Statement is not supported in this context.

UninitializedProperties(IdentifierList)

Properties are not initialized.

UnexpectedNested(&'static str, Identifier)

Unexpected element within expression.

NoVariablesAllowedIn(&'static str)

No variables allowed in definition

AttributeError(AttributeError)

Error when evaluating attributes.

MissingArguments(IdentifierList)

Missing arguments

TooManyArguments(IdentifierList)

Missing arguments

BuiltinError(String)

Builtin error

ParameterByTypeNotFound(Type)

Parameter not found by type in ParameterValueList

MultiplicityNotAllowed(IdentifierList)

Trying to use multiplicity where it is not allowed

CannotMixGeometry

An error if you try to mix 2d and 3d geometries.

IfConditionIsNotBool(String)

A condition of an if statement is not a boolean

NoInitializationFound

Workbench didn’t find a initialization routine matching the given arguments

Fields

src_ref: SrcRef

name: Identifier

actual_params: String

possible_params: Vec<String>

BuildingPlanIncomplete(IdentifierList)

Initializer missed to set a property from plan

EmptyModelExpression

This errors happens if the expression is supposed to produce models but did not.

WarnEmptyWorkbench(String, Identifier)

Workbench with empty body - suspicious!

WorkbenchInvalidOutput(WorkbenchKind, OutputType, OutputType)

This error happens if the workbench produced a different output type.

WorkbenchNoOutput(WorkbenchKind, OutputType)

This error happens if the workbench produced a different output type.

InvalidSelfReference(Identifier)

Unexpected source file in expression

ResolveError(ResolveError)

Resolve Error

NotAnOperation(QualifiedName)

Unexpected source file in expression

OperationOnEmptyGeometry

Calling an operation on an empty geometry, e.g.: {}.op().

CannotCallOperationWithoutWorkpiece

Cannot call operation without workpiece, e.g. op().

MissingReturn(QualifiedName)

Function missing return statement

NoModelInWorkbench

There is no model in this workbench

AmbiguousProperty(QualifiedName, Identifier)

Found a symbol and a property with that name

ValueAlreadyDefined

Assignment failed because value already has been defined before.

Fields

location: SrcRef

Location of the error

name: Identifier

Name of the value

value: String

Previous value

previous_location: SrcRef

Previous definition

NotAnLValue(Identifier)

Assignment failed because left side is not an l-value

SymbolIsPrivate

Found symbol but it’s not visible to user

Fields

what: QualifiedName

what was searched

within: QualifiedName

where it was searched

SymbolBehindAliasIsPrivate

Found symbol but it’s not visible to user

Fields

what: QualifiedName

what was searched

alias: QualifiedName

the alias in between

within: QualifiedName

where it was searched

UnusedGlobalSymbol(String)

Found unused global symbols.

UnusedLocal(Identifier)

Unused local.

ResolveFailed

Evaluation aborted because of prior resolve errors

BadRange(i64, i64)

Bad range (first > last)

Trait Implementations

impl Debug for EvalError

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

Formats the value using the given formatter.

impl Diagnostic for EvalError

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn related<'a>( &'a self, ) -> Option<Box<dyn Iterator<Item = &'a dyn Diagnostic> + 'a>>

Additional related Diagnostics.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for EvalError

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

Formats the value using the given formatter.

impl Error for EvalError

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<AttributeError> for EvalError

fn from(source: AttributeError) -> Self

Converts to this type from the input type.

impl From<DiagError> for EvalError

fn from(source: DiagError) -> Self

Converts to this type from the input type.

impl From<ParseError> for EvalError

fn from(source: ParseError) -> Self

Converts to this type from the input type.

impl From<ResolveError> for EvalError

fn from(err: ResolveError) -> Self

Converts to this type from the input type.

impl From<ValueError> for EvalError

fn from(source: ValueError) -> Self

Converts to this type from the input type.

impl Lookup<EvalError> for EvalContext

fn lookup( &self, name: &QualifiedName, target: LookupTarget, ) -> EvalResult<Symbol>

Search a symbol by it’s qualified name.

fn ambiguity_error( ambiguous: QualifiedName, others: QualifiedNames, ) -> EvalError

Return an ambiguity error.

fn lookup_within( &self, name: &QualifiedName, within: &Symbol, target: LookupTarget, ) -> Result<Symbol, E>

Search a symbol by it’s qualified name and within the given symbol.

fn lookup_within_opt( &self, name: &QualifiedName, within: &Option<Symbol>, target: LookupTarget, ) -> Result<Symbol, E>

Search a symbol by it’s qualified name and within a given symbol

fn deny_super(&self, name: &QualifiedName) -> ResolveResult<()>

Returns an error if name starts with super::.